👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

A Standard for Human-Centered Investigation Playbooks
chrissanders.org·6h
🎯Threat Hunting
Comprehensive Comparison of Algorithmic Trading Platforms
jonathankinlay.com·15h·
Discuss: Hacker News
🔍BitFunnel
How to (Almost) solve cybersecurity once and for all
adaptive.live·1d·
Discuss: Hacker News
🔐Systems Hardening
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
Threaded Code
muforth.dev·14h·
Discuss: Hacker News
🦀Rust Macros
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·20h
💻Local LLMs
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·16h·
Discuss: DEV
📐Error Bounds
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·1d
💻Local LLMs
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·12h·
Discuss: Hacker News
🔗Constraint Handling
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·20h
💻Local LLMs
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
Probabilistic and reinforced mining of association rules
arxiv.org·1d
🧠Learned Indexes