👑 Isabelle/HOL

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

Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Testing races with a synchronizing Decorator
blog.ploeh.dk·1d
🔄Sync Engine
Carnival of Maths #241
aperiodical.com·1d
📐Mathematical Art
lydiahallie/javascript-questions
github.com·2d
🔗Concatenative Programming
Cybersecurity Instruction Tuned Model
huggingface.co·13h·
Discuss: Hacker News
🔒WASM Capabilities
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·4h·
Discuss: Hacker News
📼Tape Combinators
In Support Of Shitty Types
lucumr.pocoo.org·22h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Machine Learning Fundamentals: model evaluation
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·5d
🎯Performance Proofs
Proactive Disentangled Modeling of Trigger-Object Pairings for Backdoor Defense
arxiv.org·12h
🕵️Vector Smuggling
LinkQA: Synthesizing Diverse QA from Multiple Seeds Strongly Linked by Knowledge Points
arxiv.org·12h
💻Local LLMs
The Future is Now: How OpenAI's Revolutionary AI Reasoning Models Are Changing Everything
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Build Your Own AI Agent with MCP: A Developer's Guide to Model Context Protocol
dev.to·22h·
Discuss: DEV
🔌Interface Evolution
Path-LLM: A Shortest-Path-based LLM Learning for Unified Graph Representation
arxiv.org·12h
🕸️Graph Embeddings
Refine-n-Judge: Curating High-Quality Preference Chains for LLM-Fine-Tuning
arxiv.org·12h
🎯Content Recommendation
Apache Hamilton (incubating): a Python library for DAGs of data transformations
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·4d
✓Automated Theorem Proving
Python Fundamentals: context managers
dev.to·4h·
Discuss: DEV
📏Code Metrics
Prompt OpenAI’s O3: Best Practices, Applications & Tips
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.to·2h·
Discuss: DEV
🧠Intelligence Compression