Ray nayler the mountain in the sea (scifi 2023)
raynayler.net·11h·
Discuss: Hacker News
🛡️seL4
Using Linters to Direct Agents
factory.ai·19h·
Discuss: Hacker News
🔄Reproducible Builds
Visualizing the Vocabulary of an LLM
alessiodevoto.github.io·3d·
Discuss: Hacker News
🧩Parser Combinators
Wrote an in-depth blog on scaling modern transformers with n-D parallelism
jaxformer.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·9h·
Discuss: Hacker News
🐳Containerization
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·1d·
Discuss: Hacker News
👁️System Observability
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·2d
🧩Parser Combinators
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·1d·
Discuss: Hacker News
👁️System Observability
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·21h·
Discuss: r/programming
🌐NetworkProtocols
GLM 4.5 with Claude Code is a killer combination
docs.z.ai·4d·
Discuss: Hacker News
🧩Parser Combinators
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.org·2d·
Discuss: Hacker News
📚Automata Learning
Experimenting with local LLMs on macOS
blog.6nok.org·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Evaluating NL2SQL via SQL2NL
arxiv.org·2d
🧩Parser Combinators
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The (sometimes rocky) road to a paper
lmao.bearblog.dev·5d·
Discuss: Hacker News
🧮Lambda Calculus
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·1d·
Discuss: Lobsters, Hacker News
💎Refinement Types