Experimenting with ACL2 and Claude Code
mikedodds.orgยท1dยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.comยท1dยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ“‹Task Queues
5 cool apps that benefit from locally-hosted LLMs and image generators
xda-developers.comยท13m
๐Ÿ’ฌSmalltalk VMs
A new breed of analyzers
daniel.haxx.seยท1dยท
๐ŸŒณTree Shaking
Abstraction for Abstractionโ€™s Sake: How Developers Talk Themselves Into Complexity
hackernoon.comยท2d
๐ŸŽฎLanguage Ergonomics
Operable Software
ferd.caยท1dยท
Discuss: Hacker News
โœ…Configuration Validation
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท2d
๐ŸชœRecursive Descent
Three gripes about Go modules
jotaen.netยท1dยท
Discuss: Hacker News
โš™๏ธTOML Parsers
How to Reject a Pull Request
github.comยท5hยท
Discuss: Hacker News
๐Ÿท๏ธMemory Tagging
Multi-Core By Default
rfleury.comยท1dยท
๐Ÿ”€SIMD Programming
Handling 100+ Website Scrapers with Python's asyncio
dev.toยท2hยท
Discuss: DEV
๐Ÿš€PyPy JIT
Stop Worrying and Love the Bomb
bitbytebit.substack.comยท10hยท
Discuss: Substack
๐ŸŽฎLanguage Ergonomics
Refactoring: A way to write better Code
dev.toยท23hยท
Discuss: DEV
๐ŸššCode Migration
A section of the App I am working on. Any advice or criticism is welcome.
reddit.comยท1dยท
Discuss: r/reactjs
๐Ÿ’ฌREPL Design
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.ioยท11h
๐Ÿ“šStack Languages
The Custom Conveyor: Building Your Own Iterators
dev.toยท20hยท
Discuss: DEV
๐ŸชขRope Data Structures
Building an HTTP Server from Scratch in C: A Journey into Network Programming
dev.toยท1dยท
Discuss: DEV
๐ŸŒMinimal HTTP
Memgoose โ€“ An In-Memory Mongoose Impersonator
github.comยท15hยท
Discuss: Hacker News
๐Ÿ“กProtocol Buffers
MachIDE: Building a Native macOS IDE for Mach-O Decompilation from Scratch
dev.toยท6hยท
Discuss: DEV
๐Ÿš‚Cranelift Backend