Show HN: STIX – Institutional positioning in US equities revealed as a score
stix-v1.onrender.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Author Rie Qudan: Why I used ChatGPT to write my prize-winning novel
theguardian.com·3d·
Discuss: Hacker News
🛡️seL4
Beyond Booleans
overreacted.io·5d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/typescript
✓Automated Theorem Proving
Never Split the Difference
lesspenguiny.com·2d·
Discuss: Hacker News
🛡️seL4
Reddit Backdoor: How Google and ChatGPT's Exclusive Access Is Rigging the Game
generative-engine.org·1d·
Discuss: Hacker News
🎮Verification Games
Elephants Don't Write Sonnets
whattotelltherobot.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Graphite Chat
graphite.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
High-tech drones turn Ukraine's front line into a deadly kill zone, complicating evacuations
yahoo.com·4d·
Discuss: Hacker News
🧗Climbing Tech
Bringing Metallurgy Into the 21st Century – www.caltech.edu
caltech.edu·2d·
Discuss: Hacker News
💾Retro Computing
Psychological inoculation and resilience to share vaccine misinformation
nature.com·2d·
Discuss: Hacker News
🎮Verification Games
Physics Hub - Open source project for student
reddit.com·4d·
Discuss: r/programming
🎮Verification Games
Defending a City from Multi-Drone Attacks: A Sequential Stackelberg Security Games Approach
arxiv.org·3d
🎮Verification Games
Don’t count out an M4-powered Apple Vision Pro just yet
9to5mac.com·3d
🍎Apple
macOS Tahoe 26 beta 7 now available to developers
9to5mac.com·2d
🍎Apple
Scientists find tiny new moon around Uranus with the James Webb Space Telescope (photos, video)
space.com·1d·
Discuss: Hacker News
🍎Apple
Live experiment: can ChatGPT generate alpha trading micro‑caps with just $100?
github.com·2d·
Discuss: Hacker News
🍎XNU Internals
Minimizing Surrogate Losses for Decision-Focused Learning using Differentiable Optimization
arxiv.org·3d
🎮Verification Games
Towards Generalizable Learning Models for EEG-Based Identification of Pain Perception
arxiv.org·2d
🏹Effect Systems
Age-Normalized HRV Features for Non-Invasive Glucose Prediction: A Pilot Sleep-Aware Machine Learning Study
arxiv.org·2d
🏹Effect Systems
Efficient Image-to-Image Schr\"odinger Bridge for CT Field of View Extension
arxiv.org·3d
🐫OCaml