Show HN: Simple VSCode ext to edit Postgres fixtures
marketplace.visualstudio.com·1d·
Discuss: Hacker News
✅formal methods
Mutually Attacking Knights
susam.net·4d·
Discuss: Lobsters, Hacker News
✅formal methods
Improvements to Mesa video decoding for Panfrost
collabora.com·2d·
Discuss: Hacker News
🔄compilers
FUSE Passthrough
docs.kernel.org·2d·
Discuss: Hacker News
⚙️systems programming
Fixed Points via Logically Contractive Maps
lightcapai.medium.com·5d·
Discuss: Hacker News
✅formal methods
PyPI now serves project status markers in API responses
blog.pypi.org·1d·
Discuss: Hacker News
⚙️systems programming
RapidNative — Prompts to React Native Apps
rapidnative.com·2d·
Discuss: Hacker News
🌐network programming
The Curious Case of Bedrock's GPT Deployment
benanderson.work·2d·
Discuss: Hacker News, Hacker News
🔄compilers
A Bash shell script designed to assess and report on battery health metrics
metasage.com·3d·
Discuss: Hacker News
⚙️systems programming
Normal Computing Announce Tape-Out of First Thermodynamic Computing Chip
normalcomputing.com·1d·
Discuss: Hacker News
⚙️systems programming
State of CSS 2025
2025.stateofcss.com·3d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Computational Music Synthesis
cs.gmu.edu·5d·
Discuss: Hacker News
✅formal methods
Reflections on LeetCode and LSAT in my 30s
andreagao.com·1d·
Discuss: Hacker News
✅formal methods
Cursor to change Teams pricing, after Sep 15
cursor.com·1d·
Discuss: Hacker News
⚙️systems programming
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com·3d·
Discuss: Hacker News, Hacker News
⚙️systems programming
ChatGPT’s model picker is back, and it’s complicated
techcrunch.com·2d·
Discuss: Hacker News
🌐network programming
SliceBeam: Orca and Prusa Slicer on Android
github.com·1d·
Discuss: Hacker News
🔄compilers
Foqos: Block Distracting Apps
github.com·1d·
Discuss: Hacker News
🌐network programming
Show HN: Understanding the Spatial Web Browser Engine
m-creativelab.github.io·3d·
Discuss: Hacker News, r/webdev
⚙️systems programming
Practical Diff Testing of Stateful Applications (VLDB'25)
muratbuffalo.blogspot.com·2d·
Discuss: Hacker News
⚙️systems programming