FreeCAD Foray: Good Practices
hackaday.com·14h
🔬Unikernels
Natcast to Lay Off Majority of Its Staff
spectrum.ieee.org·16h·
Discuss: Hacker News
🐳Containerization
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·1d·
Discuss: Hacker News
🔤DSLs
Saving Energy in Self-Hosting, Wake-on-LAN, and Rust
guibeira.dev·3d·
Discuss: Hacker News
🖥Self-Hosting
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·2d·
Discuss: Hacker News
💎Refinement Types
Show HN: I Built Logstalgia for the Web
tailstream.io·3d·
Discuss: Hacker News
🐳Containerization
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·2d·
Discuss: Hacker News
💾Retro Computing
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·1d
📚Automata Learning
Massively Parallel Agentic Simulations with Ray
anyscale.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·3d
🤖Program Synthesis
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·2d·
Discuss: Hacker News
⚙️PL Implementation
How OpenAI Operator Works with AI Agents
anchorbrowser.io·1d·
Discuss: Hacker News
🧠Automated Reasoning
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·12h·
Discuss: Hacker News
🐫Embedded OCaml
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·1d·
Discuss: Hacker News, r/javascript, r/node
🔄Reproducible Builds
Language Native Lightly Structured Databases for Large Language Model Driven Composite Materials Research
arxiv.org·3d
🐫OCaml
BlazingMQ: A modern, high-performance open message queuing system
github.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
The Little Book of Everything
github.com·3d·
Discuss: Hacker News
➡️Category Theory
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Verification Games
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·10h
📚Automata Learning