Evaluating Image Compression Tools
rachelplusplus.me.uk·1d·
Discuss: Hacker News
🔄Reproducible Builds
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Rust vs. C: A Deep Dive
ponderwall.com·1d·
Discuss: r/programming
🔬Static Analysis
Algorithms for making interesting organic simulations
bleuje.com·14h·
Discuss: Lobsters, Hacker News, Hacker News
🎮Verification Games
The Right Approach to Authorization in RAG
osohq.com·4d·
Discuss: Hacker News
🛡️seL4
floccinaucinihilipilification
en.wiktionary.org·3d·
Discuss: Hacker News
➡️Category Theory
What Was Cyberpunk? In Memoriam: 1980-2020
forums.insertcredit.com·22h·
Discuss: Hacker News
💾Retro Computing
State of the Vibes: A Slice of Vibe Coding in June 2025
talks.natetucker.com·16h·
Discuss: Hacker News
🍎Apple
SPINT: Spatial Permutation-Invariant Neural Transformer for Consistent Intracortical Motor Decoding
arxiv.org·3h
➡️Category Theory
GitHub – pollen-robotics/AmazingHand: Code and model to control the AH
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·3h
✓Automated Theorem Proving
Bare Metal vs. KVM for workstation/shop server
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
Show HN: Quikfolioz – Vibe-Coded Portfolios, Crafted Fast for Devs on the Go
github.com·14h·
Discuss: Hacker News
🍎Apple
https:// daniel.haxx.se/blog/2025/07/11 /cybersecurity-risk-assessment-request/
daniel.haxx.se·3d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·3d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Homelab Networking help needed for Dell Intel X710-DA2 10 Gb ethernet nic (Dell 540-BBIX 5N7Y5)
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Kubernetes PV (pre-)provisioning/management with frequent infrastructure redeployment
reddit.com·2d·
Discuss: r/homelab
⎈Kubernetes
There’s a better way to use AI official prompts
reddit.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
Recommendations for hardware
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab