Temporary employment and protection of human capital in Major League Baseball
onlinelibrary.wiley.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·20h·
Discuss: Hacker News
💎Refinement Types
FTC Launches Inquiry into AI Chatbots Acting as Companions
ftc.gov·1d·
Discuss: Hacker News
🌐NetworkProtocols
International anarchy? Modern adoption of Hobbes's state of nature
frontiersin.org·17h·
Discuss: Hacker News
⚡Process Calculi
A Review of Nuclear War: A Scenario by Annie Jacobsen
militaryrealism.blog·9h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·3d·
Discuss: Hacker News
🧠Automated Reasoning
Becoming the person who does the thing
fredrivett.com·1d·
Discuss: Hacker News
🏔️climbing
The Twin Users of the Future – Human and Agents
shouche.in·15h·
Discuss: Hacker News
⚙️Operating System Design
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·1d·
Discuss: Hacker News
🔧Unikernel Development
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·3d·
Discuss: r/programming
📊Runtime Verification
The problem with Rust and open source rewrites
noureddine.org·1d·
Discuss: r/rust
⚙️PL Implementation
Round and Round with a Tape Delay Synth
hackaday.com·1d
💾Retro Computing
How many federal agencies does it take to regulate AI? Enough to hold back implementation
theregister.com·2d·
Discuss: Hacker News
🤖Program Synthesis
A.I. As Normal Technology (Derogatory)
maxread.substack.com·2d·
Discuss: Substack
🔬Unikernels
How OpenAI Operator Works with AI Agents
anchorbrowser.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
The Case for Mixed Deployment
lesswrong.com·2d
🩹Self-Healing Systems
Prototyping an AI-powered Tool for Energy Efficiency in New Zealand Homes
arxiv.org·4d
🧠Automated Reasoning
Performance of Conformal Prediction in Capturing Aleatoric Uncertainty
arxiv.org·4d
🧠Automated Reasoning
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·4d
🎮Verification Games
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols