Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Colin

@csgordon@types.pl
mastodon 4.8.0-alpha.2+glitch
  • Open on types.pl

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics)

37 Followers
988 Following
11 Posts
Joined April 15, 2022
homepage:
http://csgordon.github.io
pronouns:
he/him
languages:
english, furchtbares Deutsch, français abominable
linguistics alt:
@csgordon@lingo.lol
Open post
Colin @csgordon@types.pl
· 38mo ago

Look, I'm all in favor of switching away from Zoom's new "we'll train our AI on all your meetings" policy and to robust open source alternatives like Jitsi or Big Blue Button, but can we please acknowledge that "you don't have to trust anyone, just read the source" is not actually legitimate advice for projects with a million lines of code plus dependencies, *even for highly experienced developers*?

12
0
1
0
Open post
Colin @csgordon@types.pl
· 38mo ago

Yes, Pennsylvania (annual rainfall 1-1.5m roughly evenly distributed throughout the year) definitely looks like this clearly artificial desert picture

2
1
0
0
Open post
Colin @csgordon@types.pl
· 38mo ago

@krismicinski @regehr@mastodon.social I mean, it's an official supported platform for Debian and FreeBSD, and you can buy boards akin to RPis pretty easily (https://mangopi.org/mqquad), so, I think it's a thing now

mangopi.org

mqquad [welcome to see widora.cn]

2
2
1
0
Open post
Colin @csgordon@types.pl
· 46mo ago
Replying to
@geomblog@mastodon.social @vijay@discuss.systems projects over a certain size frequently include funds specifically for paying a project manager, and I believe the NSF explicitly requires this for large and expedition grants
2
0
0
0
Open post
Colin @csgordon@types.pl
· 38mo ago
Replying to
@gparmer@discuss.systems @krismicinski @regehr@mastodon.social crap I misread that page, I knew they were using only Allwinner D1s for a while, but didn't recognize the numbers and thought they added newer chips; I thought mango pi was all RISC-V
1
0
1
0
Open post
Colin @csgordon@types.pl
· 38mo ago

@regehr@mastodon.social @krismicinski this is very true. But this is also the first architecture I can think of where it's easier for hobbyists to get an interesting (small but not microcontroller) board than it is to get a really powerful board, and I wonder what the long-term effects of that will be, could be interesting.

1
3
0
0
Open post
Colin @csgordon@types.pl
· 38mo ago

@regehr@mastodon.social @krismicinski "reasonably powerful" is questionable; the board I linked is roughly like a raspberry pi with 1gb of RAM, quad core. Easy to get to play around with or port to (some OpenBSD folks organized a purchase of a pile of these for porting)

1
0
0
0
Open post
Colin @csgordon@types.pl
· 38mo ago
Replying to
@alilly@solarpunk.moe the one time I tried a console PDF viewer the image quality was, as expected, not great. But the real killer is all these JS-heavy websites, I tried using links and lynx again briefly while trying to fix an X setup problem on an old machine recently, and... almost no sites are navigable that way, they put too many random links everywhere to find anything (makes me sad for folks using screen readers...)
1
0
0
0
Open post
Colin @csgordon@types.pl
· 38mo ago

I've spent most of this evening #listening to
https://breakofreality.bandcamp.com/album/the-sound-between-5-track-acoustic-ep-2006

types.pl
0
0
0
0
Open post
Colin @csgordon@types.pl
· 38mo ago
Replying to
@pkhuong@discuss.systems @regehr@mastodon.social @krismicinski fragmentation in the ISA implementation, or just expected stuff like SoC features?
0
1
0
0
Open post
Colin @csgordon@types.pl
· 47mo ago
Replying to
@emilymbender@mastodon.social I use Tusky on Android, which supports the bookmark feature like the web interface
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

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: 13:56:05 UTC