Mapping of Historical Daguerreotypes: Imaging, Degradation, and Conservation
analyticalsciencejournals.onlinelibrary.wiley.com·4d·
Discuss: Hacker News
💾Retro Computing
With Iran exposed, the regime could now turn its attention to new targets
abc.net.au·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How Interest Rates Were Set, 2500 BC – 1000 AD (2000)
michael-hudson.com·3h·
Discuss: Hacker News
🔬Static Analysis
A Ukrainian startup develops long-range drones and missiles to take the battle to Russia
apnews.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·6d·
Discuss: Hacker News
🔠Type-Level Programming
Android App End-to-End Testing with FusionAuth
fusionauth.io·6d·
Discuss: Hacker News
🧪Property-Based Testing
The Great Refactor
ifp.org·6d·
Discuss: Hacker News
🤖Program Synthesis
Why agent pathfinding gets messy: global planning vs local avoidance coordinate transforms
medium.com·6d·
Discuss: r/programming
🔄Finite State Machines
Polypeptides synthesized by bacteria in the human gut improve rodent metabolism
nature.com·5d·
Discuss: Hacker News
🔠Type-Level Programming
M-x spook (Emacs mail amusement)
gnu.org·2d·
Discuss: Hacker News
💾Retro Computing
Staff Cuts and Turmoil Hit the CFTC While the Crypto It Oversees Booms
bloomberg.com·5d·
Discuss: Hacker News
🐫OCaml
How to Evaluate Logging Frameworks: 10 Questions
thenewstack.io·5d
👁️System Observability
Vibe coding helps me manage my code snippets. I’m a junior dev still learning.
reddit.com·5d·
Discuss: r/programming
🔬Static Analysis
Many-notes: Markdown note-taking web application designed for simplicity
github.com·6d·
Discuss: Hacker News
📦Unikernel Systems
Google will require developer verification for Android apps outside the Play Store
techcrunch.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·5d
✓Automated Theorem Proving
You Can Build Better AI Agents in Java Than Python
medium.com·6d·
Discuss: Hacker News
🤖Program Synthesis
Across the US, EVs beat hybrids and gas in life cycle emissions study
arstechnica.com·1d·
Discuss: Hacker News
🔄Finite State Machines
xAI made people's conversations with its chatbot public on Google w/o warning
forbes.com·6d·
Discuss: Hacker News
👁️System Observability
DAIQ: Auditing Demographic Attribute Inference from Question in LLMs
arxiv.org·2d
✓Automated Theorem Proving