🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

One cool thing about JavaScript is that arrays are just objects, so they can be used as a sparse hash table: > x = [] > x[1e100] = 'hi mom' Another cool thing about JavaScript is that all numbers are floats > x[0x100000000000001] = 'abc' > x[0x100000000000005] 'abc'

Congratulations!

ROWS we figured out ROWS turns out it is just MORE LET POLYMORPHISM bernsteinbear.com/blog/row-poly/

yo dawg. i heard you like compilers. CF Bolz-Tereick made a compiler compiler for... optimizing compilers pypy.org/posts/2024/10/… (In all seriousness, it's a great post and has a bunch of interesting features like compiling pattern matching!)

Future MBTA Green Line trains will have a "darkness to them that no other person can fix."

i have learned the term "orthogonal persistence" and i am excited to put a name to the thing that i keep thinking about

I'm on the other social network - link in bio Still x-post here mostly but seems to be same or better discussion elsewhere Come join us!

My colleagues just published a paper at ECOOP 2024 on static basic block versioning in the context of ahead-of-time compilers, continuing our previous work on lazy basic block versioning for JIT compilers :) The PDF is available here: drops.dagstuhl.de/storage/00lipi…

Has anyone written something like "Algorithm W and Algorithm J are the same, actually" that does a side-by-side of J and W where if you make a Haskell programmer write J using a monad with do-notation you basically get W?

A brief retrospective: Recurse Center 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.

Made a little something for my talk next week at Homebrew Systems Club. It's about running bytecode interpreters on the GPU. It'll be fun, come join us!

Accepted at VLDB '25, "Datalog with First-Class Facts," we present a massively-parallel Datalog engine geared towards computing over tree-structured data. (github.com/harp-lab/slog-…). We will post a preprint soon.

Found out a blog post of mine was made required reading for a lecture on type systems :D

You can use C-Reduce with any language bernsteinbear.com/blog/creduce/

POPL 25 has some superb paper titles: * "All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants" * "Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks"