Tessera
Folgen

Nicolas Roman Posner

@nrposner.com

data science / software engineering in NY; continvoucly morging; current pipeline: rust, agn disk channels, bevy, scientific integrity; writing @ nrposner.com, nicoroman.substack.com; no kings;

448 Posts161 Follower237 Folgt
For the Love of Missy@missybbbobtail.bsky.social · last wk.

Why I Bit You Mid-Pet 1. Too much affection. 2. Too little affection. 3. You moved your hand. 4. I was done. You weren't. 5. I was testing your reflexes. 6. You were petting in the wrong direction. 7. I remembered something you did in 2025. 8. Doesn't matter why. I make the rules. 9. I'm a cat.

Bild
American Museum of Natural History@amnh.org · 2w ago

Happy birthday to Vera Rubin, born on this day in 1928! An acclaimed scientist, Rubin's observations established the presence of dark matter in galaxies. She was elected to the National Academy of Sciences & awarded the National Medal of Science. Photo: NOIRLab, CC BY 4.0, Wikimedia Commons

A black and white photo of Vera Rubin measuring spectra at the Department of Terrestrial Magnetism at the Carnegie Institution in Washington, D.C. She is wearing a floral print dress and glasses.
c0nc0rdance@c0nc0rdance.bsky.social · 4w ago

Timeline cleanse: You're watching Mei & Kira, two sea otters (Enhydra lutris) at the Toba Aquarium in Japan, help clean the pool area after playtime. The reward is an ice treat. Enrichment activities like this promote mental wellness. Let's talk about the SUCCESS of sea otter conservation.

Robin Ryder@robinryder.bsky.social · 4w ago

I have just resigned from the board of "Statistics and Computing", along with 17 other Associate Editors. This was a difficult decision: this great journal has published many tremendous articles under the leadership of EiC Ajay Jasra, and before him David Hand, Gilles Celeux, and Mark Girolami.

Gergely Orosz@gergely.pragmaticengineer.com · last mo.

Google removed my article about the shameful collapse of events tech company Pollen (employees lied to by CEO Callum Negus-Fancey, salaries unpaid, a seemingly deliberate $3.2M customer double charge manually initiated by CTO Brad Wright). This island will be important: (cont'd)

Bild
rain 🌦️@sunshowers.io · 2mo ago

Update: iddqd is now formally verified*! * with limitations that are fundamental to this kind of formal verification, making it a complement to the existing layers of validation For more, see: oxide.computer/blog/iddqd-u...

Update 2026-06-16: Since publication, we’ve used Soteria to verify that iddqd's no-duplicate-index invariant holds under arbitrarily adversarial Hash and Ord implementations. Soteria is similar to Kani in spirit, though with different internals that make it more compatible with iddqd. Soteria is implemented as a symbolic execution engine that lets you declare points of nondeterminism in your code. (For example, within iddqd, we represent an adversarial Hash or Ord return value as nondeterministic, since we want to model adversarially bad user code.) Then, it: Compiles the Rust program into a form suitable for formal verification. Interprets this form until it reaches a point of nondeterminism, treating each such point as a symbol rather than a concrete value. Branches at each point where control flow depends on a symbol, validating that there is no UB and that the invariants specified by the program are upheld. A lot of the cleverness lies in how the possibility space is collapsed down to something manageable. For example, Soteria doesn’t have to enumerate every possible Hash value; rather, it only has to fork in places where control flow depends on the Hash value.
rain 🌦️@sunshowers.io · 2mo ago

iddqd, or the hardest kind of unsafe Rust. My first post for the @oxide.computer blog! Goes deep into the pitfalls of unsafe Rust and how to reason about it. A lot of labor went into the post -- please have a read! oxide.computer/blog/iddqd-u...

Haskell programming language@haskell.org · 2mo ago

The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities. There is no Haskell without the trans people who have shaped it through the years. This June is a month of celebrations, but the struggle continues. ✊🏳️‍⚧️λ

The trans flag with a greek lowecase lambda letter in black on it.
Mara Bos@mara.bsky.social · 2mo ago

Just like last year, we replaced a whole wall of movie posters with our own punny movie posters at the cinema where RustWeek 2026 took place. I designed seven new posters for this year's event. See the thread below 👇

Nine movie posters displayed next to each other.
John Coulthart@johncoulthart.com · 2mo ago

My illustration for Ray Cluley's story in Lovecraft's Brood. "Sideways" is about test pilots, an experimental aircraft and something monstrous that lurks in the upper atmosphere. I illustrated all the stories, it's a great collection.

A balck-and-white drawing of a test pilot in a silver flying suit staggering away from a crash site wreathed in flames.
TK (Takashi DY) Kozai@bioniclab.bsky.social · 2mo ago

🪼 Your tax dollars paid a scientist to squeeze jellyfish through cheesecloth. Osamu Shimomura processed tens of thousands on an NSF grant to understand why they glow. He found a protein that glowed green under UV light. Called it "green protein." Nobody cared. For decades.

Bild
jesse, 37@killgoldfish.bsky.social · 3mo ago

my gf works corporate and is on a training about AI and there's a word cloud for "what do you use AI for." the largest word by far is "Nothing" and the trainer is PISSED