👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Symmetry in subword segmentation
languagelog.ldc.upenn.edu·2d
📄Text Segmentation
The Latest Projects from Cornell’s ECE 4760/5730
hackaday.com·2d
⚡Circuit Design
College Dormitory Capstone Project: The Commonality Lab
commonalitylab.com·1d·
Discuss: r/homelab
🏠Homelab Pentesting
Trapped in the Infinite Honey Pot
brianschrader.com·8h·
Discuss: Hacker News
🚀Indie Hacking
Use Bayes rule to mechanically solve probability riddles
cloud.disroot.org·1d·
Discuss: Hacker News
⚡Proof Automation
GHC 9.14.1-Alpha1
blog.haskell.org·4d·
Discuss: Hacker News
🔗Functional Compilers
I Should Have Loved Electrical Engineering
blog.tdhttt.com·1d·
Discuss: Hacker News
🎮Switch Archaeology
Code reviews as a tool to build capability
fffej.substack.com·1h·
Discuss: Substack
📏Code Metrics
The Math Behind GANs
jaketae.github.io·5d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
I learned to code in JavaScript and now I feel that I’ve missed out on a lot of fundamentals
reddit.com·2d·
Discuss: r/golang
🔗Concatenative Programming
BED-LLM: Intelligent Information Gathering with LLMs and Bayesian Experimental Design
arxiv.org·1d
💻Local LLMs
Leveraging Imperfection with MEDLEY A Multi-Model Approach Harnessing Bias in Medical AI
arxiv.org·1d
✨Effect Handlers
Benchmarking the State of Networks with a Low-Cost Method Based on Reservoir Computing
arxiv.org·1d
🧠Machine Learning
How to get a stripe MCC (Merchant code) with Python
dev.to·13h·
Discuss: DEV
🔐PAKE Protocols
Benchmarking compression programs
maskray.me·2d·
Discuss: Hacker News
📦Deflate
DRASP: A Dual-Resolution Attentive Statistics Pooling Framework for Automatic MOS Prediction
arxiv.org·1d
🎧Learned Audio
Improving LLM token usage when debugging
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Vibe Coding is Creating a Generation of Unemployable Developers
hackernoon.com·9h
📏Code Metrics
Adaptive Heavy-Tailed Stochastic Gradient Descent
arxiv.org·1d
🧠Machine Learning
Enhanced Crystal Structure Refinement via Deep Learning-Guided Neutron Diffraction Data Analysis
dev.to·17h·
Discuss: DEV
💎Information Crystallography