I really like your idea of targeting executives and connecting it to real business outcomes. Getting decision makers to truly understand the fundamentals behind the technology would make a huge difference.
2,052 karma · joined June 22, 2025
I really like your idea of targeting executives and connecting it to real business outcomes. Getting decision makers to truly understand the fundamentals behind the technology would make a huge difference.
However, you are right, Prof. Sedgewick has long maintained versions of his material across multiple languages. I remember that the third edition has C, C++ and Java versions.
That said, I personally prefer Introduction to Algorithms (CLRS) for its formal rigor and clear proofs, and Grokking Algorithms for building intuition.
The broader goal of this project is to build a well tested, reference quality set of implementations in C, Python, and Go. That is the next milestone.
A project to implement 1000 algorithms. I have finished around 400 so far and I am now focusing on adding test cases, writing implementations in Python and C, and creating formal proofs in Lean.
It has been a fun way to dive deeper into how algorithms work and to see the differences between practical coding and formal reasoning. The long-term goal is to make it a solid reference and learning resource that covers correctness, performance, and theory in one place.
The project is still in its draft phase and will be heavily edited over the next few months and years as it grows and improves.
If anyone has thoughts on how to structure the proofs or improve the testing setup, I would love to hear ideas or feedback.
Could you help create some GitHub issues? I will fix them in my free time next weekend.
This book is open source, open for contributions, and completely free of charge, and anyone with a GitHub account can contribute.
Behind the story words, here are the branches of mathematics explored in each chapter: 1/ Numbers, 2/ Geometry, 3/ Pre-Algebra, 4/ Calculus and Analysis, 5/ Algebra, 6/ Probability, 7/ Logic, 8/ Complex Numbers and Higher Dimensions 9/ Mathematical Applications to Physics, 10/ Further Applications, including AI/Machine Learning, Music, and more.
Along with the tales, I am planning to write about the underlying ideas for each one in much greater detail.
Let me carefully review all the code snippets, create tests, and integrate them into the CI/CD pipeline to make sure everything is correct.
I've been working on a book called "The Little Chronicles of Mathematics, Data, and the Mind of Machines", this is a 100 sections journey from counting stones to thinking silicon. This book is more like a storybook for curious builders. I wrote it for people who love see how things connect, how math become language, how data become memory, and how machines learned to reason. If you enjoy clear ideas, and big arcs of history, this book is for you.
Writing this book has been a real challenge for me, since all the books I enjoy reading are very formal ones :))
Anyone here into Grothendieck's SGA or EGA? (Sorry, a bit off topic!)
Personally, I've always liked Bourbaki's books, but they're too formal for learning - especially in linear algebra, which I see as something meant for applications rather than pure math research.
Maybe I just oversimplified things or made them feel less "math".
I'm not really a visual guy, so let me rewatch the awesome 3Blue1Brown series and try to visualize it again:
https://www.youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2x...
In practice, you'll often encounter the code before the underlying math (especially in Machine Learning), so developing intuition from both directions is always helpful.
Btw, if you enjoy pure mathematics, starting from Chapter 4 in the book, I begin defining vectors and the axioms of vector spaces:
https://little-book-of.github.io/linear-algebra/books/en-US/...