Kabelo Moiloa

amateur PL-theorist of scientific computing. All poasts are to be interpreted in both a maximally ironic and sincere way simultaneously.

[Kabelo Moiloa @11kilobytes]

@mechanicalmonk1 Here's my professional (not political in some sense) manifesto in a tweetthread.

[Kabelo Moiloa @11kilobytes]

@yawaramin @zetalyrae ocaml books generally don't imho (unlike some haskell books, which may do so at the end).

[Kabelo Moiloa @11kilobytes]

@plain_simon @shubh_aanand The study of pathologies in point-set topology. As a mediocre math grad, I feel like you'd get better intuition into functional analysis but I'm not entirely sure.

[Kabelo Moiloa @11kilobytes]

@AnnaLeptikon Perhaps also _From Third World To First_ by Lee Kuan Yew.

[Kabelo Moiloa @11kilobytes]

@scheminglunatic Likely this would make writing complex tacit-style heavy APL code with LLMs very hard even given enough training data, I think.

[Kabelo Moiloa @11kilobytes]

@scheminglunatic The trouble with this though is that the data structure invariants are not represented syntactically. Imagine trying to write down some dependent type to the effect that "Co-dfns is correct" for example.

[Kabelo Moiloa @11kilobytes]

@krichard121212 @davidbessis Then you can work formally to determine why your intuitions are wrong, and then correct them to better/more comprehensive ones.

[Kabelo Moiloa @11kilobytes]

@krichard121212 @davidbessis By making explicit those mental representations as formal logical ones, we can transition between different patchy intuitions in a coherent way. We also gain the ability to definitely know when our intutions are leading us astray (if a proof works, you can check that easily).

[Kabelo Moiloa @11kilobytes]

@noncanonicAleae i wonder where the pejorative "clanker" for llms comes from? there's a cambridge math phd who also uses the term. do you know?

[Kabelo Moiloa @11kilobytes]

@duns_sc0tus Maybe, Part 7 _The Presidential Council for Minority Rights_?

[Kabelo Moiloa @11kilobytes]

@duns_sc0tus What are the "DEI" clauses in the Singaporean constitution? Reading LKY's "from Third World to First," makes the PAP sound like a bay-area rationalist party (basically), so I'm a bit surprised to see that they might exist but I'm to lazy to find them myself.

[Kabelo Moiloa @11kilobytes]

@the_transit_guy c.f. https://t.co/YbtUZeOeMg

[Kabelo Moiloa @11kilobytes]

@the_transit_guy Even notorious shithole countries like my very own Republic of South Africa can do this, so you can too! I believe in y'all's, do better!

[Kabelo Moiloa @11kilobytes]

@LemmySmackett @morallawwithin this is the telos of the Republic of South Africa, inshallah.

[Kabelo Moiloa @11kilobytes]

@reidatcheson @Duderichy is it not some sort of Onyx Boox? Otherwise you can probably find it reviewed on this youtube channel: https://t.co/sgGifPU3Rp.

[Kabelo Moiloa @11kilobytes]

@aphercotropist in'sh'allah i shall do well in my master's next year, become a quant and reward them!

[Kabelo Moiloa @11kilobytes]

@aphercotropist hmmm, i can't really tell if you would count a Linux distro as an operating system or not :D. I'm grateful for FOSS developers tbqh, mostly lived in spacemacs on macOS during HS and then Guix + Emacs now and this allowed be to use the same laptop for the past 12 years!

[Kabelo Moiloa @11kilobytes]

@scheminglunatic Thoughts?

[Kabelo Moiloa @11kilobytes]

@scheminglunatic Relatedly, if Christianity is at all cogent rational freedom has God as its telos. Hence no one can ultimately reject God entirely and deliberately which would be the sole condition that would warrant any sort of punishment at all, let alone an infinite one.