OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Open Sesame: Poems with Entropy
benwr.net·5d·
Discuss: Lobsters, Hacker News
🛡️seL4
No, Your chatbot can't be hacked via DNS (at least not on its own)
domainsure.com·16h·
Discuss: Hacker News
📡Network Protocol Design
Cloud security is a mess collected every useful script I could find
ncse.info·3d·
Discuss: r/programming
🛡️seL4
What Makes a Mature Science
asimov.press·15h·
Discuss: Hacker News
🏹Effect Systems
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.pl·3d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
Helix Editor Release 25.07 Highlights
helix-editor.com·6d·
Discuss: Lobsters, Hacker News, r/linux
🔠Type-Level Programming
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com·6d·
Discuss: Hacker News
🔬Unikernels
We Do Not Break Userspace
lore.kernel.org·3d·
Discuss: Hacker News
🔬Unikernels
Can you help me think of a term for this?
carlalexander.ca·4d·
Discuss: r/programming
🔬Static Analysis
AI Culture: The Next Evolution of Intelligence
notes.iunknown.com·2d·
Discuss: Hacker News
🤖Program Synthesis
I avoid using LLMs as a publisher and writer
lifehacky.net·2d·
Discuss: Hacker News
✓Automated Theorem Proving
PGR-DRC: Pre-Global Routing DRC Violation Prediction Using Unsupervised Learning
arxiv.org·1d
🐫Embedded OCaml
SenseSeek Dataset: Multimodal Sensing to Study Information Seeking Behaviors
arxiv.org·5h
🍎Apple
Show HN: DOMTranslator package to translate text nodes in DOM
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Replit makes vibe-y promise to stop its AI agents making vibe coding disasters
theregister.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
The Expressions of Depression and Anxiety in Chinese Psycho-counseling: Usage of First-person Singular Pronoun and Negative Emotional Words
arxiv.org·1d
➡️Category Theory
Xenity Engine -- open-source game engine for PSP, PlayStation 3, PS Vita, and modern platforms
github.com·2d·
Discuss: r/programming
🔬Unikernels
Sparse Identification of Nonlinear Dynamics with Conformal Prediction
arxiv.org·5d
💻CS
Deep Generative Methods and Tire Architecture Design
arxiv.org·5d
🤖Program Synthesis