Temporary employment and protection of human capital in Major League Baseball
onlinelibrary.wiley.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·10h·
Discuss: Hacker News
💎Refinement Types
Show HN: Simple web app to improve conversations with health care providers
prepostprep.com·10h·
Discuss: Hacker News
🍎Apple
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·7h·
Discuss: Hacker News
⚡Process Calculi
Becoming the person who does the thing
fredrivett.com·14h·
Discuss: Hacker News
🏔️climbing
The problem with Rust and open source rewrites
noureddine.org·16h·
Discuss: r/rust
⚙️PL Implementation
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·3d·
Discuss: Hacker News
🧠Automated Reasoning
The Twin Users of the Future – Human and Agents
shouche.in·5h·
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
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
Performance of Conformal Prediction in Capturing Aleatoric Uncertainty
arxiv.org·3d
🧠Automated Reasoning
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·3d
🎮Verification Games
The Case for Mixed Deployment
lesswrong.com·1d
🩹Self-Healing Systems
Augmenting Human-Centered Racial Covenant Detection and Georeferencing with Plug-and-Play NLP Pipelines
arxiv.org·3d
🧩Parser Combinators
AI-in-the-Loop: Privacy Preserving Real-Time Scam Detection and Conversational Scambaiting by Leveraging LLMs and Federated Learning
arxiv.org·3d
🌐NetworkProtocols