Two 14-year-olds sue Bay Area tech companies over sexual assaults
sfgate.com·1d·
Discuss: Hacker News
🎮Verification Games
Applying Music Theory with Chiptunes
dogspluspl.us·3h·
Discuss: Hacker News
➡️Category Theory
Space-Based Missile Interceptors for Golden Dome Being Tested by Northrop
twz.com·2h·
Discuss: Hacker News
📡Network Protocol Design
What I Learned about Gardening from My PhD in Computer Science
theexclusive.org·18h·
Discuss: Hacker News
💾Retro Computing
In Defense of Defensive Forecasting
argmin.net·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Why evaluating the impact of AI needs to start now
nature.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Chatbots to robots: The rise of 'physical AI'
computerworld.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Agent DB
agentdb.dev·5d·
Discuss: Hacker News
🔤DSLs
Homelab Tour (2022)
taoofmac.com·3d·
Discuss: Hacker News
🔬Unikernels
Metis Agent Starter Kit – Build production AI agents in minutes, not weeks
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
How to generate a TypeScript SDK for your API spec
buildwithfern.com·6d·
Discuss: Hacker News
🌐NetworkProtocols
Assistants Aren't the Future of AI
blog.sshh.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·4d
🔄Finite State Machines
ROBAD: Robust Adversary-aware Local-Global Attended Bad Actor Detection Sequential Model
arxiv.org·18h
🎮Verification Games
I built a memoryless AI persona system at 18
medium.com·3d·
Discuss: Hacker News
💾Retro Computing
Multi-beam Beamforming in RIS-aided MIMO Subject to Reradiation Mask Constraints -- Optimization and Machine Learning Design
arxiv.org·18h
🏹Effect Systems
When Seeing Overrides Knowing: Disentangling Knowledge Conflicts in Vision-Language Models
arxiv.org·1d
✓Automated Theorem Proving
Zak-OTFS based Multiuser Uplink in Doubly-Spread Channels
arxiv.org·18h
💻CS
Enhancing Generalization in PPG-Based Emotion Measurement with a CNN-TCN-LSTM Model
arxiv.org·18h
🐫Embedded OCaml
Enhancing Sustainability in HAPS-Assisted 6G Networks: Load Estimation Aware Cell Switching
arxiv.org·18h
📡Network Protocol Design