How to remove “stuck” iCloud Tabs in Safari
manualdousuario.net·4d·
Discuss: Hacker News
🍎Apple
Free feedback widget for your website
sitewidgets.app·1d·
Discuss: Hacker News
🍎Apple
Meet Wukong, the AI Chatbot China Has Installed on Its Space Station
wired.com·1d·
Discuss: Hacker News, r/China, r/space
✓Automated Theorem Proving
Low- and Mid-Tier Mobile for the Real World (2025)
csswizardry.com·4d·
Discuss: Hacker News
🍎Apple
Understanding Jujutsu bookmarks
neugierig.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
There might be a 'Planet Y' hiding in the outer solar system
newscientist.com·1d·
Discuss: Hacker News
🍎Apple
The Small Device C Compiler for 8-bit firmware development (froscon2025)
cdn.media.ccc.de·5d
🐫Embedded OCaml
Learning network from scratch using RFC only
reddit.com·3d·
Discuss: r/homelab
📡Network Protocol Design
Even if snap out of the AI bubble, we are never going to get these years back
coppolaemilio.com·4d·
Discuss: Hacker News
🎮Verification Games
Security researcher driven by free nuggets unearths McDonald's security flaw — changing 'login' to 'register' in URL prompted site to issue plain text password ...
tomshardware.com·3d·
Discuss: Hacker News
🍎Apple
Presheaf automata
arxiv.org·5d
🔄Finite State Machines
The Interpretability Analysis of the Model Can Bring Improvements to the Text-to-SQL Task
arxiv.org·3d
💻CS
Lifelong Learner: Discovering Versatile Neural Solvers for Vehicle Routing Problems
arxiv.org·4d
🤖Program Synthesis
Toward Practical Equilibrium Propagation: Brain-inspired Recurrent Neural Network with Feedback Regulation and Residual Connections
arxiv.org·4d
🏹Effect Systems
Optimal Condition for Initialization Variance in Deep Neural Networks: An SGD Dynamics Perspective
arxiv.org·4d
➡️Category Theory
Extracting Structured Requirements from Unstructured Building Technical Specifications for Building Information Modeling
arxiv.org·3d
🔤DSLs
iPhone 17 Pro case has surprising name after FineWoven mess, box hints at new Apple accessory
9to5mac.com·2d
🍎Apple
The VLF Transformation
hackaday.com·3d
📡Network Protocol Design
On the notion of missingness for path attribution explainability methods in medical settings: Guiding the selection of medically meaningful baselines
arxiv.org·2d
➡️Category Theory
SIM-Swapper, Scattered Spider Hacker Gets 10 Years
krebsonsecurity.com·2d·
Discuss: Hacker News
🌐NetworkProtocols