Registration Opens for 2025 NASA International Space Apps Challenge
nasa.gov·20h·
Discuss: Hacker News
🧗Climbing Tech
WeTransfer issues update on its terms of service and AI
filmstories.co.uk·1d·
Discuss: Hacker News
🍎Apple
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·1d·
Discuss: Hacker News
🔤DSLs
Cidco MailStation as a Z80 Development Platform (2019)
jcs.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
You can learn anything in 2 weeks
letters.thedankoe.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Really interesting article on impact of LoC on code review quality and the LGTM phenomenon.
infoq.com·4h·
Discuss: r/programming
🔄Reproducible Builds
Can I Use ChatGPT if I care about the climate?
charmindustrial.com·22h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·1d·
Discuss: Substack
🎮Verification Games
Google hides secret message in name list of 3,295 AI researchers
arstechnica.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
SMM callout vulnerabilities identified in Gigabyte UEFI firmware
kb.cert.org·4d·
Discuss: Hacker News
⚙️Operating System Design
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·22h·
Discuss: Hacker News
✓Automated Theorem Proving
Ask HN: Changing Developer Career Specialty
news.ycombinator.com·22h·
Discuss: Hacker News
⚙️PL Implementation
Simple off the shelf NAS reccomendations?
reddit.com·3d·
Discuss: r/homelab
🔬Unikernels
Homelabbing... where to start?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Imbalanced Regression Pipeline Recommendation
arxiv.org·1d
🔠Type-Level Programming
Explore 20 years of Mac UI design through emulations of a single app
9to5mac.com·3d
🍎Apple
MTF-Grasp: A Multi-tier Federated Learning Approach for Robotic Grasping
arxiv.org·3d
🔄Finite State Machines
AskIt MCP – Apache 2.0
github.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Looking for a switch
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
The price of software freedom is eternal politics
theregister.com·6d·
Discuss: Hacker News
🔬Unikernels