An experiment generating a protocol spec from natural language source with LLM
gist.github.com·21h·
Discuss: Hacker News
🧪CBOR Fuzzing
Is there a tool that auto-generates Dockerfiles + K8s YAML from my code?
reddit.com·6h·
Discuss: r/golang
📦Container Security
Nucleic acid biosecurity screening against generative protein design tools
science.org·1d·
Discuss: Hacker News
🔲Cellular Automata
LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
✓Automated Theorem Proving
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·4h·
Discuss: Hacker News
⚡Incremental Computation
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.com·2d
🌳Archive Merkle Trees
Breaking decompilers with single-function, and no-main() C codebases
joshua.hu·2d·
Discuss: Hacker News
🧠Lisp Dialects
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·23h
🔗Functional Compilers
dgsh – Directed Graph Shell
www2.dmst.aueb.gr·4d·
Discuss: Hacker News
📝Shell Parsing
Wombat's Book of Nix
mhwombat.codeberg.page·2d·
Discuss: Lobsters, Hacker News
❄nix
Higher-Level Design Patterns
qouteall.fun·1d·
Discuss: Hacker News
✨Algebraic Effects
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1h·
Discuss: Hacker News
📐Arithmetic Precision
The Unix philosophy applied to development environments
byronsharman.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Myth Busters: Is Rust a Slam Dunk?
infoq.com·5h·
Discuss: Hacker News
🦀Embedded Rust
Functional Programming Shaped (and Twisted) Front End Development
alfy.blog·10h·
Discuss: Hacker News, r/programming
🎯Gradual Typing
InvThink: Towards AI Safety via Inverse Reasoning
arxiv.org·1d
⚖️Hoare Logic
Creating Per-Project MCP Servers
taoofmac.com·12h·
Discuss: Hacker News
🔩Systems Programming
The architecture behind 99.9999% uptime in erlang
volodymyrpotiichuk.com·2d·
Discuss: Hacker News, r/programming
🌊Stream Processing
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·9h·
Discuss: Hacker News
💻Local LLMs
A Tutorial for the Sam Command Language
ratfactor.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📝Shell Parsing