Viewing profile — pgt
pgt
HN member- Joined
- Wed, Mar 05, 2014, 10:49 PM UTC
- HN karma
- 3,645
- Public activity
- 930 items
- HN profile
- View on Hacker News ↗
About pgt
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
-
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.
-
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…
-
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…
-
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…
-
comment
Comment #48788984
[flagged]
-
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…
-
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)
-
comment
Comment #48709594
This is such an obvious feature for Glassdoor, but needs verification to avoid abuse.
-
comment
Comment #48610963
In case you want to view the menu, press Tab. Click outside menu items to resume game.
-
comment
Comment #48592179
Only a fool would enter their name in this.
-
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…
-
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…
-
comment
Comment #48423201
AI threatens the programmer identity.
-
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…
-
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/…
-
comment
Comment #48177696
Iocaine powder is a fictional, odorless, and tasteless poison from The Princess Bride.
-
comment
Comment #48125592
Not a Rogue-like specialist, it's hard – I haven't made it out of level 1 yet.
-
comment
Comment #48083178
If query strings are banned, tracking parameters will simply move to the URL, or use `?t=` & `?h=` if those are whitelisted.
-
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…
-
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…
-
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…
-
comment
Comment #47777334
Your device is the ultimate edge. The next frontier would be running models on your wetware.
-
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…
-
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
-
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