ianandrich

6 ms·

1. 1.▲
   by ianandrich 1y ago

   Thats the neat part. We won't.
2. 2.▲
   by ianandrich 1y ago

   Say more. Is the API access unlimited? What models are available?
3. 3.▲
   by ianandrich 2y ago

   You are not crazy. Logic programming is the future
4. 4.▲
   by ianandrich 2y ago

   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.
5. 5.▲
   by ianandrich 2y ago

   I think it was just a genetic algorithm.
6. 6.▲
   by ianandrich 2y ago

   I would be interested in reading more if you manage to find the paper(s).
7. 7.▲
   by ianandrich 2y ago

   I'm having a lot of fun with this tutorial. Has anyone done anything interesting with these meta compilers for projects?
8. 8.▲
   by ianandrich 3y ago

   Wow. What a quality tool. Thanks for sharing!
9. 9.▲
   by ianandrich 3y ago

   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'
10. 10.▲
    by ianandrich 3y ago

    I'm also curious about your experiences using nim as a secret weapon in corporate programming.
11. 11.▲
    by ianandrich 3y ago

    Have you had any experience using deal on personal projects or professionally yet?
12. 12.▲
    by ianandrich 3y ago

    Seconded. I've noticed the same patterns, but I want to hear you elaborate further.
13. 13.▲
    by ianandrich 4y ago

    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
14. 14.▲
    by ianandrich 4y ago

    A virtuous circle :)
15. 15.▲
    by ianandrich 4y ago

    Too complex for casuals and not powerful enough for power users is a phenomenal way of putting it.
16. 16.▲
    by ianandrich 4y ago

    Have you tried using "holes" in the Z3 solver to generate faster optimizations or guards yet?
17. 17.▲
    by ianandrich 4y ago

    800k+ people is in line with expectations from the population and incidence rates of narcissism.
18. 18.▲
    by ianandrich 4y ago

    Thats it.
19. 19.▲
    by ianandrich 4y ago

    Did you go down the rabbit hole from yesterday too?
20. 20.▲
    by ianandrich 4y ago

    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.
21. 21.▲
    by ianandrich 4y ago

    I believe that is technically illegal in the United States. But I doubt it's regulated.
22. 22.▲
    by ianandrich 4y ago

    I think thats a strong possibility.
23. 23.▲
    by ianandrich 4y ago

    Huh. So sleep plays the role of EMDR?
24. 24.▲
    by ianandrich 4y ago

    What posts? Are these them? https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-...
25. 25.▲
    by ianandrich 4y ago

    Did anyone work out the pricing comparable to usage?
26. 26.▲
    by ianandrich 5y ago

    This... makes a lot of sense.
27. 27.▲
    by ianandrich 5y ago

    > 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): @functool
28. 28.▲
    by ianandrich 5y ago

    Do you have any example code?
29. 29.▲
    by ianandrich 5y ago

    This sounds really handy. Have you open sourced it?
30. 30.▲
    by ianandrich 6y ago

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