🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Nix pills
nixos.org·2d
❄️Nixpkgs
Customer Development's Missing Feedback Loop
interjectedfuture.com·2h
🔍Concolic Testing
Detection Engineering: Practicing Detection-as-Code – Monitoring – Part 7
blog.nviso.eu·12h
🚨Incident Response
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
A Techno Optimist's Guide to Raising Kids for the Age of AI
nymag.com·8h·
Discuss: Hacker News
🌍Cultural Algorithms
Humans and their environment: beyond the nature/culture opposition (2023)
bmcr.brynmawr.edu·12h·
Discuss: Hacker News
❄️Nordic Design Philosophy
Making performant Python bindings to compiled code
kylebarron.dev·6h·
Discuss: Hacker News
🦀Rust Macros
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·20h·
Discuss: Hacker News
🎯Emulator Accuracy
I open-sourced a ~200k word English dictionary
github.com·4h·
Discuss: Hacker News
🌀Brotli Dictionary
Visual Representations inside the Language Model
arxiv.org·16h
🧮Vector Embeddings
Prompting Techniques for Specialised LLMs
gg.forem.com·2d·
Discuss: DEV
⚖️Constraint Logic
# 8 Apothem ...History and Etymology of Math Terms
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📚Archive Mathematics
More Than One Teacher: Adaptive Multi-Guidance Policy Optimization for Diverse Exploration
arxiv.org·4d
🔲Cellular Automata
ObCLIP: Oblivious CLoud-Device Hybrid Image Generation with Privacy Preservation
arxiv.org·16h
🔐Homomorphic Encryption
Defining a Strategic Action Plan for AI in Higher Education
arxiv.org·16h
🗺️Competency Maps
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
On Predicting Post-Click Conversion Rate via Counterfactual Inference
arxiv.org·16h
⚖️Feed Ranking
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·20h·
Discuss: DEV
📊Multi-vector RAG
A Multilingual Framework for Dysarthria: Detection, Severity Classification, Speech-to-Text, and Clean Speech Generation
arxiv.org·16h
🎙️Whisper