starting today all vals run at least 60% faster

vals with lots of imports like Stephen Olsen's traces runs 3.5x faster

Super excited to be speaking about IPVM at J On The Beach in a couple weeks! 🎉🇪🇸✨

What is the state of the art for fuzzing service level APIs. One work that I know of is Restler: microsoft.com/en-us/research…. What are the others and more recent/scalable approaches? cc. Rohan Padhye Manuel Rigger FuzzingLabs

1/ For several years we've been building Forge, a pedagogically-focused tool to teach formal methods. Here's our first write-up! As the name suggests it's a tribute to Alloy, but we're innovating on several fronts:
blog.brownplt.org/2024/04/21/for… ↵

I finished the thing. natureofcode.com

Fun fact: the discovery of NetKAT came about, in large part, due to Arjun Guha wrestling with the compiler correctness proof for our PLDI ‘13 paper and deciding to model our DSL in terms of a semiring.

Built a little tracing library for val.town. saolsen-traces.web.val.run/v/saolsen/widg…

Made a little sqlite-backed opentelemetry exporter and a visualizer to go with it.
val.town/v/saolsen/tele…

1/ Once you look past syntax and 'paradigms', many programming languages (Java, Python, Racket, …) share a common semantic core. But students seem to understand it very poorly, which leads to endless confusion (as often seen on here). What to do? ↵
blog.brownplt.org/2024/04/12/beh…

Obviously, Kindergarten Cop!

Otherwise, let's go with Repo Man!

inject it in my veins

I work here and seeing all the improvements listed out still surprised me. There have been so many! Please consider becoming a member so that we can keep improving the site and delivering the content that you (presumably) love

Here's Paul Thomas Anderson talking about Robby Müller being the greatest at night time cinematography

For the GOAT Robby Müller's birthday, I have to post Wim Wenders talking Paris, Texas cinematography from his DVD commentary. I wish Robby could have shot Perfect Days.

All good things must come to an end. Today I'm sad to say goodbye to Fission

It was an audacious company from the start, and I wouldn't trade the experience for anything. I'm so grateful for the past 5+ years getting to work on interesting things with *awesome* people 💜

We just posted a farewell to our blog about winding down operations of the company fission.codes/blog/farewell-…