Forwarded from 🐧 Gnu/linux/uwu (schizo shitposter) (Schizolinux 𒉭)
Forwarded from Programming Deadlock
Why You Should Learn To Program The Hard Way
https://youtube.com/watch?v=Qf56xUKbx24
https://youtube.com/watch?v=Qf56xUKbx24
YouTube
Why You Should Learn To Program The Hard Way
Even if it takes more time, learning to program the hard way using as few libraries and external dependencies as possible will make you more confident.
Research shows that confident people make more money, so it also makes you rich.
In this audio stream…
Research shows that confident people make more money, so it also makes you rich.
In this audio stream…
❤1
Forwarded from Compsci Library 📚
Adolfo Ochagavía
Let's build a compressor from scratch
Compression is one of those wonderful things we have grown accustomed to in the computer world. You wave a magic wand and —poof!— a file suddenly shrinks to a fraction of its size! You wave the wand again and —pop!— the original file is restored down to the…
❤2
Forwarded from (φ (μ (λ)))
Glad to see that there's one pure functional language that has an explicit Anti-LLM Policy:
https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md
https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md
GitHub
Idris2/CONTRIBUTING.md at main · idris-lang/Idris2
A purely functional programming language with first class types - idris-lang/Idris2