🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·11h·
Discuss: DEV
📐Error Bounds
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
Patching functions together
johndcook.com·3h
📐Mathematical Art
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.com·1h·
Discuss: Lobsters
🎼Audio Lambda Calculus
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·29m
⚔️Lean Tactics
Travels, 10
cameroncounts.wordpress.com·4h
🎯Performance Proofs
derived set
ncatlab.org·4h
🧮Algebraic Archives
A Briefing on Logistic Regression
blog.engora.com·7h·
Discuss: Hacker News
🧠Machine Learning
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·5h·
Discuss: DEV
🧠Machine Learning
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Double Maths First Thing: Issue 2A
aperiodical.com·11h
👑Isabelle
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·9h·
Discuss: DEV
🧮Kolmogorov Complexity
Superimposed codes
blog.sesse.net·3d
💾Binary codes
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs