Quantifying Love: A Data Analysis of the Many Names of Love in Arabic Poetry
quantifiedcuriosities.com·2d·
Discuss: Hacker News
🐫OCaml
Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left)
crowdsupply.com·23h·
Discuss: Hacker News
💾Retro Computing
What brain surgery taught me about the fragile gift of consciousness
bigthinkmedia.substack.com·3h·
Discuss: Substack
🩹Self-Healing Systems
Devotion Without Fanaticism
templeton.org·9h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·21h·
Discuss: Hacker News
🍎Apple
Show HN: ScamBare Text Checker
scambare.com·48m·
Discuss: Hacker News
🎮Verification Games
The Scam Called "You Don't Have to Remember Anything"
zettelkasten.de·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
HTTP: //HTTP://HTTP:// HTTP://HTTP://?HTTP://#HTTP://
daniel.haxx.se·3d·
Discuss: Hacker News
🌐NetworkProtocols
'Make invalid states representable' considered harmful
seangoedecke.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Building a Multilingual Blog with FastHTML
simn.fr·3d·
Discuss: Hacker News
💎Refinement Types
NPM debug and chalk packages compromised
aikido.dev·3d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
Mediabunny: Pure TypeScript media toolkit similar to FFmpeg
github.com·13h·
Discuss: Hacker News
🌐NetworkProtocols
Geometric and physical interpretation of the action principle
nature.com·2d·
Discuss: Hacker News
🧩Separation Logic
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·1d·
Discuss: r/programming
🤖Program Synthesis
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·2d
🐫Embedded OCaml
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·2d
🧠Automated Reasoning
Enhancing the Robustness of Contextual ASR to Varying Biasing Information Volumes Through Purified Semantic Correlation Joint Modeling
arxiv.org·2d
📚Automata Learning
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.org·2d
🧩Parser Combinators
Humans as Bottleneck
shubhamg.bearblog.dev·1d·
Discuss: Hacker News
📚Automata Learning