#programmingjargon — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #programmingjargon, aggregated by home.social.
-
🤓 Ah yes, the riveting saga of "normal-order syntax-rules" and the elusive call/cc fix-point, where syntax rules magically transform into a proof assistant. 🧙♂️ Because what better way to celebrate Daniel P. Friedman than with a marathon of indecipherable jargon and fewer common examples no one asked for. 🎉
https://okmij.org/ftp/Scheme/callcc-calc-page.html #normalordersyntax #syntaxrules #callcc #proofassistant #DanielPFriedman #programmingjargon #HackerNews #ngated -
🤓 Ah yes, the riveting saga of "normal-order syntax-rules" and the elusive call/cc fix-point, where syntax rules magically transform into a proof assistant. 🧙♂️ Because what better way to celebrate Daniel P. Friedman than with a marathon of indecipherable jargon and fewer common examples no one asked for. 🎉
https://okmij.org/ftp/Scheme/callcc-calc-page.html #normalordersyntax #syntaxrules #callcc #proofassistant #DanielPFriedman #programmingjargon #HackerNews #ngated -
🙄 Ah yes, the "Clojure Async Flow Guide"—because what we all needed was yet another mind-numbing, jargon-filled manifesto on separating logic from deployment. 🌪️ Don't worry, folks, just wrap your logic in "stepfns" and let the magical "flow" handle your life, universe, and everything else. 🚀
https://clojure.github.io/core.async/flow-guide.html #ClojureAsync #ClojureFlow #SoftwareDevelopment #ProgrammingJargon #TechHumor #HackerNews #ngated -
🙄 Ah yes, the "Clojure Async Flow Guide"—because what we all needed was yet another mind-numbing, jargon-filled manifesto on separating logic from deployment. 🌪️ Don't worry, folks, just wrap your logic in "stepfns" and let the magical "flow" handle your life, universe, and everything else. 🚀
https://clojure.github.io/core.async/flow-guide.html #ClojureAsync #ClojureFlow #SoftwareDevelopment #ProgrammingJargon #TechHumor #HackerNews #ngated