Functional Programming, S-expressions, Code as Data, Recursion

Mental Challenges And Emacs
irreal.orgยท12h
๐Ÿ–ฅ๏ธVintage Macintosh
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.eduยท4d
๐Ÿ“Error Bounds
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.netยท3d
๐Ÿ”’WASM Capabilities
Flag this post
Back to the future: On the typography of electronic flight deck documentation
sciencedirect.comยท6hยท
Discuss: Hacker News
๐Ÿ”คFont Archaeology
Flag this post
Show HN: Mearie โ€“ GraphQL client for web frameworks
mearie.devยท2dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.comยท2dยท
Discuss: Substack
๐ŸงชBinary Fuzzing
Flag this post
How not to get replaced by a GPU
augmentedswe.comยท12hยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Flag this post
Void Linux Gets Runkit, a Friendly GUI for Managing runit Services
linuxiac.comยท1d
๐Ÿ› System administration
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocksยท6dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Flag this post
Supercharge Your Web Apps: A Beginner's Guide to WebAssembly Optimization
dev.toยท16hยท
Discuss: DEV
๐Ÿ›ก๏ธWebAssembly Security
Flag this post
Show HN: Real-Time Collaboration over LSP
github.comยท2dยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Flag this post
RePro: Training Language Models to Faithfully Recycle the Web for Pretraining
dev.toยท10hยท
Discuss: DEV
๐Ÿค–Grammar Induction
Flag this post
Hierarchical Physics-Embedded Learning for Spatiotemporal Dynamical Systems
arxiv.orgยท2d
โœจEffect Handlers
Flag this post
Contribution-Guided Asymmetric Learning for Robust Multimodal Fusion under Imbalance and Noise
arxiv.orgยท1d
๐Ÿ“ŠRate-Distortion Theory
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
dev.toยท23hยท
Discuss: DEV
๐Ÿค–Archive Automation
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.orgยท2d
๐ŸงฎVector Embeddings
Flag this post
GHC Now Runs in the Browser
discourse.haskell.orgยท2dยท
๐Ÿ”—Functional Compilers
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
The GIL Revealed: Why Python Threading Isn't Really Parallel
dev.toยท3dยท
Discuss: DEV
๐Ÿ–ฅ๏ธTerminal Renaissance
Flag this post
Are Large Reasoning Models Interruptible?
dev.toยท4hยท
Discuss: DEV
โš™๏ธProof Engineering
Flag this post