someone NixOS/Arch/Emacs Haskell/C/Lisp https://xitter.gq/t.co/HRX1QEe7Ps
Graz, Austria
Joined October 2021
- Tweets1.9K
- Following445
- Followers115
- Likes60.4K
🇦🇹Philipp retweeted
Category theory also helped me appreciate this better. Most algorithms or versions of
1. Catamorphisms (fold, reduce, etc),
2. Anamorphisms (unfolds, F-coalgebras. Eg build a datastructure from a seed value)
3. Histomorphism (dynamic programming)
4. Monoidal Homomorphisms (distributed logs, bloom filters, etc)
So when you remove the noise, they're all versions of th3 same things with slight differences. – at Berlin, Germany
If you remove different representations, you find out that many algorithms are either the same, or almost the same.
Shortest path is semiring based computation.
More here: sciencedirect.com/science/ar…
I realized this when I was writing my book on OR algorighms. There are hundreds of algos I went through. Sometimes, you could find 40-50 algorithms, that are different only in one parameter, or one function in the function composition.
---
I am 100% sure, there are abstract algorithms in space search + reduction, that could simplify what already exist and provide dozens of real world useful algos for thousands of various usecases.
🇦🇹Philipp retweeted
Mark your calendars!
Grazer Linuxtage is coming back on April 02 and 03 , 2027!
Get ready for two days of inspiring talks, fresh ideas, and conversations with people who share a passion for technology and open source.
Save the date, and stay tuned for more updates
#glt27
🇦🇹Philipp retweeted
Someone made a Linux script that emails Sam Altman every day to report how much unused RAM is sitting in your PC.
Called Ram-Altman, it monitors your free memory and sends him a daily email if more than 10% is unused.
It even includes different email messages and a test mode.
