🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Nix pills
nixos.org·2d
❄️Nixpkgs
Customer Development's Missing Feedback Loop
interjectedfuture.com·4h
🔍Concolic Testing
Detection Engineering: Practicing Detection-as-Code – Monitoring – Part 7
blog.nviso.eu·14h
🚨Incident Response
A Techno Optimist's Guide to Raising Kids for the Age of AI
nymag.com·10h·
Discuss: Hacker News
🌍Cultural Algorithms
Humans and their environment: beyond the nature/culture opposition (2023)
bmcr.brynmawr.edu·14h·
Discuss: Hacker News
❄️Nordic Design Philosophy
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com·1d·
Discuss: Hacker News
⚡Proof Automation
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·22h·
Discuss: Hacker News
🎯Emulator Accuracy
I open-sourced a ~200k word English dictionary
github.com·6h·
Discuss: Hacker News
🌀Brotli Dictionary
Making performant Python bindings to compiled code
kylebarron.dev·8h·
Discuss: Hacker News
🦀Rust Macros
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·22h·
Discuss: DEV
📊Multi-vector RAG
Flexible Locomotion Learning with Diffusion Model Predictive Control
arxiv.org·18h
🔲Cellular Automata
Diffusion-Classifier Synergy: Reward-Aligned Learning via Mutual Boosting Loop for FSCIL
arxiv.org·18h
🧠Machine Learning
A Multilingual Framework for Dysarthria: Detection, Severity Classification, Speech-to-Text, and Clean Speech Generation
arxiv.org·18h
🎙️Whisper
Reasoning Renaissance: Bridging Neural Nets and Logic with Shared Concepts
dev.to·3d·
Discuss: DEV
🧮Datalog Systems
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·10h·
Discuss: DEV
🌀Brotli Internals
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·13h·
Discuss: DEV
🌀Differential Geometry
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·18h
🌸Bloom Variants
Type Theory and Functional Programming (1999) [pdf]
dev.to·6d·
Discuss: DEV
🔤Type Theory
Enhancing Landing Gear Drop Test Simulation Accuracy via Adaptive Material Model Calibration
dev.to·2h·
Discuss: DEV
⚙️Cassette Mechanics
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·13h·
Discuss: DEV
👁️OCR Enhancement