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

Max B

@tekknolagi@mastodon.social
mastodon 4.8.0-nightly.2026-10-06
  • Open on mastodon.social

Let's chat about compilers

0 Followers
0 Following
16 Posts
Joined October 20, 2020
website:
https://bernsteinbear.com
github:
https://github.com/tekknolagi/
bsky:
https://bsky.app/profile/bernsteinbear.com
Open post
Max B @tekknolagi@mastodon.social
· 6mo ago

In which I finally make sense of value numbering

https://bernsteinbear.com/blog/value-numbering/

bernsteinbear.com
15
0
5
0
Open post
Max B @tekknolagi@mastodon.social
· 4mo ago

New linear scan register allocator in ZJIT by @tenderlove@mastodon.social !

https://railsatscale.com/2026-05-27-a-new-register-allocator-for-zjit/

railsatscale.com
7
2
2
0
Open post
Max B @tekknolagi@mastodon.social
· 4mo ago

I finally wrote a little thing about a compiler thing that I don't really have a name for but lots of people do

https://bernsteinbear.com/blog/partial-ssi/

bernsteinbear.com
8
0
2
0
Open post
Max B @tekknolagi@mastodon.social
· 5mo ago

People keep saying stuff like "Ruby is a Smalltalk" so I think it would be fun to implement a Smalltalk with Ruby syntax. Or on top of Ruby VM. Or both?

5
1
0
0
Open post
Max B @tekknolagi@mastodon.social
· 4mo ago

Have just gone to the shop to buy Triscuits—or as I like to call them, Wheat Thicks

3
0
0
0
Open post
Max B @tekknolagi@mastodon.social
· 5mo ago

RE: https://mastodon.social/@tekknolagi/115879774232754368

Bumping this thread: is this separation logic? Some local reasoning thing? It feels very Hoare triple but I actually can't find anything about this because I have no idea what I'm talking about

mastodon.social
3
1
0
0
Open post
Max B @tekknolagi@mastodon.social
· 4mo ago

Incredibly fortunate to have noticed that a Joe's pizza opened in my neighborhood, gone in, gotten a slice, and learned that it opened today!!! Life is good

2
0
0
0
Open post
Max B @tekknolagi@mastodon.social
· 4mo ago

I got unreasonably attached to Quip when working at FB. Can't believe Salesforce is shutting it down. :(

2
1
0
0
Open post
Max B @tekknolagi@mastodon.social
· 5mo ago

I have somehow accidentally substantially broken the laundry machine in this very nice hotel by feeding it a 50 Yen coin. Two men are currently arguing about how to fix it. :(

2
1
0
0
Open post
Max B @tekknolagi@mastodon.social
· 5mo ago

If you have not been to The Helmand in Cambridge, you simply must go at once. Their food is always spectacular but I was there again last night and the guy who makes their fresh bread just kept delivering us fresh bread straight from the oven with a huge smile every time. 1/

1
1
0
0
Open post
Max B @tekknolagi@mastodon.social
· 23mo ago

A brief retrospective: @recursecenter@mastodon.social is everything I thought and hoped it would be. I really loved meeting and working with people there. I got to learn about a bunch of really interesting projects of all different varieties. Vibes were excellent. Highly recommend.

14
0
2
0
Open post
Max B @tekknolagi@mastodon.social
· 21mo ago

This has been the most productive writing year I have ever had. 18 blog posts, 2 ish papers, editing others posts.

I can partially attribute it to grad school misery but also @recursecenter@mastodon.social was an amazing place to write.

Here's to more writing in the future.

10
0
1
0
Open post
Max B @tekknolagi@mastodon.social
· 37mo ago
Replying to
@b0rk@social.jvns.ca Going to reference this in my course the next time I teach it. It's great. Thank you.
1
0
0
0
Open post
Max B @tekknolagi@mastodon.social
· 4mo ago

I try to sell one (1) thing on Poshmark and all of a sudden I am drowning in spam and phishing. What the heck

0
0
0
0
Open post
Max B @tekknolagi@mastodon.social
· 37mo ago
Replying to
@Azeria@mastodon.social wooo go tom!
0
0
0
0
Open post
Max B @tekknolagi@mastodon.social
· 32mo ago
Replying to
@taber@woof.group fyi your link is broken
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: 03:09:34 UTC