Live data from Hacker News

Viewing profile — pgt

pgt

HN member
Joined
Wed, Mar 05, 2014, 10:49 PM UTC
HN karma
3,645
Public activity
930 items

About pgt

Petrus G. Theron

BEng Electrical Engineering w/Comp. Sci (Stellenbosch, 2010). Former CTO of CloudAfrica, weFix.

Making software professionally for 20+ years, ideally with Clojure, Electric Clojure & Datomic. Based in Cape Town, South Africa.

Links:

- EACL is a ReBAC Authorization based on SpiceDB, built in Clojure & backed by Datomic (https://github.com/theronic/eacl)

- Grug's Guide to Sound (I sell high-fidelity amplifiers): https://petrustheron.com/posts/2024-12-12-grug-guide-to-sound.html

- ExplainGame: The Party Explanation Game (explaingame.com) (mobile-friendly, built in Electric Clojure)

- BraaiSim: Braai Simulator (braaisim.com) (mobile-only, Electric Clojure)

- Essays: http://petrustheron.com/

- Twitter: https://twitter.com/BraaiEngineer

- GitHub: https://github.com/theronic

- Top 2% on StackOverflow: https://stackoverflow.com/users/198927/petrus-theron

- Wallfly Smart Volume Control — https://wallfly.webflow.io/

- Music: http://theronic.com/

(Old HN account was @FreshCode)

Recent public activity

  1. comment
    Comment #49215323

    hmm, I suspect distributed systems can be modelled with a form of probabilistic borrow-checking as long as you have control all the connected systems.

  2. comment
    Comment #49013052

    It matters because it means that lab could not train that model without distilling another frontier model, and their progress would slow once they get properly cut-off. If I funded…

  3. comment
    Comment #48990190

    Electric Clojure does incremental rendering that crosses the client/server boundary: http://electric.hyperfiddle.net/ The closest thing to Electric (IMO) is SolidJS, but frontend o…

  4. comment
    Comment #48808790

    This is helpful, because practically many functions in the wild have assert-like checks at the top of the function, e.g. `(if-not key1 (throw (Exception ...))` ...and pre-condition…

  5. comment
    Comment #48788984

    [flagged]

  6. comment
    Comment #48780759

    Previously: https://news.ycombinator.com/item?id=40248231 tldr; Starlink doesn't work in South Africa, Elon's home country, because the ANC and its lawfare arm ICASA demands they h…

  7. comment
    Comment #48719556

    Very cool! Idea: show the definition of the word when you find it, so you can learn new words. (edit: ah, I see they are shown later)

  8. comment
    Comment #48709594

    This is such an obvious feature for Glassdoor, but needs verification to avoid abuse.

  9. comment
    Comment #48610963

    In case you want to view the menu, press Tab. Click outside menu items to resume game.

  10. comment
    Comment #48592179

    Only a fool would enter their name in this.

  11. comment
    Comment #48539127

    I’m surprised to see the model names hardcoded as an enum (e.g. `.sonnet4_6`), instead of a string with model discovery so that the user can select their preferred model without ha…

  12. comment
    Comment #48510448

    How to shoot? I can't figure it out. Perhaps made harder by typing on Colemak. Edit: OK, spacebar shoots, but it's hard to see the cannons flying due to low contrast. And it shoots…

  13. comment
    Comment #48423201

    AI threatens the programmer identity.

  14. comment
    Comment #48400501

    Ooh, thanks for this. I'm going to try quercetin for my histadine sensitivity in red wine, which causes a skin reaction. I thought it was the sulphites, but after trying older wine…

  15. comment
    Comment #48382156

    > "I do wish there were an easier way to move in the ]}]})))}-ness of block ends though." If he means navigating the AST, there is Parinfer: https://shaunlebron.github.io/parinfer/…

  16. comment
    Comment #48177696

    Iocaine powder is a fictional, odorless, and tasteless poison from The Princess Bride.

  17. comment
    Comment #48125592

    Not a Rogue-like specialist, it's hard – I haven't made it out of level 1 yet.

  18. comment
    Comment #48083178

    If query strings are banned, tracking parameters will simply move to the URL, or use `?t=` & `?h=` if those are whitelisted.

  19. comment
    Comment #47909305

    This reminds me of the META [^1] II paper [^2]: > META II is a domain-specific programming language for writing compilers. It was created in 1963–1964 by Dewey Val Schorre at Unive…

  20. comment
    Comment #47804087

    Datomic was the reason I switched [^1] to Clojure as my primary language in 2014. It was a gamble, but it paid off in the end. I maintain that Clojure is the best AI-first language…

  21. comment
    Comment #47786547

    thx that looks much better, but I'll forget that syntax in the next 3 months. nowadays I am just casual commenter on HN spending points on contrarian views that I know will be down…

  22. comment
    Comment #47777334

    Your device is the ultimate edge. The next frontier would be running models on your wetware.

  23. comment
    Comment #47744230

    You need to curate your algorithm. Took me 10 years before I started blocking aggressively and now my feed is amazing with 90% bangers. Twitter is by far the best product in this s…

  24. comment
    Comment #47704857

    @dang, pleaaase can we get proper markdown formatting on HN? I tried adding two spaces after each line, but I don't want paragraphs between code

  25. comment
    Comment #47704831

    The inversion is really cool, e.g. > f = λa λb concat ["Hello ",a," ",b,"!"] > f "Jane" "Doe" Hello Jane Doe! then, > g = f "Admiral" > invert g "Hello Admiral Alice!" Alice