Eric Eide's Avatar

Eric Eide

@ericeide.bsky.social

Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements

513 Followers  |  663 Following  |  495 Posts  |  Joined: 20.11.2024
Posts Following

Posts by Eric Eide (@ericeide.bsky.social)

Post image

Here is a limit that converges to 𝜋 squared.

01.03.2026 16:51 — 👍 1    🔁 0    💬 0    📌 0

🔜 A quick reminder that the POWDER team will hold online office hours on Friday, February 27. Sign up for an appointment—

26.02.2026 15:36 — 👍 1    🔁 1    💬 0    📌 0

Congratulations!

25.02.2026 18:51 — 👍 1    🔁 0    💬 1    📌 0
Post image

Made the cover of @acm.org with "A Decade of Docker Containers", recapping much systems work! Docker grew so fast in those early days that we never got a chance to write an academic paper about it, so this has been a long time coming cacm.acm.org/research/a-d... w/ @justincormack.bsky.social djs55

24.02.2026 23:01 — 👍 61    🔁 14    💬 4    📌 1
Post image

Easily one of the top charts of all time

24.02.2026 23:06 — 👍 701    🔁 173    💬 26    📌 47
Preview
Racket v9.1 _posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.1 is now available from https://download.racket-lang.org/. As of this release:: Documentation organization and navigation...

Racket - the Language-Oriented Programming Language - version 9.1 is now available from download.racket-lang.org

See blog.racket-lang.org/2026/02/rack... for the release announcement and highlights.

24.02.2026 08:15 — 👍 11    🔁 3    💬 1    📌 0

check warp engine light won't turn off

24.02.2026 23:58 — 👍 295    🔁 43    💬 20    📌 3

WebRacket
A Racket to WebAssembly compiler.
Build practical browser applications with Racket.
soegaard.github.io/webracket/

23.02.2026 20:36 — 👍 8    🔁 4    💬 0    📌 0
Preview
Result from fuzzing with `csmith` and `yarpgen` · Issue #227 · anthropics/claudes-c-compiler csmith and yarpgen are random C program generators, here we simply iterate though random seed 0 to 100 and compare the random program's output with GCC, ideally they should be identical. Done in De...

Csmith versus a vibe-coded C compiler: github.com/anthropics/c...

23.02.2026 04:18 — 👍 2    🔁 0    💬 0    📌 0

I hope you feel better soon!

23.02.2026 02:46 — 👍 1    🔁 0    💬 0    📌 0

I bet it involves opening dams in central California.

22.02.2026 00:08 — 👍 4    🔁 0    💬 0    📌 0

What is a Salt Lake County GOP Central Committee Meeting like? Find out in this thread! #utpol

22.02.2026 00:05 — 👍 0    🔁 0    💬 0    📌 0

Thank you for your reporting!

22.02.2026 00:03 — 👍 2    🔁 0    💬 0    📌 0

"Are you not of the body?" getyarn.io/yarn-clip/03...

22.02.2026 00:02 — 👍 0    🔁 0    💬 0    📌 0

A few delegates probably do put in 40+ hours into the task. Those delegates are called "outliers."

21.02.2026 23:58 — 👍 1    🔁 0    💬 0    📌 0

But seriously, having a paper backup plan is good.

21.02.2026 23:56 — 👍 1    🔁 0    💬 0    📌 0

Your own meeting participants, trying to use the system, are not a DDoS attack.

21.02.2026 23:55 — 👍 1    🔁 0    💬 0    📌 0

You would think that somebody would have, uh... anticipated this point of order, given the group.

21.02.2026 23:51 — 👍 1    🔁 0    💬 0    📌 0

Parliamentarians are under-appreciated.

21.02.2026 23:49 — 👍 1    🔁 0    💬 0    📌 0

In my neck of the woods—

21.02.2026 00:26 — 👍 0    🔁 0    💬 0    📌 0
It’s a Wonderful Life bank run scene.

It’s a Wonderful Life bank run scene.

“You're thinking of the $175 billion in tariff money all wrong. As if I had the money back in a safe. The money's not here. Your money's in the White House ballroom, the renaming of the Department of Defense, the $10 billion transfer to the Board of Peace, and a hundred other unauthorized actions.”

20.02.2026 22:20 — 👍 4983    🔁 1583    💬 96    📌 56

The forecast is for fewer meetings in the coming week than there were in the past week—a trend I heartily support.

16.02.2026 02:48 — 👍 1    🔁 0    💬 0    📌 0

now that Git 2.53 is out, the Git data model @omarieclaire.bsky.social and I wrote is on the official Git website! git-scm.com/docs/gitdata...

14.02.2026 13:47 — 👍 242    🔁 36    💬 5    📌 3

Well, this is interesting and delightful

www.ksl.com/article/5144...

"Never seen anything like it': Thousands of Utahns want their names removed from Prop 4 repeal"

13.02.2026 04:40 — 👍 5    🔁 2    💬 0    📌 0

My ISP!

13.02.2026 05:29 — 👍 1    🔁 0    💬 0    📌 0

Back? 😉

10.02.2026 19:54 — 👍 1    🔁 0    💬 1    📌 0

Very cool!

10.02.2026 15:38 — 👍 1    🔁 0    💬 0    📌 0

Congratulations!

10.02.2026 04:33 — 👍 0    🔁 0    💬 0    📌 0
Preview
POWDER Office Hours Welcome to the POWDER Office Hours scheduling page! Please follow the instructions to schedule an appointment with members of the POWDER team.

🤔 Do you have questions about your experiments on POWDER? Sign up for office hours on Friday, February 13. calendly.com/powderwireless

09.02.2026 15:32 — 👍 1    🔁 1    💬 1    📌 1
Post image

FYI: if you are looking for an easy weekend activity (especially if you have kids and are trying to get out of the house) — would recommend hitting up the University of Utah’s student union basement!

Bowling, ping pong, arcade games — and not a college kid in sight!

08.02.2026 19:43 — 👍 5    🔁 1    💬 0    📌 0