Exclusive: Three Intel senior executives to retire amid manufacturing shake up
reuters.com·3d·
Discuss: Hacker News, r/hardware
⚙️PL Implementation
Giving up javascript
link.com·1d·
Discuss: r/programming
🔤DSLs
Show HN: AI Executive assistant for your emails
useminima.framer.website·5h·
Discuss: Hacker News
✓Automated Theorem Proving
How to sell open source technology to the government
openthc.com·5d·
Discuss: Hacker News, r/opensource
🖥️Self-hosted Infrastructure
The Practicals of Writing: Paper and Pens
brianschrader.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Natural Gas Inventories Rise but Heat Wave Could Fuel Strong Demand
oilprice.com·2d·
Discuss: Hacker News
🛡️seL4
MLCommons Releases MLPerf Client v1.0
mlcommons.org·3d·
Discuss: Hacker News
👁️System Observability
The US Military Is Raking in Millions From On-Base Slot Machines
wired.com·9h·
Discuss: Hacker News
💾Retro Computing
Symbol-Level Editing
sysprogs.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Memory in Agents, Make LLMs remember.
philschmid.de·19h·
Discuss: Hacker News
⚙️Operating System Design
Global Warming Alarmists Promote Xkcd Time Series Cartoon, Ignore Its Mistakes
stream.org·2d·
Discuss: Hacker News
👁️System Observability
Self-Hosting AI Models After Claude's Usage Limits
steipete.me·4d·
Discuss: Hacker News, Hacker News
📦Unikernel Systems
Deep Agents
blog.langchain.com·3d·
Discuss: Hacker News
🏹Effect Systems
Google is experimenting with machine-learning powered age estimation tech in the U.S.
techcrunch.com·4d·
Discuss: Hacker News
🍎Apple
Trump's jobs data denialism won't fool anyone
natesilver.net·1d·
Discuss: Hacker News, r/Economics
✓Automated Theorem Proving
AI chatbots are becoming popular alternatives to therapy. But they may worsen mental health crises, experts warn
theguardian.com·1d·
Discuss: Hacker News
🐫OCaml
AutoDebias: Automated Framework for Debiasing Text-to-Image Models
arxiv.org·15h
🏹Effect Systems
Modern Monaco
github.com·1d·
Discuss: Hacker News
🐫OCaml
Help me setup wife-approved home server(s)
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
SketchMind: A Multi-Agent Cognitive Framework for Assessing Student-Drawn Scientific Sketches
arxiv.org·3d
✓Automated Theorem Proving