• Sign in
  • Sign up
Elektrine
EN
Log in Register
Modes
Overview Chat Timeline Communities Gallery Lists Friends Email Vault DNS VPN
Back to Timeline
  • Open on types.pl

Edwin Brady

@edwinb@types.pl
mastodon 4.6.0-alpha.5+glitch

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

0 Followers
0 Following
Joined April 27, 2022
Pronouns:
He/him
Web:
https://type-driven.org.uk/edwinb
Shameless promotion:
https://tinyurl.com/TypeDD

Posts

Open post
edwinb
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
Edwin Brady
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
@edwinb@types.pl · Mar 30, 2026

You can tell I haven't been on social media much lately because it turns out I forgot what a bad idea it was to mention choice of first programming language to teach.

I promise you, we have enough opinions of our own without getting more from strangers on the internet... (Don't worry, I'm sure *your* opinion is the right one, though ;))

View on types.pl
13
0
0
0
Open post
In reply to
edwinb
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
Edwin Brady
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
@edwinb@types.pl · Mar 22, 2026
@koronkebitch this made me smile. PL people are the best :). Also may have been more inspiring than you realise.
View full thread on types.pl
3
2
0
0
Open post
edwinb
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
Edwin Brady
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
@edwinb@types.pl · Mar 21, 2026

I'm glad I mentioned LLMs yesterday because it was useful to be reminded that sealions still exist.

View on types.pl
9
0
0
0
Open post
edwinb
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
Edwin Brady
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
@edwinb@types.pl · Mar 21, 2026

Spotted on an afternoon out in Perth today. I'm not going to argue but I think this claim needs some peer review. Anyone willing to help?

View on types.pl
10
0
0
0
Open post
edwinb
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
Edwin Brady
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
@edwinb@types.pl · Mar 20, 2026

@dysfun@social.treehouse.systems Who would have etc

View on types.pl
social.treehouse.systems

gaytabase (@dysfun@treehouse.systems) - Treehouse Mastodon

2
0
0
0
Open post
edwinb
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
Edwin Brady
Edwin Brady
@edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

types.pl
@edwinb@types.pl · Mar 20, 2026

Today, thanks to a former PhD student, I learned that LLMs are terrible at generating Whitespace code: https://arxiv.org/pdf/2603.09678

Also today, I was invited (and I am accepting) to join a group on redesigning our undergraduate curriculum, which includes discussions on our choice of first programming language.

I am not saying that these things are related. I just happen to be mentioning them both at once because I saw them both today. You get a lot of characters in one toot after all.

What?

View on types.pl
arxiv.org
171
0
74
0

Media

313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: mail.elektrine.com:993

POP3: pop3.elektrine.com:995

SMTP: mail.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 09:46:34 UTC