Alice
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones
https://welltypedwit.ch
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- i'd sooner switch to a greek statue pfp than use those woke maths symbols in my code 😤
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- fuck, i think i actually *get* what a constructive proof is now
- can’t believe there’s not even a front page HN story on the grok thing. this one got flagged for some reason news.ycombinator.com/item?id=4398...
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- I’m applicative-pilled. I’m in my Kliesli era. I’m going monad mode.
- this is the best one imo
- sorry im not german 4m is basically a planck time for me
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- When I was getting dressed today I was like wait, remember you found this new pairing of one of my tops with this skirt and was excited to have a new fit but then realised there was no new skirt, I was remembering something from a dream ...I am dreaming about new outfits; I live an exciting life
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- The UK public goods discourse cycle strikes again.
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- oh my fucking god i can recognize that one fontworks font that gets used everywhere from the english ligatures and the nice way it joins with japanese text............ maybe i AM autistic
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- [Not loaded yet]
- Try telling OCaml devs that you want proper support for meta programming; be prepared to learn that most of them don't realise PPXlib is not a proper macro system!!!
- @welltypedwit.ch they're quoting your gospels on the other website
- [Not loaded yet]
- [Not loaded yet]
- sigh. yeah
- something I've struggled to put into words for a long time: why i find reading about "data structures & algorithms" so difficult 👇
-
View full threadSo you end up relying on rote memorisation for which algorithms & data structures are good for what problem and what their performance characteristics are. But these are all just brute statistics about what is effectively a procedural black box.
- cc @welltypedwit.ch you probably don't remember but I once mentioned (on the other site) that I found it really hard to learn about DS&A and you asked me why. Well here it is c:
- Google darling honestly that's as far from being correct as it gets
- Kannst du dir nicht ausdenken lol
- [Not loaded yet]
- [Not loaded yet]
