🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Disentangled Deep Smoothed Bootstrap for Fair Imbalanced Regression
freakonometrics.hypotheses.org·1d
🧠Machine Learning
Are daily dreams future insights or past reflections?
aidreamscope.com·6h·
Discuss: Hacker News
📝Log Parsing
AI Leap 2025: Estonia Sets the Global Standard for AI in Education
e-estonia.com·10h·
Discuss: Hacker News
🗺️Competency Maps
The role of Quarkus in the modern Java ecosystem
javapro.io·2h·
Discuss: Hacker News
🔓Open Source Software
SEC adds ninth conference game, with huge implications for the College Football Playoff and Big 12
mercurynews.com·32m
🕸️Algebraic Topology
Derivatives, Gradients, Jacobians and Hessians – Oh My!
blog.demofox.org·5d·
Discuss: Hacker News
🌀Differential Geometry
A laundry basket of reform leaves a lot of washing to be done
abc.net.au·14h
💰Archive Economics
Closer to the Metal: Leaving Playwright for CDP
browser-use.com·1d·
Discuss: Hacker News
🎬WebCodecs
Posit introduces Positron: New IDE for Data Science with Python and R
heise.de·1d
🔩Systems Programming
Spiral-Bench: A new benchmark measuring LLM sycophancy and delusion
eqbench.com·4d·
Discuss: Hacker News
🧪Binary Fuzzing
Using LLMs to turn scripts into applications
djharper.dev·2d·
Discuss: Hacker News
🔄Language Evolution
Philosopher’s Annual for 2024
dailynous.com·4d
🏛️Philosophy
Turn Your Photo Library Into a Location-Based Search Engine Using EXIF Metadata
dev.to·1d·
Discuss: DEV
📸TIFF Archaeology
My Most Valuable Lesson as an Aspiring Data Analyst
towardsdatascience.com·1d
🔗Data Provenance
JuiceFS on Windows: Challenges in the Beta Release
dev.to·8h·
Discuss: DEV
🌊Streaming Systems
Adaptive Ultrasonic Transcranial Drug Delivery via Bio-Acoustic Resonance Mapping
dev.to·12h·
Discuss: DEV
⚙️Cassette Mechanics
Why Lightweight Language Models Might Be More Important Than Ever
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Totients, Eulers Phi Function (Unlike Lightning, they always strike at least twice
pballew.blogspot.com·1d·
Discuss: www.blogger.com
⚙Backus-Naur Form
Automated Formulation Optimization for Enhanced Contact Lens Solution Biofilm Control via Predictive Modeling
dev.to·20h·
Discuss: DEV
📄Document Digitization
Quark’s Outlines: Python Complex Numbers
dev.to·4d·
Discuss: DEV
🧮Z3 Applications