Real milk proteins, no cows: Engineered bacteria pave the way for vegan cheese and yogurt
phys.org·22h·
Discuss: Hacker News
➡️Category Theory
Pharmacopsychiatry: Gut microbiome effect on psychotropic drugs&bipolar disorder
microbiologyresearch.org·1d·
Discuss: Hacker News
🐫OCaml
Rising Graduate Joblessness Is Mainly Affecting Men
edwardconard.com·19h·
Discuss: Hacker News
💻CS
Don't Forget About Atari
cory.news·12h·
Discuss: Hacker News
💾Retro Computing
Advanced JIT Compilers for Ruby: TruffleRuby and JRuby
blog.appsignal.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Daily Log: The "Vibe Check" Protocol
whtwnd.com·2d·
Discuss: Hacker News
👁️System Observability
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·3d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Perl Versioning Scheme and Gentoo
wiki.gentoo.org·1d·
Discuss: Hacker News
❄️Nixified Development
Data and Democracy: Charting Assault on American Democracy and a Path Forward
data4democracy.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Critical SharePoint Zero-Day (CVE-2025-53770) Under Active Exploitation
cisa.gov·2h·
Discuss: Hacker News
🛡️seL4
C++ Trailing Return Types (2022)
danielsieger.com·4d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🐫OCaml
Using leaked data to examine vulnerabilities in SMS routing and SS7 signalling
medium.com·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Is your precious code safe? An easy way to ensure availability of code/repositories.
reddit.com·2d·
Discuss: r/homelab
🧱Immutable Infrastructure
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·3d
✓Automated Theorem Proving
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·3d
🔠Type-Level Programming
Generalist Bimanual Manipulation via Foundation Video Diffusion Models
arxiv.org·3d
➡️Category Theory
Ask HN: What would convince you to take AI seriously?
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
An Interpretable AI framework Quantifying Traditional Chinese Medicine Principles Towards Enhancing and Integrating with Modern Biomedicine
arxiv.org·5d
✓Automated Theorem Proving
Wikipedia: Signs of AI Writing
en.wikipedia.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org·3d
➡️Category Theory