👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

2025-08-17: Despite thoughts to the contrary, GNAT (Ada) is in fact fully supported on illumos
briancallahan.net·2d
🔗Static Linking
West Virginia governor says deploying national guard to Washington DC is ‘show of commitment to public safety’ – US politics live
theguardian.com·18h
🛡Cybersecurity
Researchers send a wireless curveball to deliver massive amounts of data
engineering.princeton.edu·6h·
Discuss: Hacker News
📻Homebrew Protocols
Writing Your First GPU Kernel in Python with Numba and CUDA
kdnuggets.com·12h
⚡SIMD Vectorization
Why Game Devs Don't Merge Files
kuril.in·3d·
Discuss: Hacker News
🔓Open Source Software
Hartford AAA CLO ETF Q2 2025 Commentary
seekingalpha.com·6h
📡RSS
Counterfactual Survival Q Learning for Longitudinal Randomized Trials via Buckley James Boosting
arxiv.org·1d
📊Learned Metrics
GhostObjects: Instructing Robots by Manipulating Spatially Aligned Virtual Twins in Augmented Reality
arxiv.org·1d
🏺Computational Archaeology
Polynomial preserving recovery for PHT-splines
arxiv.org·1d
🌀Differential Geometry
Intelligent Edge Resource Provisioning for Scalable Digital Twins of Autonomous Vehicles
arxiv.org·1d
🌊Streaming Systems
JobPulse: A Big Data Approach to Real-Time Engineering Workforce Analysis and National Industrial Policy
arxiv.org·1d
🧭Content Discovery
Families' Vision of Generative AI Agents for Household Safety Against Digital and Physical Threats
arxiv.org·1d
🏠Home Automation
Best DIY 4WD 3D Printed Robot 🤖 of 2025
hackster.io·1d
⚙️DIY Electronics
DriveSimQuest: A VR Driving Simulator and Research Platform on Meta Quest with Unity
arxiv.org·1d
🎯Emulator Accuracy
Remove360: Benchmarking Residuals After Object Removal in 3D Gaussian Splatting
arxiv.org·1d
🏺Computational Archaeology
Wild2Avatar: Rendering Humans Behind Occlusions
arxiv.org·1d
⧗Information Bottleneck
Building Production RAG in 2024: Lessons from 50+ Deployments
dev.to·2d·
Discuss: DEV
✅Archive Validation
GANDiff FR: Hybrid GAN Diffusion Synthesis for Causal Bias Attribution in Face Recognition
arxiv.org·1d
📊Learned Metrics
TEN: Table Explicitization, Neurosymbolically
arxiv.org·5d
🌳Context free grammars
This Week in AI: The Quiet Moves That Matter
dev.to·21h·
Discuss: DEV
🖥️Modern Terminals