Rosetta 2 support discontinuation notice
discussions.apple.com·15h·
Discuss: Hacker News
🍎Apple
Quora’s Poe releases a developer API with access to a bouquet of AI models
techcrunch.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How NixOS is built
blog.erethon.com·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
QTractor GPL audio/MIDI sequencer
qtractor.org·5d·
Discuss: Hacker News
📦Unikernel Systems
Mama, There's a Plagiarist Behind You
thenoosphere.substack.com·15h·
Discuss: Substack
✓Automated Theorem Proving
The AI Stack No One Talks About: Data Acquisition as Infrastructure
ai.plainenglish.io·4d·
Discuss: r/programming
👁️System Observability
Modernising the Amiga at Forty
benjamin.computer·4d·
Discuss: Hacker News
💾Retro Computing
Ask HN: Startups, 0 Stability – Is It Time to Move on from Tech?
news.ycombinator.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Engineering Buy-In
venki.dev·1d·
Discuss: Hacker News
🛡️seL4
Show HN: Kali Linux-like environment written in Windows Batch
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Why AI Security Deserves More Attention
medium.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I Got Claude to Write Code I Could Ship
graphite.dev·4d·
Discuss: Hacker News
🔬Static Analysis
Distilling a Small Utility-Based Passage Selector to Enhance Retrieval-Augmented Generation
arxiv.org·5d
🔠Type-Level Programming
Can Small-Scale Data Poisoning Exacerbate Dialect-Linked Biases in Large Language Models?
arxiv.org·5d
🐫Embedded OCaml
Integrating LLM in Agent-Based Social Simulation: Opportunities and Challenges
arxiv.org·5d
✓Automated Theorem Proving
Geometric Multi-color Message Passing Graph Neural Networks for Blood-brain Barrier Permeability Prediction
arxiv.org·5d
➡️Category Theory
Querying GI Endoscopy Images: A VQA Approach
arxiv.org·3d
✓Automated Theorem Proving
Can LLMs Reason About Trust?: A Pilot Study
arxiv.org·3d
🛡️seL4
Locally Controlled Face Aging with Latent Diffusion Models
arxiv.org·3d
🏹Effect Systems
HJB-based online safety-embedded critic learning for uncertain systems with self-triggered mechanism
arxiv.org·4d
🔄Finite State Machines