👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Comprehensive Comparison of Algorithmic Trading Platforms
jonathankinlay.com·1d·
Discuss: Hacker News
🔍BitFunnel
Field Sensitive Escape Analysis in Golang?
reddit.com·1d·
Discuss: r/golang
🧠Lisp Dialects
How to (Almost) solve cybersecurity once and for all
adaptive.live·1d·
Discuss: Hacker News
🔐Systems Hardening
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·5h·
Discuss: Substack
🔲Cellular Automata
Threaded Code
muforth.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lol·5h·
Discuss: Hacker News
⚙️TLA+
Large Language Models
blog.jsbarretto.com·3h·
Discuss: Hacker News
📝Concrete Syntax
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·6h·
Discuss: DEV
⚡Performance Tools
Probabilistic and reinforced mining of association rules
arxiv.org·2d
🧠Learned Indexes
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·2d
🔗Monadic Parsing
LangChain vs. TLRAG: A Comparative Analysis for Investors
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·4h
🔓Password Cracking
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·2d
🧮SMT Solvers
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·8h
🔍BitFunnel
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·20h
💻Local LLMs
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Machine Learning Fundamentals: active learning project
dev.to·21h·
Discuss: DEV
🧠Machine Learning
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation