Issue 490
haskellweekly.newsยท2d
๐Ÿ”—Functional Compilers
Polymorphism for Beginners
roscidus.comยท14hยท
Discuss: Hacker News
ฮปLambda Formalization
Isabelle rule musings
blueberrywren.devยท2d
๐ŸŽฏProof Tactics
Exploring chained operations and order of evaluation in python expressions
dev.toยท17hยท
Discuss: DEV
๐Ÿ”—Lisp
Cactus Language โ€ข Discussion 3
inquiryintoinquiry.comยท12h
๐ŸงฌFunctional Programming
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.comยท1d
๐Ÿ”Binary Forensics
Everything you know is wrong
lawrencecpaulson.github.ioยท1dยท
Discuss: Hacker News
๐ŸงฎTheorem Proving
Create an Interactive Snippet Shortcut using App Intents
swiftjectivec.comยท1d
๐Ÿ”—Concatenative Programming
Pleasant Imperative Program Proofs with GallinaC
arxiv.orgยท4d
โš”๏ธLean Tactics
A Rant | Hendrik Erz
hendrik-erz.deยท5h
๐Ÿฆ€Rust Macros
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.devยท1dยท
Discuss: Hacker News
๐Ÿ”จCompilers
Three Meanings of Effects
burakemir.chยท1dยท
Discuss: Hacker News
โœจEffect Handlers
Obscure feature + obscure feature + obscure feature = bug
antithesis.comยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงชBinary Fuzzing
Monty Hall and generative modeling: Drawing the tree is the most important step
statmodeling.stat.columbia.eduยท17h
๐Ÿ”ฒCellular Automata
Controlling program flow with capabilities in Scala
nrinaudo.github.ioยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿง Lisp Dialects
The Ternary Manifesto
homepage.cs.uiowa.eduยท3d
๐Ÿ“Concrete Syntax
The Meandering Sea of Primordial Soupy Thought
kennethreitz.orgยท4hยท
Discuss: Hacker News
๐Ÿ›๏ธPhilosophy
HTML, the Programming Language
html-lang.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
LLM-Deflate: Extracting LLMs into Datasets
scalarlm.comยท23hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
haskell/mtl
github.comยท3d
๐Ÿ”—Functional Compilers