Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท1d
๐ŸŒˆGradual Languages
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐Ÿ”„Incremental Lexing
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
Building a Production-Ready E-Commerce Platform with NestJS
dev.toยท2hยท
Discuss: DEV
๐Ÿ“ฆMonorepos
GaloisInc/parameterized-utils
github.comยท2d
๐Ÿ“Linear Haskell
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Languages
Unforgettable factory revisited
holyblackcat.github.ioยท14hยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท6hยท
Discuss: r/programming
๐Ÿlisp
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.netยท1d
โšกIncremental Parsing
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
๐ŸŒŸ Understanding Generics in TypeScript: The Key to Reusable, Type-Safe Code
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Go Generics
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.comยท11hยท
Discuss: r/golang
๐ŸนGoroutine Scheduling
Effects in Rust (and Koka)
aloso.fooยท19hยท
Discuss: r/rust
โšกAlgebraic Effects
The Thinking Machines Tinker API is good news for AI control and security
lesswrong.comยท1d
๐ŸฐCapability Machines
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis