🏛️ Isabelle HOL

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

Issue 491
haskellweekly.news·5d
🧬Functional Programming
cjpais/Handy
github.com·6h
🎙️Whisper
Can We Terraform Our Way Out of Earth?
hackernoon.com·16h
🚀Indie Hacking
CodeQL zero to hero part 5: Debugging queries
github.blog·1d
🔓Reverse engineering
3rd Largest Element: SIMD Edition
parallelprogrammer.substack.com·11h·
Discuss: Substack
⚡SIMD Optimization
I Tried Htmx
bytecron.me·1d·
Discuss: Hacker News
📰RSS Feed Discovery
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·1d·
Discuss: Hacker News
🌳Persistent Data Structures
Zero-Based Numbering
en.wikipedia.org·10h·
Discuss: Hacker News
🔗Concatenative Programming
Dorothy – A dotfile ecosystem: cross-shell, cross-OS, cross-arch
github.com·13h·
Discuss: Hacker News
🔌Operating system internals
MARLIN: Multi-Agent Reinforcement Learning with Murmuration Intelligence and LLM Guidance for Reservoir Management
arxiv.org·1d
🔲Cellular Automata
AssemblyHands-X: Modeling 3D Hand-Body Coordination for Understanding Bimanual Human Activities
arxiv.org·1d
🏺Computational Archaeology
TokenSwap: Backdoor Attack on the Compositional Understanding of Large Vision-Language Models
arxiv.org·1d
🔍BitFunnel
Type-Less yet Type-Aware Inductive Link Prediction with Pretrained Language Models
arxiv.org·4h
🕸️Graph Embeddings
Do Repetitions Matter? Strengthening Reliability in LLM Evaluations
arxiv.org·1d
🧠Intelligence Compression
TabText: Language-Based Representations of Tabular Health Data for Predictive Modelling
arxiv.org·1d
🧠Machine Learning
Building a TypeScript Snake.io Game with Vue 3 and Claude Sonnet 4.5
dev.to·16h·
Discuss: DEV
💧Liquid Types
Text-Based Approaches to Item Alignment to Content Standards in Large-Scale Reading & Writing Tests
arxiv.org·4h
📝Text Compression
DGM4+: Dataset Extension for Global Scene Inconsistency
arxiv.org·4h
📸TIFF Archaeology
PDE Solvers Should Be Local: Fast, Stable Rollouts with Learned Local Stencils
arxiv.org·4h
🌀Riemannian Computing
LifeCLEF Plant Identification Task 2014
arxiv.org·1d
📄OCR