Covariant spatio-temporal receptive fields for spiking neural networks
nature.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Django Views - The Right Way
spookylukey.github.io·1d·
Discuss: Hacker News
🌐NetworkProtocols
The (sometimes rocky) road to a paper
lmao.bearblog.dev·3d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·5d·
Discuss: Hacker News
📚Automata Learning
Show HN: BuildKit 2.0 – the shadcn for AI integrations
buildkit.picaos.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Protobuffers Are Wrong
reasonablypolymorphic.com·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·2d·
Discuss: Substack
🔧Unikernel Development
N8N vs. Zapier: Growing through LinkedIn and being a Jack of all trades
blog.tryresearchly.com·10h·
Discuss: Hacker News
🐳Containerization
Signals and Threads – Why ML Needs a New Programming Language
signalsandthreads.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐫Embedded OCaml
Should you use AsyncLocalStorage? (2023)
eytanmanor.medium.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Phala GPU Tee Deep Dive: Securing AI at the Hardware Layer
phala.com·2d·
Discuss: Hacker News
📦Unikernel Systems
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·3d
🛡️seL4
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·4d
✓Automated Theorem Proving
Heap-based buffer overflow in Kernel Streaming
crowdfense.com·2d·
Discuss: Hacker News, r/programming
🔧Unikernel Development
Visual Development Is Fast Until Big-O Complexity Slows It Down. Here's Our Fix
jinen83.github.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Kleene's Recursion Theorem
en.wikipedia.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
You might not need Python-dotenv
blog.natfu.be·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·6h·
Discuss: Hacker News
🔬Static Analysis
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·1d·
Discuss: Hacker News, r/programming
🔄Finite State Machines