We built AI that auto-checks building plans
planchecksolver.comยท5hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
I really need a good carrier advice. Wasted so much time already.
aleksanderjalo.github.ioยท17hยท
Discuss: r/gamedev
๐Ÿ’ฌError Message Design
Robots receive major intelligence boost thanks to Google DeepMind's 'thinking AI' โ€” a pair of models that help machines understand the world
livescience.comยท9h
๐ŸฐCapability Machines
MCP Servers for Rust Developers
shuttle.devยท21h
๐Ÿš‚Cranelift Backend
Weeknotes #345 โ€” Bath full of bricks
andrewdoran.ukยท1d
๐Ÿ’ฌInteractive REPLs
OpenAI's inflated valuation, as I understand it
taloranderson.comยท5hยท
Discuss: Hacker News
๐Ÿ”„Subinterpreters
Do language models favor their home countries?
misinforeview.hks.harvard.eduยท1dยท
Discuss: Hacker News
๐Ÿ“ŠLR Parsing
Companies Will Soon Be Forced to Rehire Real Human Programmers and Stop Burning Cash on AI
hackernoon.comยท1d
โšกIncremental Parsing
resterm: terminal-first client for working HTTP, GraphQL, and gRPC
reddit.comยท13hยท
Discuss: r/golang
๐ŸŒNetwork Protocols
๐Ÿšš ๐—Ÿ๐—ผ๐—ด๐—ถ๐˜€๐˜๐—ถ๐—ฐ๐˜€ ๐—ฅ๐—ผ๐˜‚๐˜๐—ฒ ๐—ข๐—ฝ๐˜๐—ถ๐—บ๐—ถ๐˜‡๐—ฎ๐˜๐—ถ๐—ผ๐—ป ๐—ฆ๐˜†๐˜€๐˜๐—ฒ๐—บ๐˜€ โ€” ๐—ฏ๐˜‚๐—ถ๐—น๐˜ (๐˜€๐—ฎ๐—ป๐—ฒ๐—น๐˜†) ๐˜„๐—ถ๐˜๐—ต ๐—๐—ฎ๐˜ƒ๐—ฎ
dev.toยท9hยท
Discuss: DEV
๐Ÿš€PyPy JIT
Optimal Stopping in Latent Diffusion Models
arxiv.orgยท17h
๐Ÿ—บ๏ธRegion Inference
finished the prototype, guys! It works!
reddit.comยท23hยท
Discuss: r/LocalLLaMA
๐ŸŒฑMinimal ML
neverthrow - tutorial (with a bit of "byethrow")
dev.toยท1dยท
Discuss: DEV
๐Ÿ›ก๏ธError Handling
Grouped Differential Attention
arxiv.orgยท1d
๐Ÿ“Succinct Data Structures
Building A Real-Time Communication System Using Go and WebSocket
dev.toยท5hยท
Discuss: DEV
๐ŸŒHTTP Servers
Builders' Challenge v3
dev.toยท9hยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Grok Code Fast 1 is Now Available in Visual Studio Codeโ€”And It's Actually Pretty Good
dev.toยท1dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
I created and open sourced an LLM and backend orchestration system
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ“‹Tablegen
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท21hยท
Discuss: DEV
๐Ÿฆ€MIR Optimization
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท7hยท
Discuss: DEV
๐Ÿฆ€MIR Optimization