👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Genomics coordinate systems
docs.rs·1d·
Discuss: Hacker News
🧬Copy Number Variants
The Guide to the Foundation Models Framework
azamsharp.com·2d·
Discuss: Hacker News
λLambda Formalization
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·1d
📋Document Grammar
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·2d·
Discuss: Hacker News, r/programming
🔗Lisp
AI Course in Bangalore with Tools & Live Training
dev.to·12h·
Discuss: DEV
🗺️Competency Maps
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·4d
🔗Combinatory Logic
Cactus Language • Syntax 11
inquiryintoinquiry.com·4d
📝Concrete Syntax
Hitchhiker’s Guide to RAG with ChatGPT API and LangChain
towardsdatascience.com·1d
📊Multi-vector RAG
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·20h·
Discuss: DEV
💧Liquid Types
Machine Learning Fundamentals: adam optimizer
dev.to·1d·
Discuss: DEV
📊Quantization
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·15h·
Discuss: DEV
🌐Network Protocols
Deciding Termination of Simple Randomized Loops
arxiv.org·3d
🌳Persistent Data Structures
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·20h
🧠Machine Learning
Why We Chose Rust For Spin
dev.to·9h·
Discuss: DEV
🦀Rust Macros
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Ctrl-Z Sampling: Diffusion Sampling with Controlled Random Zigzag Explorations
arxiv.org·1d
🔲Cellular Automata
Introducing Zenoscript
dev.to·3h·
Discuss: DEV
🎯Gradual Typing
Security news weekly round-up - 27th June 2025
dev.to·3h·
Discuss: DEV
🔓Hacking
Pack Your Go Binary: Embedding Files Made Simple
dev.to·8h·
Discuss: DEV
🔢Binary Formats
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·3d
🔍Type Inference