🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

OTW - Bandit Level 0 to Level 1
tbhaxor.com·1d
🛡️CLI Security
AI Tools Gave False Information About Tsunami Advisories
slashdot.org·7h
🧠Intelligence Compression
The Beman Project: Tomorrow's C++ Standard Libraries Today
bemanproject.org·1d·
Discuss: Hacker News
📚MARC Archaeology
Understanding Energy Trading: Physical vs. Financial Markets
a115.co.uk·13h·
Discuss: Hacker News
📐Mathematical Art
Global Warming Alarmists Promote Xkcd Time Series Cartoon, Ignore Its Mistakes
stream.org·9h·
Discuss: Hacker News
📰RSS Archaeology
Curved Inference: Concern-Sensitive Geometry in Large Language Model Residual Streams
arxiv.org·3d
🧠Intelligence Compression
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·2d
🦀Rust Macros
Stop Prompting, Start Designing: 5 Agentic AI Patterns That Actually Work
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
What is Cursor Rules? A Step-by-Step Guide
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Build a Fullstack Stock Portfolio Agent with Mastra and AG-UI
dev.to·3d·
Discuss: DEV
🌊Apache Kafka
Beginner's Guide to Machine Learning with Scikit-Learn (Step-by-Step Tutorial)
dev.to·2d·
Discuss: DEV
🧠Machine Learning
VibeTDD Experiment 3: When Human Takes the Lead
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Can You Trust an LLM with Your Life-Changing Decision? An Investigation into AI High-Stakes Responses
arxiv.org·3d
💻Local LLMs
Hashcat v7.0.0 Released
github.com·23h·
Discuss: Hacker News
🔓Password Cracking
I Wanted to Learn Faster — So I Built a Voice AI Tutor with GPT-4 in a Weekend
dev.to·2d·
Discuss: DEV
🗜️LZSS Variants
End-to-End GitHub Workflow: Agents (CrewAI), UI (CopilotKit), Automation (Composio)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
How to Remove Files in Python (rm File)
dev.to·7h·
Discuss: DEV
⛏️File Carving
Cross-Platform Process Management with Pause/Resume
reddit.com·1d·
Discuss: r/golang
🌊Stream Processing
Machine Learning Fundamentals: k-nearest neighbors tutorial
dev.to·3d·
Discuss: DEV
🧠Machine Learning
From Sufficiency to Reflection: Reinforcement-Guided Thinking Quality in Retrieval-Augmented Reasoning for LLMs
arxiv.org·2d
🔍Information Retrieval