A leave-one-out approach to approximate message passing
arxiv.org·22h
🧮Kolmogorov Complexity
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·11h
💻Programming languages
Agentic Coding Is A Fundamental Shift
saewitz.com·1d·
Discuss: Hacker News
⚖️Hoare Logic
Hardest Question From China’s University Entrance Exam
mindyourdecisions.com·1h
🧮SMT Solvers
Extensions and Shadows (7)
sites.psu.edu·1d
🧮Kolmogorov Complexity
Building a Plain Seq2Seq Model for Language Translation
machinelearningmastery.com·1d
📝Text Compression
<p>I&rsquo;ve said this before and I&rsquo;ll say it again: the ability to make a lambda from a method, a la Java&rsquo;s double colon operator (e.g. <code>obj:...
lmika.org·3h
λLambda Formalization
Zero Knowledge Proof
en.wikipedia.org·52m·
Discuss: Hacker News
🎯Proof Tactics
Whys and Hows of Apply Family of Functions in R
dev.to·7h·
Discuss: DEV
📐Linear Algebra
"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·1d
🔍RegEx Engines
From Rules to Relationships: How Machines Are Learning to Understand Each Other
towardsdatascience.com·2h
🧠Machine Learning
Detecting Organic Contaminants with Less Data
mirawelner.com·1d·
Discuss: Lobsters, Hacker News
🌈Spectroscopy
Morse Code
kmcd.dev·16h·
Discuss: Hacker News
🔤Character Encoding
The journey to create a new video codec
medium.com·12h·
Discuss: Hacker News
🎬AV1 Encoding
Logistic Regression Applied to Baseball Data
runningonnumbers.com·11h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Google DeepMind Formal Conjectures
google-deepmind.github.io·2d·
Discuss: Hacker News
🕸️Algebraic Topology
Synthetic Auth Report – Issue 003
syntheticauth.ai·4h·
Discuss: Hacker News
🛡Cybersecurity
Library of Babel
libraryofbabel.app·12h·
Discuss: Lobsters, Hacker News
📚MARC Archaeology
Infrequently Asked Questions
www-cs-faculty.stanford.edu·4h
🎯Gradual Typing