Hi! We build fast verilog simulators using just in time compilation. Our simulator outperforms existing verilog simulators by up to x100. verijit is a project by @cfbolz.bsky.social and Can Joshua Lehmann.
Check out out demo video here: www.
youtube.com/watch?v=PXgUsEjvAOY
Posts by Stefan Marr
Packrat Parsing at the Speed of Wasm
by @dubroy.com
Another MoreVMs'26 talk. Sound isn't great unfortunately, but it's still a very interesting topic for anyone building languages for the modern web!
youtu.be/C2QxWtqlq9E
Packrat Parsing at the Speed of Wasm
by @dubroy.com
Another MoreVMs'26 talk. Sound isn't great unfortunately, but it's still a very interesting topic for anyone building languages for the modern web!
youtu.be/C2QxWtqlq9E
We are going to put some of the MoreVMs'26 talks online.
First up:
How Many Compilers Is Too Many? A Look at V8’s History, Tradeoffs, and Architectural Choices
By Leszek Swirski from Google's V8 team
youtu.be/LpJ79MxplUk
Programování není jen kód, je to kultura! 💻📜
Rektor UK Jiří Zima udělil prestižní Cenu Bedřicha Hrozného za tvůrčí počin a my máme obrovskou radost, že ji získal docent Tomáš Petříček z naší @mff.unikarlova.cuni.cz! 🏆
We are going to put some of the MoreVMs'26 talks online.
First up:
How Many Compilers Is Too Many? A Look at V8’s History, Tradeoffs, and Architectural Choices
By Leszek Swirski from Google's V8 team
youtu.be/LpJ79MxplUk
C interpreters underlie many of our most widely used language implementations -- but they're slow. Wouldn't it be great if we could turn them into JIT compiling VMs? This video shows what happens when we do just that to the normal Lua VM (first) and "yklua" (Lua w/JIT, second).
I'm starting at Datadog today!
Just received a Most Notable Paper Award for our paper “Cross-language compiler benchmarking: are we fast yet?” published at the Dynamic Languages Symposium 2016.
Congratulations to my co-authors @stefan-marr.de and Hanspeter Mössenböck!
GraalWasm just got faster! 🔥
The new threaded interpreter delivers significantly better interpreter performance. In interpreter benchmarks, total execution time is reduced by 5-40%!
Details: github.com/oracle/graal...
Bar chart comparing performance improvements across three technologies: JSON shows 15.6ms (v17) reduced to 0.35ms (v18), a 44.6x speed increase; LiquidHTML shows 2,250ms (JS) reduced to 36ms (Wasm), a 62.8x speed increase; and ES5 shows 3,308ms (JS) reduced to 55ms (Wasm), a 60.3x speed increase. Blue bars represent 'Before' measurements and green bars represent 'After' measurements
New post on the @ohmjs.org blog —
Inside Ohm's PEG-to-Wasm compiler
→ ohmjs.org/blog/2026/03...
v18 is now more than 50x faster for real-world grammars while using about 10% of the memory 🔥
…this post goes into the details of how it's built.
Interesting theme that came up in a few talks (incl. mine) was flat/packed tree representations.
Michael Vollmer (Univ. of Kent) has done tons of interesting work in this area: recurial.com
Less than a week until ‹Programming› 2026 in Munich (March 16–20)!
What’s ahead:
- 4 days of deep-dive sessions.
- Workshops including MoreVMs, PX/26, SCLIT, VIMPL, and Substrates.
- Networking in the heart of Bavaria.
We can’t wait to see you there!
Final details: 2026.programming-conference.org
If you fix your writing, you don't need to fix all possible tools...
No to unnecessary abbreviations!
Yes to clear and unambiguous writing!
If I notice it in my own writing I will try to make an effort to avoid the need for the indirect construct.
Yeah... I ran out of characters and edited it down, but yes, author names have their issues, too, but, in the context I was thinking of it's still better than having to remember abbreviations. At least for me.
And indeed, it's not like there is an easy solution that fits all cases,but if I...
Project name, name of the technique, author name, or similar, and then a citation as true parenthetical (i.e. it can be omitted without changing meaning).
It's something I think of as "indirect writing". There is something one could say instead to avoid putting the burden on the reader.
Even if that would be the case, that doesn't scale (to all tools). And if I want to read on paper, to avoid getting sucked into shit posting on the internet, it also has no chance of working.
I hate having to consult a decoding table when reading dense text.
That's as true for abbreviated author names or numbers as it is for "Greek" letters instead of names I may have a chance to remember.
It's also true for general abbreviations. A few can be ok. Too many and I'll probably get lost.
Oh wow, someone is scraping researchr and sends "we'll organize your travel" spam. Ugh.
The deadline of the ICOOOLPS workshop is soon!
Want to talk about language implementation challenges, experiences, and/or research?
It will be in sunny Brussels end of June!
2026.ecoop.org/home/ICOOOLP...
The deadline of the ICOOOLPS workshop is soon!
Want to talk about language implementation challenges, experiences, and/or research?
It will be in sunny Brussels end of June!
2026.ecoop.org/home/ICOOOLP...
A bit late and not yet finalized, but our program for MoreVMs'26 is online.
Early registration deadline is in a few hours, but will remain open afterwards still.
Join us in Munich for a day of talks around language implementation!
2026.programming-conference.org/home/MoreVMs...
A bit late and not yet finalized, but our program for MoreVMs'26 is online.
Early registration deadline is in a few hours, but will remain open afterwards still.
Join us in Munich for a day of talks around language implementation!
2026.programming-conference.org/home/MoreVMs...
Final 24h! Early bird for #prog26 ends tomorrow, Feb 20. Don't miss the art & science of programming in Munich (Mar 16–20)!
Register: 2026.programming-conference.org
Submit to the Substrates workshop: 2026.programming-conference.org/home/substra...
ISMM (International Symposium on Memory Management) is going to hosted at PLDI'26. Please consider submitting your awesome papers on memory management by 27th March:
conf.researchr.org/home/ismm-20...
Overheard some non-technical people:
"Oh, that's all AI, I wouldn't touch that."
It was about some finance scam app...
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.
In about a month, on March 9th, I'll give my inaugural lecture.
I'll probably complain about the complexity of modern programming language implementations...
stefan-marr.de/2026/02/prog...
We are organizing the third edition of the "Fuzzing and Software Security Summer School 2026", at NUS on 26th–29th May 2026. We have a stellar set of speakers and will also have a Hackathon. Please share, and/or consider joining! fuzzingsummerschool.github.io/index.html