👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Calibrating an Ultrasonic Humidifier for Glycol Vapors
jefftk.com·18h
☕Precision Brewing
Adversarial Examples Are Not Bugs, They Are Superposition
livgorton.com·12h·
Discuss: Hacker News
🧠Machine Learning
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·13h·
Discuss: Hacker News
🦀Rust Macros
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·1d·
Discuss: Hacker News
📐Linear Algebra
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·4h·
Discuss: Hacker News
🧠Machine Learning
Reloading classes in python and shared borders
andrewpwheeler.com·20h·
Discuss: Hacker News
🦀Rust Macros
Deep Think with Confidence
arxiviq.substack.com·2d·
Discuss: Substack
💻Local LLMs
Popular Nx Build System NPM Package Compromised with Data Stealing Malware
stepsecurity.io·4h·
Discuss: Hacker News
🔓Open Source Software
MUA-RL: Multi-turn User-interacting Agent Reinforcement Learning for agentic tool use
arxiv.org·3h
✨Algebraic Effects
Tailored Teaching with Balanced Difficulty: Elevating Reasoning in Multimodal Chain-of-Thought via Prompt Curriculum
arxiv.org·3h
🧮Kolmogorov Complexity
Creating Wikipedia Search Embeddings with a Gaia Node
dev.to·21h·
Discuss: DEV
🏛Wikidata
Analysis of Harpy's Constrained Trotting and Jumping Maneuver
arxiv.org·1d
🌀Differential Geometry
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·1d
✨Algebraic Effects
Using AI to build an AI Security Product
dev.to·14h·
Discuss: DEV
⚡Proof Automation
A Praxis of Influence: Framing the Observation and Measurement of Information Power
arxiv.org·3h
📰Content Curation
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·16h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
SWiFT: Soft-Mask Weight Fine-tuning for Bias Mitigation
arxiv.org·3h
📊Rate-Distortion Theory
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Proof Automation
Auditing Approximate Machine Unlearning for Differentially Private Models
arxiv.org·3h
🛡️Differential Privacy
Benchmarking GPT-5 vs Claude 4 Sonnet on 200 Requests
dev.to·16h·
Discuss: DEV
⚙️Compression Benchmarking