Great. So Junior devs will be useless now.
Now how are we going to train more senior devs that know what they're doing?
Thats the neat part. We won't.
Readit Newsianandrich commented on Jules, our asynchronous coding agent blog.google/technology/go... · Posted by u/meetpateltech
ianandrich commented on Spending Too Much Money on a Coding Agent allenpike.com/2025/coding... · Posted by u/GavinAnderegg
And you can use it as an API, so you can plug it as an OpenAI compatible LLM provider into any 3rd party tool that uses AI, for free.
That's the only reason I subscribed to GitHub Copilot. Currently using it for Aider.
Say more. Is the API access unlimited? What models are available?
Deleted Comment
ianandrich commented on Use Prolog to improve LLM's reasoning shchegrikovich.substack.c... · Posted by u/shchegrikovich
Been shouting here and many places for quite a while that CoT and all similar stuff eventually leads to logic programming. So happy I’m not crazy.
You are not crazy. Logic programming is the future
ianandrich commented on Computer scientists combine two 'beautiful' proof methods quantamagazine.org/comput... · Posted by u/tambourine_man
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.
ianandrich commented on Carpentopod: A Walking Table Project decarpentier.nl/carpentop... · Posted by u/steveridout
Where’s the AI, did I misread the post?
> To select which ones were best, each variation got assigned a ‘fitness’ score based on its walking speed, clearance and material use. I also rewarded extra points to variants that had leg tips which moved more horizontally and more smoothly during the lowest third of their cycle to make it favor solutions in which a group of three legs would work together to minimize bobbing and foot slip.
I am not sure what approach was used here, it sounds like RL or maybe just simulations. I am not sure I’d say this is AI.
I think it was just a genetic algorithm.
ianandrich commented on The algebra and calculus of algebraic data types (2015) codewords.recurse.com/iss... · Posted by u/thunderbong
Yes, this is a very cool story.
But, fascinatingly, integration does in fact have a meaning. First, recall from the OP that d/dX List(X) = List(X) * List(X). You punched a hole in a list and you got two lists: the list to the left of the hole and the list to the right of the hole.
Ok, so now define CrazyList(X) to be the anti-derivative of one list: d/dX CrazyList(X) = List(X). Then notice that punching a hole in a cyclic list does not cause it to fall apart into two lists, since the list to the left and to the right are the same list. CrazyList = CyclicList! Aka a ring buffer.
There's a paper on this, apologies I can't find it right now. Maybe Alternkirch or a student of his.
The true extent of this goes far beyond anything I imagined, this is really only the tip of a vast iceberg.
I would be interested in reading more if you manage to find the paper(s).
ianandrich commented on Tutorial: Metacompilers Part 1 (2016) bayfronttechnologies.com/... · Posted by u/walterbell
I'm having a lot of fun with this tutorial. Has anyone done anything interesting with these meta compilers for projects?
ianandrich commented on ML Experiments Management with Git github.com/iterative/dvc... · Posted by u/shcheklein
Another option, that manages versioning of your computational graph and its results and provides extremely elegant query-able memoization is Mandala https://github.com/amakelov/mandala
It is a much simpler and much more magical piece of software that truly expanded how I think about writing, exploring, and experimenting with code. Even if you never use it, you probably would really enjoy reading the blog posts the author wrote about the design of the tool https://amakelov.github.io/blog/pl/
Wow. What a quality tool. Thanks for sharing!
Deleted Comment