๐Ÿ“ Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Advanced Windows Exploitation (AWE) Review
wetw0rk.github.ioยท1d
๐Ÿ”’Secure Boot
Readers Respond to the April 2025 Issue
scientificamerican.comยท1h
๐Ÿ”ฒCellular Automata
Astro and WordPress: Post Previews
wpengine.comยท47mยท
Discuss: Hacker News
๐Ÿ“ฐRSS Feed Discovery
The Dogs in Pursuit Problem
theguardian.comยท19hยท
Discuss: Hacker News
ฮปLambda Encodings
MCP Tools and Dependent Types
vlaaad.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Injection-proof SQL builders in Go
oblique.securityยท19hยท
Discuss: r/golang
โœ…Format Verification
Mastering MCP Servers with LangChain and LangGraph: A Beginner's Guide
dev.toยท38mยท
Discuss: DEV
โš™๏ธWASM Runtime
Why ChatGPT Prioritizes Engagement Over Truth
dev.toยท8hยท
Discuss: DEV
โšกProof Automation
Encoding and Reasoning About Arrays in Set Theory
arxiv.orgยท1d
๐Ÿ’ปProgramming languages
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.orgยท1d
๐ŸŽจGraph Coloring
Group Fair Matchings using Convex Cost Functions
arxiv.orgยท7h
๐ŸŽฏPerformance Proofs
In-Context Examples Matter: Improving Emotion Recognition in Conversation with Instruction Tuning
arxiv.orgยท7h
๐ŸŽ™๏ธWhisper
MPOCryptoML: Multi-Pattern based Off-Chain Crypto Money Laundering Detection
arxiv.orgยท7h
๐Ÿ”—Hash Chains
PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.orgยท1d
๐ŸŒ€Brotli Dictionary
Optimality of Linear Policies in Distributionally Robust Linear Quadratic Control
arxiv.orgยท7h
๐Ÿ“ˆLinear programming
Exploring Multimodal AI Reasoning for Meteorological Forecasting from Skew-T Diagrams
arxiv.orgยท7h
๐Ÿ”ถVoronoi Diagrams
CRoC: Context Refactoring Contrast for Graph Anomaly Detection with Limited Supervision
arxiv.orgยท7h
๐Ÿ”—Topological Sorting
DeCoT: Decomposing Complex Instructions for Enhanced Text-to-Image Generation with Large Language Models
arxiv.orgยท7h
๐Ÿš€SIMD Text Processing
Go Coding with Asparagos: Sunflowers and the Speaking Challenge
dev.toยท3hยท
Discuss: DEV
๐Ÿ”—Concatenative Languages
6 ChatGPT Prompts Every Software Developer Should Know
dev.toยท5hยท
Discuss: DEV
โšกProof Automation