Why do CPUs have multiple cache levels?
fgiesen.wordpress.comยท12hยท
Discuss: Hacker News
โšกCache Optimization
Vibing a Non-Trivial Ghostty Feature
simonwillison.netยท13h
๐ŸŒˆGradual Languages
Unforgettable factory revisited
holyblackcat.github.ioยท2dยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs
North Koreaโ€™s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.devยท1dยท
Discuss: Hacker News
๐Ÿš‚Cranelift IR
Three ways formally verified code can go wrong in practice
buttondown.comยท1d
๐Ÿ“œProof Languages
VLLM Predicted Outputs
cascadetech.aiยท1dยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Sorting encrypted data without decryption: a practical trick
github.comยท1dยท
Discuss: DEV
๐Ÿ”—Hash Functions
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท3dยท
Discuss: Hacker News
โœ…Type Checking
Show HN: Using Haskell to write an NES emulator
github.comยท10hยท
Discuss: Hacker News
โšกfunctional programming
I made a plugin to run LLMs on phones
reddit.comยท2hยท
Discuss: r/LocalLLaMA
๐Ÿ’ฌSmalltalk VMs
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.orgยท2d
โšกTokenizer Benchmarks
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“Text Editors
Refactoring Release 0.1 for Better Structure and Maintainability
dev.toยท1dยท
Discuss: DEV
๐ŸššCode Migration
Comparing human and language models sentence processing difficulties on complex structures
arxiv.orgยท3d
๐ŸชœRecursive Descent
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Text Deduplication
Seasoned Devs, what's a small open-source package you wish existed to make Node.js backend life easier?
reddit.comยท50mยท
Discuss: r/node
๐Ÿ“ฆMonorepos
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.toยท21hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Claude Sonnet 4.5 doesn't check classes before using them
reddit.comยท5hยท
Discuss: r/ClaudeAI
๐Ÿฆ‰Swift Interpreters
Loglens - complete log analysis with easy to learn syntax
reddit.comยท7hยท
Discuss: r/linux
๐Ÿ“ŠLog Parsers