Honolulu engineer creates fabric of the future out of chicken feathers
khon2.com·13h·
Discuss: Hacker News
🤖Program Synthesis
Responsiveness variability during anaesthesia and differences in brain structure
pubmed.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
🐫OCaml
Ollee Watch: Turn your classic Casio watch into a smartwatch
olleewatch.com·2d·
Discuss: Hacker News
🍎Apple
Security Through Intentional Redundancy
commaok.xyz·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
These Ants Found a Loophole for a Fundamental Rule of Life
nytimes.com·1d·
Discuss: Hacker News
❄️Nix
How we supercharged GitLab CI statuses with WebSockets
about.gitlab.com·2d·
Discuss: Hacker News
👁️System Observability
$41M Crypto Hack
harrydonnelly.substack.com·1d·
Discuss: Substack
🛡️seL4
Challenges You Will Face When Parsing PDFs with Python
theseattledataguy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
FBI Alert: Two Cybercriminal Groups Are Actively Compromising Salesforce
securityonline.info·2d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Flox – Nvidia CUDA available for the Nix ecosystem
flox.dev·6d·
Discuss: Hacker News
❄️Nixified Development
Karate – Test Automation Made Simple
karatelabs.github.io·6d·
Discuss: Hacker News
❄️Nixified Development
Threads is the gas-leak social network
maxread.substack.com·5h·
Discuss: Substack
🎮Verification Games
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·5d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
Lost $300 due to an API key leak from "vibe coding" – Learn from my mistake
news.ycombinator.com·2d·
Discuss: Hacker News
📊Runtime Verification
Why Event-Driven Systems are Hard?
newsletter.scalablethread.com·2d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
LLM-Generated Rules Engines for LLM Explainability
brain.co·4d·
Discuss: Hacker News
🧠Automated Reasoning
Show HN
github.com·3d·
Discuss: Hacker News, Hacker News
🧩Parser Combinators
Just built a God Proof Simulator with React & TypeScript - Philosophy & Code Experiment
reddit.com·3d·
Discuss: r/programming
💎Refinement Types
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·1d
🧩Parser Combinators
Emulating Public Opinion: A Proof-of-Concept of AI-Generated Synthetic Survey Responses for the Chilean Case
arxiv.org·1d
📚Automata Learning