Go's execution tracer is a woefully underutilized tool. It contains tons of information about what is happening at any given moment that you won't get with a profile. In addition to showing flight recording capabilities, this post provides a nice example of how to use tracing to diagnose a problem.

I 💜'ed this talk at Oxcon last week. As someone who studies'ish SE at CMU, it frames programming in the large (vs small) in such a present, grounded reality.

The world’s largest federated conference in logic & automated reasoning, FLoC 2026 (www.floc26.org), will be in Lisbon! Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...

Today is the 30th anniversary of Hackers

The systems group decided to welcome @tonofcrates.bsky.social to @browncsdept.bsky.social by filling his office with a … ton of crates. Way to get him, Carolyn and Justus!

It's kinda insane how if you really love Programming you should probably not go into the current software development industry because you are certainly not gonna be doing enough Programming to be content with your life.

"The long season of langdev" - @fogus.me blog.fogus.me/langdev/long...

New Tool: xstack - Completely Passive eBPF Linux Stack Profiling Without Any Tracepoints tanelpoder.com/posts/xstack...

Here we go! Had a great time learning about this with @tenderlove.dev bernsteinbear.com/blog/linear-...

I read this article today and quite liked it www.drewlyton.com/story/the-fu... An analogy came to mind when reading it: if the cloud is feudalism, self hosted is sustenance farming.

The S in MCP stands for security

New Bismuth VM blog post, detailing the life cycle of a hello world program for Bismuth from high level Bronze code to text-based IR, transpiled C, binary IR, and finally bytecode: enikofox.com/posts/hello-... #BismuthVM #PLDev

new blogpost about protobuf perf (work related!) mcyoung.xyz/2025/07/16/h...

“consider how [GitHub] has changed since 2020” is the most quietly damning line I’ve read in quite awhile

most devs' conception of static analysis is just type checking bc literally every good static analyzer is proprietary and either used by FAANG or niche company w/ regulatory requirements

Okay this is cool as hell: github.com/johnnyjoy/ng... Gonna try it with the Anubis docs site

THEM: so what are the @monktoberfest.com talks like? ME: you know how there's one school of thought that says all people need is a CS degree, and another that says CS degrees can be complemented by a liberal arts education? THEM: yes ME: it's the liberal arts education, not the CS degree

Are you in Boston and want to hang with #Python people? Boston Python's project & collaboration night is June 24th. It's an informal gathering to talk together, work together, learn from each other, network, whatever. Tell your friends :) www.meetup.com/bostonpython...

Some local #ElixirLang & #Erlang (and general BEAM) news: I’ve taken over as organizer of the Portland Elixir & Erlang User Group, and am planning our first new event in July.

A new blog post! You can implement worst-case optimal joins in databases that only support trees of binary joins. In fact, we did it ten years ago and didn't notice. Oops. Binary joins are not the problem; it's query plans that use *only* binary joins (and not counts). github.com/frankmcsherr...

Here we go!

In this ongoing work, we provide a bandwidth efficient solution to State-based CRDT reconciliation with no need for external metadata. We leverage recent developments in set reconciliation after decomposition of CRDT states into sets. Findings also improve general set synch. arxiv.org/abs/2505.01144

My book now has a cover! It is working code in two of my languages (note the ternary codes at the bottom) and references the history of photographers emboldened to include cloud pics in their practice, something I've been preoccupied with since grad school. mitpress.mit.edu/978...

apparently i'm presenting at rustweek now! come listen to me gab about the challenges uv has shipping rust binaries to million of python users' machines! rustweek.org/talks/aria/

#Astral is hosting a happy hour at #PyCon this year! RSVP if you want to drop by and say hi partiful.com/e/Dcrv6XA8Pj...

every year on patriots' day we commemorate the “here comes the pizza” incident from 2007, in which don orsillo and the late great jerry remy grow increasingly deranged trying to understand the motives of the man who hurled a slice of pizza at a guy attempting to catch a foul ball #redsox 🍕 ⚾️

I am planning to release Jiff 1.0, a datetime library for Rust, this summer. After that, I do not plan to make breaking changes, possibly indefinitely. I would LOVE LOVE LOVE more experience reports before stabilizing Jiff. Tell your friends. github.com/BurntSushi/j...

new blog. i am angry about target triples mcyoung.xyz/2025/04/14/t...

MLB needs to fix its blackout policy. There's no good reason I should be allowed to watch the White Sox.

The VIMPL #workshop is once more co-located with #prog25! VIMPL provides a forum to discuss the (re)emergence of value independence in programming languages, in applications, for optimization, and its challenges. Submission deadline: April 11, 2025 2025.programming-conference.org/home/vimpl-2...

This is an amazing practical security tool and you need to know about it and use it. Safe API for directory traversals.

I'll be speaking on Jepsen at Bug Bash (DC, April 3-4), and Systems Distributed (Amsterdam, June 19-20). Come join! https://bugbash.antithesis.com/ https://systemsdistributed.com/

How to divide by 1,000,000,000 in 1500 words github.com/illumos/illu...

I wrote my first blog post at work with Maxime! It's about interprocedural static analysis railsatscale.com/2025-02-24-i...

Jamie has some very good ideas for more interesting tech talks Talk about failures, talk about inability to replicate a famous assumption, talk about things we expect to work that are actually just broken, etc. www.scattered-thoughts.net/writing/othe...

If you are researching #programmingLanguages, submit to #SCLIT at #prog25 Submission deadline: March 7, 2025 All aspects of computer languages are relevant including but not limited to theory, implementation, processing and analysis tools. 2025.programming-conference.org/home/sclit-2...

I see people saying this sort of thing often, and quite frankly it makes me sad. The truth is, more people are making good adventure games now than were ever made during the “golden age” of the 90s. For example: 🧵

YO, for anyone into Severance, and ambient music, Apple had ODESZA do a fucking 8 hour long themed "Music To Refine To" set, and its freakin great. www.youtube.com/watch?v=JRnD...

It bears repeating: Lego Masters Australia is BY FAR the superior Lego Masters.

♪ Hold me closer, tiny pointeeer ♫ arxiv.org/abs/2111.12800

I compiled (heh) some stuff about generating SSA: bernsteinbear.com/blog/ssa/

Idea to create a rival podcast to Type Theory Forall, focusing on untyped programming languages like lisp and prolog It would be called "Judgment Free Zone" and the logo would obviously be (⊬)

New blog post: Five coding hats → dubroy.com/blog/five-c... Yeah it's kinda goofy, but maybe also useful?

The program is up and tickets are live at www.hytradboi.com/2025/#program. I'll keep updating this thread as the last 10 talks hit camera-ready.

OpenAI right now

Marco Montes de Oca kicks off the reboot of #PapersWeLove Boston!

This is what I’m working on at Astral! Very excited to join this amazing team 🎉💥

I cut my teeth on a legacy Pick OS system in high school. My dad still works on it to this day!

We're continuing to grow the Astral team, and every hire we make is like a dream hire. I don't understand how we're doing it but it rules. This time, it's @gankra.bsky.social! Most recently CTO at Axo, author of cargo-dist, author of The Rustonomicon, Rust 1.0 team member, and more.

I wrote up some notes on different approaches for generating HTML from Go: dcreager.net/languages/go...