Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Tony Garnock-Jones

@tonyg@pubsub.leastfixedpoint.com
  • Open on pubsub.leastfixedpoint.com

https://leastfixedpoint.com/

I like reflection and interpretation. I also like communication and resource management.

307 Followers
351 Following
18 Posts
Joined February 02, 2023
me:
https://leastfixedpoint.com/
also me:
https://eighty-twenty.org/
research:
https://syndicate-lang.org/
windmill-tilting:
https://preserves.dev/

Posts

Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Jul 28, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Wayland clown shoes: key repeat rate is not handled by the display server, but by each client toolkit independently. Predictably, many of them get it wrong, coupling input handling to display speed / frame rates, meaning large window damage regions on monitors with a lower refresh rate spuriously get key repeat rates drastically lower than smaller damage regions and/or higher refresh rates. No wonder people have started to care about "blazing fast terminals"! It's not that the terminal is slow, it's that the display protocol is fundamentally stupid!
0
0
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Jul 17, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
The mobile internet ecosystem has so much potential for communal benefit. For example, when using Google Maps, you're subtly and pleasantly invited to fill in a quick survey to describe travel conditions on the vehicle you're on. This helps everybody, in principle, and it's a low-cost and fun way to contribute something small to the community. There's power here. So much power from bottom-up semi-gamified contribution like this: people like helping each other, people like being useful. Millions of people, collaborating of their own free will to build something wonderful together. But that power flows directly toward Google, not toward the community. We get some fraction of our labour returned to us as value, an improved mapping and routing service, but in general one has to imagine that the primary beneficiaries of systems like this are the corporate interests that put them in place. As sociopathic profit-maximizers, why else would they do it? They are unable to stop themselves from being evil, after all. This suggests two lines of thought: first, a modest proposal of sorts. As the mobile internet ecosystem is, or should be, public infrastructure, could we "nationalise" Google? As it has metastasised beyond the bounds of any given nation, perhaps something stronger is warranted. As the generations that founded the UN leave us behind, the UN itself seems to be losing its authority and focus; but I can't think of any other sensible steward for all-humanity public infrastructure. Could we gift Google to the UN? Perhaps the revenue it brings could solve the UN's myriad funding woes. On the other hand, perhaps it would lead to a reverse-takeover of the UN itself, in the same way that DoubleClick ate early Google itself alive from the inside. Advertising agencies seem to be dangerous that way. (Mozilla beware.) But second, a "free software" alternative to the dominant ecosystems would do well to pay attention to the potential for communal benefit. Rather than focusing on the device, and local apps, let's lift our ambition to our terminals being personal, yes, but part of a larger whole.
0
0
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Jul 06, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @david_chisnall@infosec.exchange
@david_chisnall@infosec.exchange It was the "SAFE" project ("A Semantically Aware Foundation Environment for CRASH"). At the time I was investigating implementing system services like DNS, SSH etc in high-level languages; it ended up being a precursor to Syndicate, and some of the Syndicate case-study applications inherit from the code written for CRASH/SAFE. Went to one big meeting in 2014 in Jacksonville. Tried to demo our stuff but flaky power connectors more or less ruined the demo!
0
1
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Jul 06, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @david_chisnall@infosec.exchange
@david_chisnall@infosec.exchange Oh cool, CHERI was funded by the CRASH project too? The first couple of years of my PhD were supported by CRASH in part. (Nowhere near as impactful as CHERI!)
0
1
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Jun 14, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Boosted by disregard Joe Groff @joe@f.duriansoftware.com
Replying to @joe@f.duriansoftware.com
@joe@f.duriansoftware.com https://raw.githubusercontent.com/bitemyapp/papers/refs/heads/master/The%20Two%20Dualities%20of%20Computation%3A%20Negative%20and%20Fractional%20Types.pdf
0
0
1
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · May 29, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @tonyg@pubsub.leastfixedpoint.com
@rntz@recurse.social As the cobbler's children go unshod, so we digital natives get repeatedly pwned because "no thanks, we are too busy"
0
0
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · May 29, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @tonyg@pubsub.leastfixedpoint.com
@rntz@recurse.social Understandable ofc, no one has time to invent a usable grafting of ocaps onto the horror of the actual Unix security model as she is spoke
0
1
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · May 29, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @rntz@recurse.social
@rntz@recurse.social You'd think for people swimming in fancy types they'd have considered using, say, some kind of effect system in conjunction with ocaps. Ah well.
1
1
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · May 13, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com

By treating ChatGPT and similar LLMs as being in any way concerned with truth, or by speaking metaphorically as if they make mistakes or suffer “hallucinations” in pursuit of true claims, we risk exactly this acceptance of bullshit, and this squandering of meaning.

Such a good paper.

M. T. Hicks, J. Humphries, and J. Slater, “ChatGPT is bullshit,” Ethics and Information Technology, vol. 26, no. 2, p. 38, June 2024, doi: 10.1007/s10676-024-09775-5.

0
2
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Apr 23, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @cwebber@social.coop
@cwebber omg that ad copy 🤮🤮🤮
0
0
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Apr 20, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @ShadSterling@mastodon.social
@ShadSterling Ah that's rough. Sympathies!
0
0
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Apr 20, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @Fiona@blahaj.zone
@Fiona They are quite flexible, yes. I don't know whether not having done a postdoc is a problem or not, but it doesn't hurt (assuming you have an up to date CV etc) to apply! Always apply - the worst that can happen is that you're disappointed :-)
0
0
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Apr 20, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com

Any academics I follow interested in moving to Europe? My department here in Maastricht, Netherlands, is hiring:

Associate Professor in System and Network Security, open until May 10, 2026
https://vacancies.maastrichtuniversity.nl/job/Maastricht-Associate-Professor-in-System-and-Network-Security/1357701057/

Assistant Professor in Computer Systems, open until May 10, 2026
https://vacancies.maastrichtuniversity.nl/job/Maastricht-Assistant-Professor-in-Computer-Systems/1357700157/

Both of these are for the equivalent of tenure-track, i.e. after a 18-month probationary period, you have a permanent contract.

I'm happy to tell anyone interested about the university, the department, the role, the city of Maastricht, or about moving to the Netherlands as an English-speaker.

#GetFediHired #Vacancy #Jobs #Hiring

0
9
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Apr 17, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com

You know how ACLs/RBAC don't compose? Whereas object-capabilities do? We see this in-the-small with Unix user/group IDs. Trying to mount virtiofs from host-to-guest, everything is done by uid/gid, not by name, and if there's any mismatch, you get to keep both pieces. Exactly the same problem as trying to reconcile two ACL/RBAC databases across services, only slightly simplified by having at least a compatible schema and logical arrangement.

0
2
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Apr 15, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @jfred@jawns.club
@jfred@jawns.club This is why Preserves is the way it is, with its "embedded" values. It's directly analogous to unquote
2
0
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Mar 22, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @jcoglan@mastodon.social
@jcoglan Yep. I've experienced similar problems recentlyish: More pitfalls regarding JavaScript's non-monadic promises
0
0
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Mar 18, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com

I'm one of these "in principle, a VM can contain a program" guys by nature so there's a bit of cognitive dissonance wrt the actual-reality "in practice, a VM usually contains a program but VM breaches and bugs are certainly not unheard of and VM escape is a depressing reality"

0
1
0
0
Open post
tonyg
Tony Garnock-Jones @tonyg@pubsub.leastfixedpoint.com · Feb 26, 2026
Tony Garnock-Jones
@tonyg@pubsub.leastfixedpoint.com

https://leastfixedpoint.com/ I like reflection and interpretation. I also like communication and resource management.

pubsub.leastfixedpoint.com
Replying to @Wifi_cable@chaos.social
@Wifi_cable@chaos.social It's a private bus. A local bus would be 127 dot something.
3
0
0
0

Remote instance

pubsub.leastfixedpoint.com
Open on original server
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 02:27:37 UTC