Max ⊶ New @[email protected]
@ProfMaxNew
Followers
1K
Following
3K
Media
33
Statuses
2K
Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Ann Arbor, MI, USA
Joined February 2022
Massive thanks to everyone involved in making ICFP/SPLASH OOPSLA 2025 a huge success. Special thanks to the amazing general chair @ilyasergey and extra special thanks to all the student volunteers who did a fantastic job. Goodbye, and hopefully see you next year in Indianapolis.
2
3
87
It makes perfect sense that they compose for free. This is very similar in CPS with a polymorphic answer type, which allows you to iterate and add additional layers of CPS. This trick also is at the core of compilation strategies for effect handlers, which also compose.
0
2
9
When bike-shedding syntax today, we realized that `max new` to construct objects (greatest fixed points) and `min new` to construct data (least fixed points) makes perfect sense @ProfMaxNew...
0
1
3
@krismicinski @RanjitJhala @satnam6502 @jon_barron @docmilanfar @SattlerTorsten @eccvconf Or the LICS way. Everyone gets accepts and weak accepts, so reject any paper that doesn't have only accepts
1
1
3
Happy to officially announce our OOPSLA 2023 paper "Gradual Typing for Effect Handlers" ( https://t.co/XLKfrvU8Yw) Extended version with the technical details is available on my website:
1
13
67
The proceedings of ICFP 2023 - PACM PL, Vol. 7, Issue ICFP has now been published in the ACM Digital Library:
dl.acm.org
1
25
63
📣 We're bringing the Midwest Programming Languages Summit (MWPLS) back! It will be held on Fri, 6 Oct in Ann Arbor, MI. Participation is free + there is travel support for students. Submit talk / posters by Sep 6, register by Sep 22! https://t.co/xPNSAgfU3n
mwpls2023.engin.umich.edu
1
23
53
"Continuing WebAssembly with Effect Handlers" will appear at OOPSLA '23. There's still time for edits (deadline 10th Sep). I'd appreciate comments and feedback on the draft 🙏 https://t.co/I4bkIKP7DM
arxiv.org
WebAssembly (Wasm) is a low-level portable code format offering near native performance. It is intended as a compilation target for a wide variety of source languages. However, Wasm provides no...
4
32
102
If anybody needs a backup to stay in touch, I'm rbohrer on cohost and ppl are welcome to look up my work email online to reach out if other methods go down
0
1
1
Finally joined bsky. Handle is rntz dot net, same as my website. Still on mastodon. Still hoping against hope that one and only one (up to interoperability; you might call this a universal property) of these things has critical mass in the long run.
0
1
4
I have a couple bsky invites, DM me. Of course, I can't read any replies. :(
0
1
0
📢📢Excited to join @Columbia as a tenure-track assistant professor! Bridging computer architecture, compilers, and operating systems, I enable efficient data center processing. If you're passionate about these domains, let's connect and make an impact together! @EE_ColumbiaSEAS
42
10
294
Today is a special session at MFPS on “categories of bidirectional processes” that I helped to organise It’s 2-4pm Eastern / UTC-4, aka 7-9pm UK time (I’ll be speaking online)
🎉Today is the first day of the joint MFPS/CALCO conference. 👩💻We have a great line of invited speakers, special sessions, and contributed papers planned. 🔗Online participation: https://t.co/8AsEtTQLmB 📧MP for discord link.
2
4
12
I think I'll be leaving twitter for real this time, but I've got 2 Bluesky invite codes so if you're fleeing and I know you I can let you in
0
0
3
I wrote a little thing about using types to compile dynamic languages and how it's not as simple as it may seem https://t.co/cPoyYSmvsN Please let me know what you think!
bernsteinbear.com
With a little effort, you can make your mypy-typed Python go zoom.
4
27
162
