πŸ€“ 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
Normal-order syntax-rules and proving the fix-point of call/cc

CPS and beta-normalization with syntax-rules as a proof assistant in search of the fixpoint of call/cc

πŸ™„ 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
Flow Guide