Show HN: Lotas – Cursor for RStudio
lotas.ai·19h·
Discuss: Hacker News
🔬Static Analysis
First-Hand:The AT&T Bellmac-32 Microprocessor Development
ethw.org·2d·
Discuss: Hacker News
💾Retro Computing
Meta Hires Two Key Apple AI Experts After Poaching Their Boss
bloomberg.com·4d·
Discuss: Hacker News
💾Retro Computing
To MCP or not to MCP?
blog.pamelafox.org·23h·
Discuss: www.blogger.com, Hacker News
🛡️seL4
Make Your AI SaaS in a Weekend with ShipThing Boilerplate
shipthing.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
As AI Plans to Make Us Stupid, Telco Jobs Keep Disappearing
lightreading.com·15h·
Discuss: Hacker News
🐫Embedded OCaml
I'm Tired of Talking About AI
paddy.carvers.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥️Self-hosted Infrastructure
AirPods Pro 2 hearing features and Sleep Apnea alert now available in new countries
9to5mac.com·6d
🎮Verification Games
EBA-AI: Ethics-Guided Bias-Aware AI for Efficient Underwater Image Enhancement and Coral Reef Monitoring
arxiv.org·9h
✓Automated Theorem Proving
AlphaAlign: Incentivizing Safety Alignment with Extremely Simplified Reinforcement Learning
arxiv.org·9h
🎮Verification Games
Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
arxiv.org·9h
💻CS
Grok may be breaking App Store rules with sexualized AI chatbots, and that’s not the only problem
9to5mac.com·5d
🔬Unikernels
Procedure Learning via Regularized Gromov-Wasserstein Optimal Transport
arxiv.org·9h
🎮Verification Games
Leveraging Extrinsic Dexterity for Occluded Grasping on Grasp Constraining Walls
arxiv.org·9h
📡Network Protocol Design
Apple sues leaker Jon Prosser for stealing iOS secrets
theverge.com·4d·
Discuss: Hacker News
🍎XNU Internals
IP2: Entity-Guided Interest Probing for Personalized News Recommendation
arxiv.org·1d
➡️Category Theory
Generative Distribution Distillation
arxiv.org·9h
🤖Program Synthesis
LLM world models are mental: Output layer evidence of brittle world model use in LLM mechanical reasoning
arxiv.org·9h
✓Automated Theorem Proving
Nobody Knows How to Build with AI Yet
worksonmymachine.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·1d
💻CS