minus-squareRumRunningDevil@lemmy.ziptoProgramming@programming.dev•Gödel, Escher, Elisp: The Beauty of Macroslinkfedilinkarrow-up2·2 days agoAbsolutely goated. There’s just something about it that feels good. I think it’s the fact the it feels a bit like writing Unix pipelines but in reverse. You can visualize data move through your program like pipes. linkfedilink
minus-squareRumRunningDevil@lemmy.ziptoTechnology@lemmy.world•OpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private.linkfedilinkEnglisharrow-up1·3 days agoA few of the erdos problems have been independently verified. It’s legit. linkfedilink
Absolutely goated. There’s just something about it that feels good. I think it’s the fact the it feels a bit like writing Unix pipelines but in reverse. You can visualize data move through your program like pipes.