👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

[$] Supporting kernel development with large language models
lwn.net·2d
💻Local LLMs
New Proof Dramatically Compresses Space Needed for Computation
scientificamerican.com·1d·
Discuss: Hacker News
🎯Performance Proofs
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3d·
Discuss: Hacker News, r/programming
🔗Lisp
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·4d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
[D] Thinking, Fast and Slow
reddit.com·1d·
Discuss: r/MachineLearning
🧮Theoretical Computer Science
Kumo’s ‘relational foundation model’ predicts the future your LLM can’t see
venturebeat.com·20h·
Discuss: Hacker News, Hacker News
💻Local LLMs
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·1d·
Discuss: DEV
🌐Network Protocols
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·1d·
Discuss: DEV
💧Liquid Types
Deciding Termination of Simple Randomized Loops
arxiv.org·4d
🌳Persistent Data Structures
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·1d
🧠Machine Learning
Why We Chose Rust For Spin
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Ctrl-Z Sampling: Diffusion Sampling with Controlled Random Zigzag Explorations
arxiv.org·2d
🔲Cellular Automata
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·4d
🔍Type Inference
Learning to Be a Transformer to Pinpoint Anomalies
arxiv.org·1d
🤖Grammar Induction
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·5d
💻Programming languages
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.org·1d
🔍Information Retrieval
[AWS] Efficiency in everything! Community Builder shares the appeal of AWS Developer Tools [DevTools]
dev.to·16h·
Discuss: DEV
❄️Nix Adoption
🧠 Day 01: Python Basics Unlocked – Variables, Operators & I/O
dev.to·5h·
Discuss: DEV
📚Lempel-Ziv
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·1d
🗜️Graph Compression