Chris Offner

Ensuring the robots can’t take our jobs by teaching the robots functional programming

Yes to both. 🚓🚨

a man in a white shirt is saying i deny this reality ! ALT: a man in a white shirt is saying i deny this reality !

As someone who loves Swift’s type system, I’m not listening!

I was not aware that the #ECCV2024 oral recordings are publicly available... So here is the #ACEZero talk: eccv.ecva.net/virtual/2024...

I don't think having basic type checks is equivalent to doing proofs in Lean. I just don't want to chase through fifty layers of inheritance to figure out what type of input the blessed authors of some godforsaken research codebase expect to be given to their function.

Which is why I hope that Mojo will one day (when it's mature enough to be open sourced) save us all and give us a properly typed AI language.

I must note that, while the typing is good, the formatting in the above jaxtyping example is still "not hehe." x.com/chrisoffner3...

Agreed, but the remedy for bad type hints is not no type hints but good type hints. github.com/patrick-kidg...

DUNE is a great universal image encoder which works for a large class of tasks and beats its teacher MASt3R on map free localization. #cvpr2025

We use it a lot already, I recommend it.

(keynote @ Paris by @dlarlus.bsky.social )

gilbetron 60 days ago | next [=] I get so confused on this. I play around, test, and mess with LLMs all the time and they are miraculous. Just amazing, doing things we dreamed about for decades. I mean, I can ask for obscure things with subtle nuance where I misspell words and mess up my question and it figures it out. It talks to me like a person. It generates really cool images. It helps me write code. And just tons of other stuff that astounds me. And people just sit around, unimpressed, and complain that ... what ... it isn't a perfect superintelligence that understands everything perfectly? This is the most amazing technology I've experienced as a 50+ year old nerd that has been sitting deep in tech for basically my whole life. This is the stuff of science fiction, and while there totally are limitations, the speed at which it is progressing is insane. And people are like, "Wah, it can't write code like a Senior engineer with 20 years of experience!" Crazy.

I agree 100%. It's one thing to criticize corporate practices, the social impact, ethics, or future risks.
But I watch in total awe how it writes in a few seconds a well documented program in a language/API I don't know, while they complain "but it might have a bug and requires a pass or two" O_o

Similar to “What’s up? - Not much.” in (British) English I guess.

My X feed's reaction to Dario Amodei's recent interviews.

"awesome" good
"awful" bad
🤷‍♂️

Collective intelligence is only as strong as our collective attention.

YouTube video by The Wall Street Journal We Tested Google Veo and Runway to Create This AI Film. It Was Wild. | WSJ

Nice demonstration of the capabilities and failures of videogen models.
youtu.be/US2gO7UYEfY

Yeah but all my notes and highlights and paper library is in Zotero.

Zen Browser Beautifully designed, privacy-focused, and packed with features.

Yeah, unfortunately. I'm using the (Chromium-based) Arc browser since two years or so, but since Arc has been abandoned by its developers I'll probably switch to Zen browser (Firefox fork with Arc's superior UI) soon, so will have to give up on that extension.
zen-browser.app

Google Scholar PDF Reader - Chrome Web Store Supercharge your paper reading: follow references, skim outline, jump to figures, cite and save.

I also use Zotero for most of my reading. Other than that, the Google Scholar PDF Reader extension is the best thing w.r.t how citations are handled:
chromewebstore.google.com/detail/googl...

Depending on who you talk to, a “deep dive” can mean spending seven years leading a field of research, or it can mean having six words on a slide instead of two.

Ambitious projects are happening in Zurich’s AI scene.
www.theverge.com/news/669238/...

Congratulations! 🥳 I wrote mine using Texifier because I would not trust Overleaf. 😅

This pattern is going to repeat in one domain after another, and gradually force us to admit that 60% of every job is networking, knowing who to trust, and doing poorly justified risk/benefit assessment.

VRG from CTU in Prague has 9 of its members listed as outstanding reviewers. Congratulations to @gkordo.bsky.social, @billpsomas.bsky.social , @stojnicv.xyz , Pavel Suma, @ducha-aiki.bsky.social , Miroslav Purkrábek, Tomas Vojir, and Yaqing Ding.

Awesome, thank you! :)

ETHAR - a new hub for advancing core technologies in AR.

Prominent speakers from ETH and Google.

ETHAR will support impactful research across ETH Zürich and in collaboration with scientists at Google to contribute to the future of Augmented and Extended Reality.

A hub with unique focus on advancing technologies in Augmented Reality, supported by Google. Goal: drive open research through public dissemination, open source, and new datasets

🎉💡 Impressions from today’s ETH Augmented Reality Lab (ETHAR) opening, a new hub dedicated to advancing core technologies in AR, in collab with Google. scientists.@christianholz.bsky.social @ethzurich.bsky.social

Making augmented reality suitable for society ETH Zurich is establishing a new research hub for augmented reality that involves close collaboration with Google. One of the ETH-Co-heads, Christian Holz, explains the importance of networking in thi...

What happens when ETH Zurich teams up with Google to shape the future of #AugmentedReality? We're opening a new #Researchhub that brings together top minds to tackle one of the biggest challenges in tech: seamlessly blending the digital and physical worlds.

Read more:

Nothing useful was done under a black/red coalition then, and I fear that not much useful work will get done under a black/red coalition now.

Now Germany needs to solve both the problems that gave rise to fascist sentiment and the threat of fascist populism itself. Godspeed!

The real failure is having let things come this far. But the solution is not to say "Let fascist extremists take over the country because inconveniencing or banning them might play into their victim narrative." That has been tried before and it didn't work out.

I also don't think it will solve the problem, and I think the government needs to urgently tackle the problems that made AfD this popular in the first place. But AfD does not have any actual solutions. They're a festering cancer in Germany, and the so-called "wehrhafte Demokratie" needs to wake up.