Software Bill of Materials Requirements in DoD and Federal Guidance
eclypsium.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
3D Modeling with Paper
arvinpoddar.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Cliodynamics – History as Science
peterturchin.com·2d·
Discuss: Hacker News
⚡Process Calculi
Six Years of Admiral Shark's Keyboards
sharktastica.co.uk·1d·
Discuss: Hacker News
💾Retro Computing
New VS Code extension to run all frontier open models
marketplace.visualstudio.com·2d·
Discuss: Hacker News
🐫OCaml
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Apple Announces A19 and A19 Pro SoCs
morethanmoore.substack.com·21h·
Discuss: Substack
🍎XNU Internals
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·5d·
Discuss: Hacker News
📚Automata Learning
Dissecting Batching Effects in GPT Inference
le.qun.ch·2d·
Discuss: Hacker News
📚Automata Learning
After AI Led to Layoffs, Coders Are Being Hired to Fix ‘Vibe-Coded’ Screwups
gizmodo.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·2d·
Discuss: r/davia_ai
🐳Containerization
Cross-platform gRPC Test tool
reddit.com·2d·
Discuss: r/programming
📺Vintage Apple
ALL-PET: A Low-resource and Low-shot PET Foundation Model in the Projection Domain
arxiv.org·1d
🧩Parser Combinators
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·4d·
Discuss: Hacker News
⚙️PL Implementation
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·4d
🧮Lambda Calculus
Characterization of the computed homology and cohomology bases -- technical report
arxiv.org·1d
➡️Category Theory
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·2d·
Discuss: Hacker News
👁️System Observability
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·4d
🌐NetworkProtocols
A Low-Rank tensor framework for THB-Splines
arxiv.org·1d
🐫OCaml