👑 Isabelle/HOL

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

Hartford AAA CLO ETF Q2 2025 Commentary
seekingalpha.com·1h
📡RSS
Opinion: Europe can lead the world in legal AI — by out-regulating everyone else
thenextweb.com·16h
🔐Capability Systems
Cactus Language • Pragmatics 13
inquiryintoinquiry.com·6d
🔢Denotational Semantics
How Cursor AI Cut Legacy Code Coverage Time by 85%
engineering.salesforce.com·2d
🔍Concolic Testing
Researchers send a wireless curveball to deliver massive amounts of data
engineering.princeton.edu·2h·
Discuss: Hacker News
📻Homebrew Protocols
Happy 100000th birthday, Debian
lists.debian.org·2d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Why Game Devs Don't Merge Files
kuril.in·3d·
Discuss: Hacker News
🔓Open Source Software
OpenAI Tried To Save Users From ‘AI Psychosis.’ Those Users Were Not Happy.
popularmechanics.com·8h
🏛Digital humanities
Best DIY 4WD 3D Printed Robot 🤖 of 2025
hackster.io·1d
⚙️DIY Electronics
Context Misleads LLMs: The Role of Context Filtering in Maintaining Safe Alignment of LLMs
arxiv.org·3d
💻Local LLMs
Automated Prioritization of Clinical Trial Endpoint Validation Using Bayesian HyperNetworks
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Building Production RAG in 2024: Lessons from 50+ Deployments
dev.to·2d·
Discuss: DEV
✅Archive Validation
Discovering Invariant Neighborhood Patterns for Heterophilic Graphs
arxiv.org·19h
🔗Graph Isomorphism
Dynamic Reconfiguration of Microfluidic Channels via Programmable Shape Memory Polymer Actuators for Lab-on-a-Chip Applications
dev.to·19h·
Discuss: DEV
🌊Stream Processing
Perception in Plan: Coupled Perception and Planning for End-to-End Autonomous Driving
arxiv.org·19h
🔲Cellular Automata
Adaptive Optics for High-Resolution Coronagraphy via Multi-Modal Wavefront Shaping
dev.to·13h·
Discuss: DEV
🔬Optical Physics
Towards Reliable Multi-Agent Systems for Marketing Applications via Reflection, Memory, and Planning
arxiv.org·19h
📊Feed Optimization
Combining Machine Learning Defenses without Conflicts
arxiv.org·3d
🧠Machine Learning
The Human-AI Hybrid Delphi Model: A Structured Framework for Context-Rich, Expert Consensus in Complex Domains
arxiv.org·4d
🧠Intelligence Compression
Extending the Entropic Potential of Events for Uncertainty Quantification and Decision-Making in Artificial Intelligence
arxiv.org·3d
📈Entropy Estimation