👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

How to give a talk
karagila.org·3d
⚔️Lean Theorem
PEON - Prefixed Entry Object Notation
bartoszsypytkowski.com·23h
🔢Binary Formats
The World's 2.75B Buildings
tech.marksblogg.com·21h·
Discuss: Hacker News
📲Digitization
The 90-Day Clock: How Expiring SSL Certificates Became a Ticking Time Bomb
vanitycert.com·23h·
Discuss: Hacker News
🔐Certificate Analysis
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.com·3d·
Discuss: Hacker News, r/programming
🌊Stream Processing
Towards Rust in Windows Drivers
techcommunity.microsoft.com·2d·
Discuss: Hacker News
🦀Embedded Rust
C++'s Greatest Flaw
harshal.is-cool.dev·3d·
Discuss: Hacker News
🔩Systems Programming
Building LangGraph: Designing an Agent Runtime from First Principles
blog.langchain.com·2d·
Discuss: Hacker News
⚙️TLA+
Evals are a scam. And we're being gaslit into believing they aren't
hacktrace.substack.com·1d·
Discuss: Substack
📏Code Metrics
Robotic Design: Let the AI Build the Bots
dev.to·1d·
Discuss: DEV
🤖AI Curation
Dynamic Energy Grid Optimization via Adaptive Multi-Agent Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Gaussian process surrogate with physical law-corrected prior for multi-coupled PDEs defined on irregular geometry
arxiv.org·3d
🌀Differential Geometry
AI-Driven Dynamic Resource Allocation for Optimal Inter-Agency Collaboration in Disaster Response
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Go from Zero to a Full-Stack, Type-Safe, Cross-Platform App in Seconds
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Automated Weeding via Multi-Modal Sensor Fusion & Reinforcement Learning in Precision Tomato Farming
dev.to·13h·
Discuss: DEV
☕Precision Brewing
From Human Chatter to Animal Chatter: Teaching AI to Hear Nature's Symphony by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🎧Learned Audio
Binary Quantization For LLMs Through Dynamic Grouping
arxiv.org·3d
💻Local LLMs
AR-KAN: Autoregressive-Weight-Enhanced Kolmogorov-Arnold Network for Time Series Forecasting
arxiv.org·3d
🧠Machine Learning
AI in Healthcare: How LLMs are Transforming Medical Documentation and Decision Making
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Automated Antibiotic Resistance Prediction & Intervention via Multimodal Data Fusion and Reinforcement Learning
dev.to·2d·
Discuss: DEV
🎛️Feed Filtering