Student Led Mission Designs Highlight the Challenges of Engineering in Space
universetoday.com·1d·
Discuss: Hacker News
🧗Climbing Tech
The Sinclair ZX Spectrum Next Issue 3 Is Coming to Kickstarter This Saturday
specnext.com·8h·
Discuss: Hacker News
💾Retro Computing
In Its First Year, Rubin Observatory Will Gather More Space Data Than All Other Telescopes In History Combined
jalopnik.com·1d·
Discuss: Hacker News
🔬Unikernels
Using Typst to Typeset Novels
splinterton.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Good binding data is all you need
leashbio.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
OpenAI Quietly Turns to Google to Stay Online
gizmodo.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Exploiting All Google kernelCTF Instances And Debian 12 With A 0-Day For $82k: A RBTree Family Drama (Part One)
syst3mfailure.io·6d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️Operating System Design
Hacking Coroutines into C
wiomoc.de·6d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🔄Finite State Machines
I Got into Deep Learning
vikas.sh·3d·
Discuss: Hacker News
🎮Verification Games
You Are in a Box
jyn.dev·5d·
Discuss: Lobsters, Hacker News
🛡️seL4
ChatGPT is not AI
newsletter.techworld-with-milan.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
CubeSat Orbit Insertion Maneuvering Using J2 Perturbation
arxiv.org·1d
🏹Effect Systems
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.io·1d
🤖Program Synthesis
Beyond Fully Supervised Pixel Annotations: Scribble-Driven Weakly-Supervised Framework for Image Manipulation Localization
arxiv.org·1d
🎮Verification Games
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·2d
➡️Category Theory
Intelligent Virtual Sonographer (IVS): Enhancing Physician-Robot-Patient Communication
arxiv.org·1d
🤖Program Synthesis
Transformer-Based Person Identification via Wi-Fi CSI Amplitude and Phase Perturbations
arxiv.org·1d
💻CS
Show HN: I built a GitHub AI app to automate the fixing of outdated docs
github.com·3d·
Discuss: Hacker News
❄️Nixified Development
MCP: A Practical Security Blueprint for Developers
thenewstack.io·3d
🛡️seL4
Show HN: Open-Source Form Builder
github.com·3d·
Discuss: Hacker News
🐫OCaml