Haut.ai Launches the SPF Truth Booth
beautynewsdaily.com·4h·
Discuss: Hacker News
💾Retro Computing
There is a std::chrono::high_resolution_clock, but no low_resolution_clock
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
🐫Embedded OCaml
San Francisco rolls out Microsoft's Copilot AI for 30k city workers
cnbc.com·22h·
Discuss: Hacker News
✓Automated Theorem Proving
What Is AWS Kiro IDE? Features, Setup, and How It Compares to Other AI Tools
blog.prateekjain.dev·5h·
Discuss: r/devops, r/programming
🧱Immutable Infrastructure
A Quantum Correspondence
3quarksdaily.com·1d·
Discuss: Hacker News
➡️Category Theory
A deep dive into deeply recursive Go
mattermost.com·4d·
Discuss: Hacker News
🔠Type-Level Programming
A Collection of Lightning Detectors
hackaday.com·5h
🧱Immutable Infrastructure
The Halo Effect
kwokchain.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The human harbor: Navigating identity and meaning in the AI age
venturebeat.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·5d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Assumptions
theprogrammersparadox.blogspot.com·4d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🔬Static Analysis
Reflections on OpenAI
calv.info·4h·
Discuss: Hacker News
👁️System Observability
Things Not to Learn as an AI Engineer – By Paul Iusztin
decodingml.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Show HN: I built a no-code ETL tool (v0.2) to clean messy CSVs using prompts
news.ycombinator.com·3h·
Discuss: Hacker News
🛡️seL4
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·5d·
Discuss: Substack
🐫Embedded OCaml
sca-fuzzer: Revizor - a fuzzer to search for microarchitectural leaks in CPUs
github.com·2d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·4d
🐫OCaml
Negotiating Comfort: Simulating Personality-Driven LLM Agents in Shared Residential Social Networks
arxiv.org·16h
🖥️Self-hosted Infrastructure
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·6d
➡️Category Theory
Temporal Motifs for Financial Networks: A Study on Mercari, JPMC, and Venmo Platforms
arxiv.org·1d
🔄Finite State Machines