Have you had any experience using deal on personal projects or professionally yet?

So far I'm working it into personal projects gradually. Runtime checks are at least as useful as something like pydantic's validation, and more expressive, because validation is basically "pre" but now deal can provide the "post". DBC via pre/post might be "just" syntactic sugar on asserts, but notation matters: it looks great, it reduces cognitive load. It easily does stuff that's impossible or just awkward with types, so having an alternate way to express constraints available probably keeps me out of certain rabbit holes.

Really looking forward to trying verification ( https://deal.readthedocs.io/basic/verification.html ) but I think I need to hit some critical mass of annotation first.

Seconded. I've noticed the same patterns, but I want to hear you elaborate further.

I just read your Coinductive guide to inductive transformer heads paper.

My mind is blown.

Is the Hopf Algebra based ML framework you are working on on your github? I took a glance, but you have 1500 repositories and it wasn't on the first few of them.

It's in very early stages and it's not there yet no. Join the discord https://discord.cofunctional.ai or my twitter https://twitter.com/adamnemecek1 if you want to follow progress. It might take some time.

A virtuous circle :)

Too complex for casuals and not powerful enough for power users is a phenomenal way of putting it.

Have you tried using "holes" in the Z3 solver to generate faster optimizations or guards yet?

Yeah, that's my current project, already found a bunch of missing small features in the optimizers.

800k+ people is in line with expectations from the population and incidence rates of narcissism.

Did you go down the rabbit hole from yesterday too?

I didn’t see any posts related to STEPS yesterday, but I’ve been aware of STEPS for a few years.

It was this link [1] from a couple days ago. There was a fair bit of discussion about it on HN [2].

[1] https://chreke.com/little-languages.html

[2] https://news.ycombinator.com/item?id=33693472

Thats it.

Anyone interested in data meshes should give the paper itself a read.

The primitives developed for the system are incredibly flexible and potentially worth knowing about.

I believe that is technically illegal in the United States. But I doubt it's regulated.

Why would this be any more illegal than kickbacks for referrals?