🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

FIPS certified vs. FIPS compliant: What’s the real difference?
yubico.com·1d
🔐Certificate Analysis
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
📏Code Metrics
How Weak Social Media Passwords Can Be Cracked with SocialBox in Termux
hackernoon.com·16h
🔓Password Cracking
A Techno Optimist's Guide to Raising Kids for the Age of AI
nymag.com·5h·
Discuss: Hacker News
🌍Cultural Algorithms
Humans and their environment: beyond the nature/culture opposition (2023)
bmcr.brynmawr.edu·9h·
Discuss: Hacker News
❄️Nordic Design Philosophy
Making performant Python bindings to compiled code
kylebarron.dev·3h·
Discuss: Hacker News
🦀Rust Macros
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com·1d·
Discuss: Hacker News
⚡Proof Automation
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
📊HyperLogLog
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·18h·
Discuss: Hacker News
🎯Emulator Accuracy
I open-sourced a ~200k word English dictionary
github.com·1h·
Discuss: Hacker News
🌀Brotli Dictionary
Doctor-R1: Mastering Clinical Inquiry with Experiential Agentic Reinforcement Learning
arxiv.org·14h
🎵Audio ML
A Noise Resilient Approach for Robust Hurst Exponent Estimation
arxiv.org·14h
🧠Machine Learning
Understanding Retrieval Augmentation for Long-Form Question Answering
arxiv.org·14h
🔍Information Retrieval
Predictive Modeling of Age-Related Aberrant DNA Methylation Patterns via Multi-Modal Integration
dev.to·8h·
Discuss: DEV
👁️OCR Enhancement
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·21h·
Discuss: DEV
🌐NetworkProtocols
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·1d
🌳Context free grammars
Prompting Techniques for Specialised LLMs
gg.forem.com·2d·
Discuss: DEV
⚖️Constraint Logic
Visual Representations inside the Language Model
arxiv.org·14h
🧮Vector Embeddings
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·14h·
Discuss: DEV
🌀Brotli Internals
# 8 Apothem ...History and Etymology of Math Terms
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📚Archive Mathematics