Telling the Difference Between Memories & Logical Guesses
lesswrong.comยท1h
๐Ÿง Memory Ordering
Lost Records: Bloom & Rage Tape Two is a mess in all the ways I love
thereisnosleep.bearblog.devยท9h
๐Ÿ“Rope Editors
Robocopy is built into Windows, and it's the best file copier imaginable
xda-developers.comยท18h
๐Ÿ“File Systems
[AskJS] IIFE async await
reddit.comยท6hยท
Discuss: r/javascript
๐ŸนGo Runtime
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.meยท4d
๐Ÿช†Embedded DSLs
Swift SDK for Temporal by Apple
github.comยท3hยท
Discuss: Hacker News
๐Ÿฆ‰Swift Interpreters
Title: Simplifying Code Execution on Multiple Integer Variables
dev.toยท4dยท
Discuss: DEV
๐ŸŽญDelimited Continuations
DanielSant0s/AthenaEnv
github.comยท2d
๐Ÿ“Rope Editors
Claude Coded: Sonnet 4.5, Claude Code 2.0, and more.
reddit.comยท11hยท
Discuss: r/ClaudeAI
โšกIncremental Parsing
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.comยท3dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Generalized rational Prony and Bernoulli methods
arxiv.orgยท2h
๐Ÿ“กAsync Channels
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท1dยท
Discuss: DEV
๐ŸŒณPattern Match Compilation
I've created a bot to make Claude Code 100% Autonomous
reddit.comยท10hยท
Discuss: r/ClaudeAI
๐Ÿ’ฌInteractive REPLs
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.orgยท2h
๐ŸŽฒParser Fuzzing
SoK: Kicking CAN Down the Road. Systematizing CAN Security Knowledge
arxiv.orgยท1d
๐Ÿ›ก๏ธSecurity Type Systems
TrueType rasterizer
github.comยท11hยท
โœจCode Formatters
Stop-Guessing-Start-Measuring-A-Pragmatic-Guide-to-Web-Performance
dev.toยท47mยท
Discuss: DEV
๐ŸŒช๏ธV8 TurboFan
From Shadow to Light: Toward Safe and Efficient Policy Learning Across MPC, DeePC, RL, and LLM Agents
arxiv.orgยท2h
๐ŸชœRecursive Descent
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.orgยท2h
โœ…Type Checking