지산

지산

@zee.town

eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea. 🎵 NP: "HOME" by CHS

1.3K followers646 following112 posts

지산 reposted

Today we're announcing our $445M Series D and announcing that we've reached profitability. Huge thanks to Eclipse for leading the round, which included participation from existing investors USIT, Jane Street, Riot Ventures, Intel Capital, Friends and Family Capital, and Counterpart Ventures.

지산 reposted

지산 reposted

reading papers has become a fav hobby of mine as of late who knew there were so many different ways to write "everyone in this field is a bumbling idiot, let me show why"

지산 reposted

The miniKanren and Relational Programming workshop is accepting submissions until June 5th! You (yes you!) should submit! We accept short or long papers, about miniKanren or relational programming more widely - and, this year especially, about relating the two! :) icfp26.sigplan.org/home/minikan...

icfp26.sigplan.orgminiKanren 2026 - ICFP 2026The miniKanren and Relational Programming Workshop is a workshop about relational programming with an emphasis on the miniKanren family of languages: miniKanren, microKanren, core.logic, OCanren, Guan...

10+1 (of many) Deerhoof Iron Maiden Tortoise The Sun Ra Arkestra Vince Staples Sonic Youth (on July 4th) Beck Squarepusher (w/ Shobaleader One) Godspeed You! Black Emperor Blonde Redhead David Murray (with Questlove on drums, in Paris)

Introduce yourself with 10 bands you’ve seen live: Pink Floyd Yo La Tengo They Might Be Giants Indigo Girls Cordelia’s Dad Paul Simon Laurie Anderson Leo Kottke Aimee Mann Jonathan Coulton

지산 reposted

try this. I dare you

Ben Leonard@benleonard.bsky.social

Web 3d explorer for @oxide.computer. Built in three.js/r3f. Tonnes of little interactions and details in this. Poke around, and take a look at the guided tours. explorer.oxide.computer

지산 reposted

It's best practice for Rust crate docs to start with at least one research paper citation, which must be read before continuing.

지산 reposted

On Monday's episode, @ahl.bsky.social and I will be joined by @oxide.computer's mechanical engineering team to talk about their work on the manufacturability, reliability, serviceability, and (yes!) safety of the Oxide rack. Join us, at a special time of 3p Pacific Monday discord.gg/QrcKGTTPrF?e...

discord.ggJoin the Oxide Computer Company & Friends Discord Server!The Oxide Computer Company and friends; home of the Oxide and Friends podcast. | 4936 members

지산 reposted

Absense makes the heart grow fonder? After a couple of weeks away, our most recent episode of Oxide and Friends is the most downloaded ever after 2 days. Check it out! Tell your friends. Smash that like button?

oxide-and-friends.transistor.fmOxide and Friends | When Nine Nines Isn't EnoughBryan and Adam were joined by members of the Oxide team to describe the multi-year search for a mysterious source of hardware failures. All related to an ultra-reliable--and yet still not reliable ...

지산 reposted

When your existing investors show up a few months after putting in $100m, asking to put in another $200m something must be going very right!

Oxide Computer Company@oxide.computer

Thrilled to share that we have closed our $200M Series C. Thank you to Thomas Tull's US Innovative Technology Fund for leading this round, along with Eclipse, Riot Ventures, Jane Street, Intel Capital, Counterpart, Friends and Family Capital and all of our additional investors. buff.ly/EIxngne

지산 reposted

NEW: Immigrants claiming their detention is illegal have filed more than 18,000 challenges in federal court. The cases, known as habeas petitions, total more than were filed under the last three administrations combined, including Trump’s first term.

propublica.orgMore Immigrants Are Challenging Their ICE Detention Than Ever BeforeImmigrants claiming their detention is illegal have filed more than 18,000 challenges in federal court. This total is more than were filed under the last three administrations combined — including Tru...

지산 reposted

A new web page for my book! tomasp.net/cultures/ It has all the links you may need to get the open access PDF, buy a hardcopy or an ebook as well as some older talks & slides. If you run a podcast, conference or a user group, I'm always hapy to join & talk about something from the book!

tomasp.netCultures of Programming - The Development of Programming Concepts and MethodologiesWhat defines a correct program? What education makes a good programmer? The answers to these questions depend on whether programs are seen as mathematical entities, engineered socio-technical systems ...

지산 reposted

NEW: Civilians have had apparent seizures. One had his eyes roll back. Another had ribs broken. “I felt like I was going to pass out and die,” said a 16-year-old citizen put in a chokehold. The government won’t say if any agents have been punished.

propublica.orgWe Found More Than 40 Cases of Immigration Agents Using Banned Chokeholds and Other Moves That Can Cut Off BreathingCivilians have had apparent seizures. One had his eyes roll back. Another had ribs broken. “I felt like I was going to pass out and die,” said a 16-year-old citizen put in a chokehold. The government ...

지산 reposted

Looking forward to coming to this amazing conference exploring the gaps in computer science research!

We are pleased to announce for Undone Computer Science 2026: ∙ Payal Arora (Utrecht University and FemLab) and Tomas Petricek (Charles University, Prague) as keynote speakers ∙ 27 contributed talks selected by the PC. Find out the titles & contributing authors here: www.undonecs.org/2026/program...

지산 reposted

I just learned that William Cook, one of the creators of Applescript, together with Jose Falcon invented an s-expression alternative that many mainstream languages can parse as with few changes 🤯 (link below)

지산 reposted

What defines a correct program? What education makes a good programmer? The answer depends on what culture of programming you subscribe to! This has been a long time in the making, but my open access book on the history of programming is available for pre-order! www.cambridge.org/core/books/c...