Programmer, computer scientist, OpenBSD developer.

Kent, UK
Joined October 2008
Is anyone experiencing github sending webhooks with unexpected TLS version numbers? Today our webhooks started intermittently failing to send to our nginx instance... it's all a bit odd. #github #webhooks
2
1
358
Programming Language Implementation Summer School (PLISS) 2023 registration is open -- we have another roster of great speakers, and this PLISS is aimed at all junior researchers. I'm looking forward to it! pliss.org/2023/
4
12
43
6,386
Edd Barrett retweeted
A team at Oracle is currently being put together to develop static analysis tools. It's a niche area but an interesting one. If you have experience in or genuine interest that area, and good software development skills, it might be a good fit for you. DM me for more info.
1
185
Edd Barrett retweeted
Do I know anyone working at @datadoghq who knows what they are doing with PyPy? (One of their job listings mentions it: careers.datadoghq.com/detail… )
3
4
4
1,571
gefs: a good enough file system for plan 9 (*and maybe someday OpenBSD) orib.dev/gefs.html
1
4
13
908
I've been using fish as my shell for a couple of months -- it's very good! However, the default behaviour of `fish_add_path` is a security footgun: if you've ever used it without adding `-g` you should check your `$PATH` github.com/fish-shell/fish-s…
1
3
554
We have an open position in soft-dev for a software security researcher -- come and join us! tratt.net/laurie/blog/2023/s…
8
2
1,466
I'm heartbroken to share this news about our dear friend and colleague, @ChrisGSeaton.
105
198
172
914
Calling all BarCamp regulars and veterans. What advice would you give to someone thinking about coming to a BarCamp for the first time?
2
4
1
2
Fax from 3333 #emfcamp
I wonder if anyone going to #emfcamp could help me fix my Marantz Superscope CD-330 cassette recorder? It has an earth hum that I've been unable to track down. It's this one: petervis.com/Cassette_Tape_R…
2
3
A friend is looking to hire embedded C programmers to work (remotely from any country) on IoT and automotive systems. Experience with embedded systems, micro-controllers, and Linux/BSD is desirable, but not required. PM me if interested.
1
1
The ISMM'22 submission deadline has been extended: conf.researchr.org/home/ismm…
Come and work with us doing research on language migration with Python VMs! jobs.kcl.ac.uk/gb/en/job/036…
David Bowie Predicts the Impact of the Internet on Newsnight (1999)
468
3,170
714
15,153
I encountered a rewrite of an old classic windows game Lode Runner mmr.quarkrobot.com/ . Me and @DavidElliston made a bunch of levels back in 1995. Last night I was able to copy our original levels off my original 3.5floppy school disk. Let's play them; 26 years later!
1
5
Heya! I am recruiting a PhD student at CMU at the intersection of distributed systems and machine learning 😃 Application deadline: Dec 9! (GREs not req) If this could be you, feel free to reach out and to let me know to look for your application in the pile! RTs welcome 🤗 – at Pittsburgh, PA
16
239
1
387
Edd Barrett retweeted
If you're interested in doing a PhD in programming languages, we will have some scholarships again! If you like implementation stuff, interpreters, and compilers, or concurrency, talk to me! And, there are a few spots for non UK students, too! 🥳
23
50
This job on Python VMs in our research group closes on Nov 21st -- apply now, for fame and fortune! [Note: fame and fortune not guaranteed. Fun with programming languages, however, guaranteed.] jobs.kcl.ac.uk/gb/en/job/036…
8
11