👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·1d
📋Document Grammar
The Guide to the Foundation Models Framework
azamsharp.com·2d·
Discuss: Hacker News
λLambda Formalization
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·2d·
Discuss: Hacker News, r/programming
🔗Lisp
Security Manager seeking 2min feedback: Do you also lose track of cluster security?
reddit.com·6h·
Discuss: r/kubernetes
📦Container Security
AWS User Group Toronto @ Toronto Tech Week'25 – June Meetup Recap
dev.to·6h·
Discuss: DEV
🏠Homelab Orchestration
Hitchhiker’s Guide to RAG with ChatGPT API and LangChain
towardsdatascience.com·1d
📊Multi-vector RAG
Deciding Termination of Simple Randomized Loops
arxiv.org·4d
🌳Persistent Data Structures
Why We Chose Rust For Spin
dev.to·13h·
Discuss: DEV
🦀Rust Macros
Security news weekly round-up - 27th June 2025
dev.to·7h·
Discuss: DEV
🔓Hacking
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·1d
🧠Machine Learning
Pack Your Go Binary: Embedding Files Made Simple
dev.to·12h·
Discuss: DEV
🔢Binary Formats
⚡️ 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·2d
🔲Cellular Automata
Introducing Zenoscript
dev.to·8h·
Discuss: DEV
🎯Gradual Typing
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·4d
💻Programming languages
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.org·1d
🔍Information Retrieval
🧠 RAG in Minutes with MultiMind SDK — No LangChain Needed
dev.to·7h·
Discuss: DEV
🌀Brotli Internals