ianandrich

Thats the neat part. We won't.

Say more. Is the API access unlimited? What models are available?

You are not crazy. Logic programming is the future

I know this is useful for crypto, but I think think I'm actually more interested in what new modes of remote code running on untrusted platforms this enables.

I think it was just a genetic algorithm.

I would be interested in reading more if you manage to find the paper(s).

I'm having a lot of fun with this tutorial. Has anyone done anything interesting with these meta compilers for projects?

Wow. What a quality tool. Thanks for sharing!

Python's Deal library provides contracts and a small portable formal proofs area of the codebase.

Additionally, Deal integrates with CrossHair which does concolic execution of the tests and functions annotated with contracts. It's integrated with Z3, and most of the Python primitives are covered.

It just works surprisingly well for incrementally building up provable code properties.

I'm also curious about your experiences using nim as a secret weapon in corporate programming.

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

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.

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?

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

Thats it.

Did you go down the rabbit hole from yesterday too?

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.

I think thats a strong possibility.

Huh. So sleep plays the role of EMDR?

What posts?

Are these them?

https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-...

Did anyone work out the pricing comparable to usage?

This... makes a lot of sense.

It might be possible to implement function purity with a decorator. (Kind of like declaring something “safe” in Rust).

Two parts to this. 1: Does it mutate variables. 2. Does the code have side effects.

1: def no_mut(func): @functools.wraps def new_func(args, *kwargs): new_args = tuple(copy.deepcopy(arg) for arg in args) new_kwargs = {k, copy.deepcopy(v) for k, v in *kwargs return func(new_args, *new_kwargs) return new_func

For the second point, gevent seemed to have a trick to identify side effecting code.

Do you have any example code?

This sounds really handy. Have you open sourced it?

Wow. This seems awesome. Has anyone tried replacing Dash apps with this yet?