🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Lichess Mobile App Official Release
lichess.org·19h·
Discuss: Hacker News
🎯Emulator Accuracy
Common statistical tests are linear models (or: how to teach stats)
lindeloev.github.io·2d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
All-in on Omarchy at 37signals
world.hey.com·13h·
Discuss: Hacker News
🔌Operating system internals
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·5d·
Discuss: blog.computationalcomplexity.org, Hacker News, Hacker News
🎯Performance Proofs
Show HN: SecretShare – Easy, secure one time secret sharing CLI
news.ycombinator.com·15h·
Discuss: Hacker News
🔑Cryptographic Protocols
The Fundamentals Still Matter
jordangoodman.bearblog.dev·2d·
Discuss: Hacker News
💻Local LLMs
LSP-mode Versus Eglot
irreal.org·2d
⚙️PL Implementation
Next.js PWA offline capability with Service Worker, no extra package
adropincalm.com·2h·
Discuss: r/javascript
🧩WASM Components
Some Principles From Real World Internal Developer Platform Engineering • Russ Miles • GOTO 2024
youtube.com·2d
🔄Reproducible Builds
MCPoison: Vulnerability in Cursor IDE – Execute arbitrary code via MCP
heise.de·2d
🔓Hacking
Distributionally Robust System Level Synthesis With Output Feedback Affine Control Policy
arxiv.org·2d
🎯Performance Proofs
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·5d
🧮Datalog
ff4ERA: A new Fuzzy Framework for Ethical Risk Assessment in AI
arxiv.org·5d
🤖AI Curation
Algorithmic Optimization of Circular Economy Logistics via Hyper-Efficient Resource Routing
dev.to·2d·
Discuss: DEV
🕸️Network Topology
Machine Learning Fundamentals: model evaluation project
dev.to·4d·
Discuss: DEV
📏Code Metrics
Hide and Seek with LLMs: An Adversarial Game for Sneaky Error Generation and Self-Improving Diagnosis
arxiv.org·4d
⚔️Lean Tactics
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·3d
📝Concrete Syntax
Real-Time Stress Field Mapping in Sheet Metal Forming via Hybrid Finite Element-Machine Learning
dev.to·4h·
Discuss: DEV
⚙️Modern Assembly
MoBE: Mixture-of-Basis-Experts for Compressing MoE-based LLMs
arxiv.org·2d
💻Local LLMs
Enhanced Algal Bloom Prediction and Mitigation via Multi-Modal Data Fusion and Bayesian Optimization
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Bounds