AI the Ripper
hugston.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Strap In, Vision Pro Owners
spiral.spyglass.org·2h·
Discuss: Hacker News
🍎Apple
LLMs show cultural theory was right about the death of the author
programmablemutter.com·3d·
Discuss: Hacker News
➡️Category Theory
Measuring the Impact of LLMs on Experienced Developer Productivity
hackaday.com·1d
👁️System Observability
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·3d
✓Automated Theorem Proving
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·2d
✓Automated Theorem Proving
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·3d
📡Network Protocol Design
Beyond the Linear Separability Ceiling
arxiv.org·2d
➡️Category Theory
An overlapping domain decomposition method for parametric Stokes and Stokes-Darcy problems via proper generalized decomposition
arxiv.org·3d
🔬Static Analysis
QuantoniumOS: A Hybrid Computational Framework
github.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·2d
✓Automated Theorem Proving
State of the Vibes: A Slice of Vibe Coding in June 2025
talks.natetucker.com·5h·
Discuss: Hacker News
🍎Apple
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·4d
🔬Static Analysis
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·2d
🎮Verification Games
Show HN: A Raycast-compatible launcher for Linux
github.com·4h·
Discuss: Hacker News, r/linux
🍎XNU Internals
The Next Wave
dumindu.github.io·3d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Open-source STM32 autopilot for long-range fixed-wing UAVs (SmartNavX)
news.ycombinator.com·3h·
Discuss: Hacker News
👁️System Observability
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Libpostal: C library for parsing/normalizing street addresses around the world
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml