Slip โ€“ A Lisp System in JavaScript
lisperator.netยท8hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท7hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.comยท14hยท
Discuss: r/golang
๐ŸนGoroutine Scheduling
Item Patterns and Struct Await
noratrieb.devยท16hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Handling
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Multi-Core By Default
rfleury.comยท20hยท
Discuss: Lobsters, Hacker News
๐Ÿ”€SIMD Programming
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท18h
ฮปLambda Calculus
Let's Write a Macro in Rust
hackeryarn.comยท6hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.orgยท9hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Effective C++ โ€“ Hour 10
jtag.bearblog.devยท1d
๐ŸงธToy Compilers
Logical Operators & Control Flow
github.comยท12hยท
Discuss: DEV
๐ŸŽญDelimited Continuations
Building the Reasoning Engine at Axiom
axiommath.aiยท2hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Effects in Rust (and Koka)
aloso.fooยท22hยท
Discuss: r/rust
โšกAlgebraic Effects
Three ways formally verified code can go wrong in practice
buttondown.comยท4h
๐Ÿ“œProof Languages
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท2hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
XProc 3 Steps as XSpec Test Helper Functions
medium.comยท5h
๐Ÿ”งError Recovery
Defeating Return Type Polymorphism
philipphagenlocher.deยท2dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Managing Asynchronous Work with Celery and Redis
dev.toยท11hยท
Discuss: DEV
๐Ÿ“‹Task Queues