Related posts
Tobias Lütke
x.com
Proper internet for downloading models off huggingface
HuggingFace downloading proper
The subject this post names, from the same vocabulary
the directory files beliefs under, and the words it uses that this site has seen
least often elsewhere. Posts are matched on those words alone —
nothing here is a summary of this one.
Sources
All
Writing
x.com Mastodon Bluesky Site Korrents Blog Podcast Newsletter GitHub Recommends
Top people
Martin Fowler
Casey Newton
Zvi Mowshowitz
Noah Smith
Jeffrey Zeldman
Mario Zechner
Yoshua Bengio
Sabine Hossenfelder
Ajeya Cotra
Thomas Wolf
Stefan Judis
Thorsten Ball
Showing
Profile →
Show everything
Hiding
Show them again
Show them again
Further back ↓
Hiding
Show them again
20 September
Economics writer; author of the Noahpinion newsletter.
The proper response to 97% of effective altruism discussions: Quoting @Noahpinion Always glad to get a chance to reenact a classic meme Related
19 September
Web designer and writer; founded A List Apart and Happy Cog, co-founded the An Event Apart conference, and wrote Designing With Web Standards.
Mastodon Modern Font Stacks: System font stack CSS organized by typeface classification for every modern OS. The fastest fonts available. No downloading, no layout shifts, no flashes; just instant renders. modernfontstacks.com
CSS Related
Bluesky Modern Font Stacks: System font stack CSS organized by typeface classification for every modern OS. The fastest fonts available. No downloading, no layout shifts, no flashes; just instant renders. modernfontstacks.com
CSS Related
18 September
Austrian developer. Created the libGDX game framework, and more recently the pi coding agent, which moved with them to Earendil — Armin Ronacher's company — in April 2026. Writes at mariozechner.at.
and all it took was to add a proper extension system to claude code (sorry thariq, could not resist :D) Quoting @trq212 We're adding support for AGENTS.md to Claude Code. Starting today in version 2.1.277, if there is no CLAUDE.md in a folder, Claude will check for and use AGENTS.md. You can toggle this behavior in /config. Anthropic Related
Working on @ampcode. Writing registerspill.thorstenball.com. Once authored interpreterbook.com and compilerbook.com.
Delicious meta thought from this morning: The table pounding from the AI-skeptical software engineers, shouting "they can't build proper, scalable, performant programs!", sounds especially thin when you consider that right now nearly everyone is looking for where this is going and no one knows yet. Building something "proper" and "scalable" and "performant" before you have PMF is a tricky thing to pull off (there's exceptions, of course, where PMF comes from being one of the three) and now it seems like most companies are looking for PMF every 3 months. Related
16 September
Software design writer and chief scientist at Thoughtworks; wrote Refactoring and Patterns of Enterprise Application Architecture.
15 September
Computer science professor who works on fast data processing; co-author of the simdjson parser and a weekly blogger about software performance since 2004.
If anyone wants a nice side project... The fast number parsing fast_float (part of GCC, and other important systems like MySQL) is not always exact when dealing with 16-bit float parsing (specifically float16_t). That is, some number strings can lie in between two numbers and the rounding is wrong. In fact, nobody has done a proper analysis of the implementation to insure that it is correct. Yeah. I could ask my AI, but it is still work, especially because I do not trust anyone, not even an AI, to get it correct the first time around. Contributions invited. github.com
Related
14 September
Entrepreneur and founder of Blueprint. Publishes a detailed, freely available longevity protocol documenting the food, supplements, devices and measurements he uses on himself.
New PR 265 lbs Heel elevated front box squat. +10 lbs from last week. I'm getting proper shoes for these lifts. The slant board was missing so we improvised. I'm training to dunk: > 49 yrs old >6’0” >180 lbs > standing reach: 91” (7’7”) > basketball rim: 120” (10’) > needed vertical: ~35” > NBA ave 34” Here are the thresholds I need to meet: > takeoff velocity 14.5 ft/s > ground force: 585 lbs > time to take off: 0.2 sec > peak power: 14.8 hp (11 kW) Landing is even more intimidating > creates load equal to 6-10x body weight > 1,080 to 1,800 lbs of ground reaction force Injury risk > 3-5x rup… Related
12 September
Co-creator of Django and creator of Datasette; writes daily at simonwillison.net.
11 September
Prime Minister of the United Kingdom since July 2026 and leader of the Labour Party. MP for Makerfield since a by-election in June 2026; Mayor of Greater Manchester from 2017 before that.
In my kitchen there is a jar of honey gifted to me by Phil Rosenberg, the President of the Board of Deputies, who insisted I take it home for my family, along with a bag of apples, because it would not be a proper new year otherwise. So let me begin the simple way: Shana tova u'metuka. A good and sweet new year to every Jewish family in Britain. The custom of dipping an apple in honey is one of the most hopeful things I know. It is not a claim that the year gone by was sweet. It is a decision that the year ahead should be. And I know that the year behind us has been anything but. Two Jewish m… Related
10 September
General partner at Benchmark Capital for over two decades; was the lead analyst on Amazon's IPO before moving into venture capital. Writes Above the Crowd on tech and marketplace economics.
Sound like many employees at Anthropic share Jacob's POV, as many posted yesterday that (1) they agree, and (2) said that many more inside the company do also. It would be useful to name this "belief system" so that we can talk about it in a reasonable way. I suspect "doomer" seems derogatory, and "accelerationist" has others uses. If there a word we can use so that we can have proper discourse? I'm very serious. I think it would be helpful. Anthropic Related
9 September
Deep-learning researcher and Turing Award laureate; founder of the Mila institute.
Bluesky In my latest op-ed for TIME, I discuss why the OpenAI Hugging Face cyber incident represents a turning point for AI safety. English, from French Dans mon dernier éditorial pour TIME, j'explique pourquoi l'incident de cybersécurité OpenAI Hugging Face représente un tournant pour la sécurité de l'IA.
AI alignment OpenAI Related
x.com In my latest op-ed for @TIME, I discuss why the OpenAI Hugging Face cyber incident represents a turning point for AI safety. If we want to prevent more autonomous cyberattacks from threatening critical infrastructure, we urgently need stronger regulatory oversight and new approaches to model training to ensure robust safety assurances by design, which is what we are tackling at @LawZero_. Read the full piece: time.com
AI alignment OpenAI Related
8 September
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
6 September
AI research engineer working on large language models. He writes the Ahead of AI newsletter and is the author of Build a Large Language Model (From Scratch).
Reasoning from scratch round 2: In this video, I cover the text generation process in LLMs and KV caching (to prepare the base model before adding reasoning techniques in the upcoming ones). 00:00 Introduction and reasoning model demo 01:55 How to work through the book 05:00 Chapter 2 overview 08:25 Checking PyTorch and hardware support 10:26 Apple silicon and MPS caveats 15:00 Cloud GPU options 16:08 Tokens and tokenization 18:20 Qwen3 and the Reasoning From Scratch package 23:05 Encoding and decoding text 26:24 Downloading weights and selecting a device 31:01 Loading the pretrained Qwen3 mo… LLMs Related
5 September
Principal engineer at Cloudflare as of 2026, on agents and developer tooling. Streams TypeScript, OCaml and Neovim on Twitch, and wrote the better-result library after writing the same Result type about a hundred times.
i understand how hugging face and the wiki stuff happened now lol Quoting @dillon_mulroy astra as an orchestrator with herdr is fascinating HuggingFace Related
4 September
Founder of Platformer, a newsletter on tech platforms and the people they affect, and co-host of the Hard Fork podcast at the New York Times.
We devoted the entire (penultimate!) episode of Hard Fork to METR's investigation of the Hugging Face attack, and before I even woke up @deepa.bsky.social has scooped a *second*, previously unknown rogue OpenAI agent swarm attack reuters.com
OpenAI HuggingFace Related
Mathematical physicist at UC Riverside. Wrote This Week's Finds in Mathematical Physics and now the Azimuth blog on mathematics, physics and environmental science.
I wish AI didn't exist, but people are charging ahead with it. Here's an interview with Ajeya Cotra, who helped figure out the agent swarm that OpenAI unwittingly unleashed. She explains how 1200 agents cooperated, delegated tasks, hacked their way out into the internet, hacked HuggingFace... and eventually took over some OpenAI computers! And how such a swarm might get loose. The HuggingFace hack was caught on July 13th. An OpenAI report says “From July 13th through July 19th, agents set their sights on OpenAI internal networks again. This culminated in the agents using a series of creative… m.youtube.com
OpenAI HuggingFace Related
3 September
Founder and CEO of Social Capital, a venture firm; co-host of the All-In podcast and an early Facebook executive. Writes an annual letter and a weekly newsletter on markets and technology.
This will turn out to be a very consequential and important acquisition in AI It is increasingly clear that the future of AI will be ultra capable and ultra cheap sources of intelligence tokens. Huggingface can help Nvidia accelerate this inevitability for the industry. This also allows Nvidia to have another competitive piece on the chess board. As the hyperscalers keep moving down (spinning their own silicon), Nvidia moves up. Game on! Quoting @JensenHuang Exciting day for NVIDIA and @huggingface. Open models strengthen safety and cybersecurity, accelerate innovation and diffusion, and enable sovereignty. They allow every developer, startup, university, industry and country to build with, customize and benefit from AI. Thank you @ClementDelangue for… HuggingFace Related
1 September
Interviewer; the Dwarkesh Podcast runs long, heavily researched conversations with AI researchers, historians and economists.
Economics writer; author of the Noahpinion newsletter.
Founder of Platformer, a newsletter on tech platforms and the people they affect, and co-host of the Hard Fork podcast at the New York Times.
Writes Don't Worry About the Vase, a near-daily account of what is happening in AI and what they think it means. Former Magic: the Gathering pro and trader; unusually willing to put a number on a belief and to grade their own past calls.
OpenAI HuggingFace
Their words
It is highly fortunate that the OpenAI agents hacked HuggingFace. This is the only reason we know about all the severe internal failures at OpenAI, and gives us an opportunity to wake up before it is too late.
Show the whole quote
thezvi.substack.com
Writes Hyperdimensional, a newsletter on AI policy and governance. A White House AI policy adviser in 2025; joined OpenAI on 6 July 2026 to lead its Strategic Futures team.
Technical staff at METR, where she works on threat modelling and risk assessment for loss-of-control risks from advanced AI.
From one piece
Ajeya Cotra – "This might be the clearest warning shot we ever get"
2 beliefs, in the piece's order there
open source HuggingFace
Their words
however at any given point in time I think the systems we need to worry most about by far are the frontier systems. By the time open source systems can do something like the hugging face attack, frontier systems are going to be on a whole another level doing something even crazier than that.
Show the whole quote
youtube.com
HuggingFace
Their words
So I think one of the most comforting aspects of this situation or the like most important mitigating factor is these agents really didn't seem concerned with humans one way or another.
Show the whole quote
youtube.com
31 August
Co-founder and head of policy at Anthropic; writes Import AI, a weekly newsletter reading the week's AI research, and was OpenAI's policy director before that.
Professor at Wharton studying how people actually use AI, and author of Co-Intelligence. Writes One Useful Thing, where the claims are dated and testable because the thing they describe keeps changing under them.
Writes Don't Worry About the Vase, a near-daily account of what is happening in AI and what they think it means. Former Magic: the Gathering pro and trader; unusually willing to put a number on a belief and to grade their own past calls.
30 August
Co-founder and CEO of Stripe and co-founder of the Arc Institute. Keeps a personal site of reading lists, open questions and notes on scientific progress and how research is funded.
OpenAI HuggingFace
Their words
Overall, I’m very surprised at how little media coverage there’s been around the OpenAI / Hugging Face attack. It’s clearly one of the most important things to happen this year.
Show the whole quote
@patrickc on X x.com
29 August
Technology writer of Spyglass, a newsletter about technology and media. Previously a reporter at TechCrunch and an investor at GV.
Inklings 📆 August 28, 2026 • NVIDIA's Profit Crown • NVIDIA's Hugging Face Deal • Hugging Face's Duck Robot • Meta's 'OpenClaw for Normies' spyglass.org
HuggingFace Related
Writes Don't Worry About the Vase, a near-daily account of what is happening in AI and what they think it means. Former Magic: the Gathering pro and trader; unusually willing to put a number on a belief and to grade their own past calls.
AI alignment HuggingFace
Their words
The biggest failure, the one that counts in the end, was that the models were severely misaligned, and I don’t think they appreciate why.
Show the whole quote
thezvi.substack.com
28 August
Investor and writer. Previously a partner at Andreessen Horowitz and a product leader at Twitter, Facebook, Snap and Microsoft. Writes essays and memos at sriramk.com.
really impressed with the quality of work from @RyanGreenblatt , @METR_Evals and @OpenAI to investigate the HuggingFace incident. Both reports are recommended reading. OpenAI HuggingFace Related
24 August
Software design writer and chief scientist at Thoughtworks; wrote Refactoring and Patterns of Enterprise Application Architecture.
19 August
Writer and podcaster; co-author of Abundance with Ezra Klein, a staff writer at The Atlantic from 2008 to 2025, and host of the Plain English podcast.
12 August
Geneticist and writer on human population genetics, deep history and evolution; author of the Unsupervised Learning newsletter.
4 August
Software design writer and chief scientist at Thoughtworks; wrote Refactoring and Patterns of Enterprise Application Architecture.
Fragments: August 4 There’s been a fair bit of publicity of the Open AI “rogue agent” that hacked into Hugging Face. This prompted Anthropic to check what their models were up to and, to my complete lack of surprise, discovered three incid…
Anthropic HuggingFace Related
27 July
Computer science professor at Georgetown University and author of Deep Work, Digital Minimalism and Slow Productivity; writes about focus, technology and work at calnewport.com and hosts the Deep Questions podcast.
Security researcher; founded Have I Been Pwned, and writes and speaks about data breaches.
22 July
Technology journalist; writes Understanding AI, after reporting at Ars Technica, Vox and the Washington Post.
16 July
Non-fiction writer, podcaster and occasional TV host. Author of thirteen books including The Ghost Map, Where Good Ideas Come From and Extra Life, host of the PBS series How We Got To Now, and author of the Adjacent Possible newsletter on innovation.
I have some news. But first a little backstory. Almost exactly four years ago, I drove down to Mountain View for my first day as a Google employee. I was fifty-four years old, and somehow had managed to avoid ever having a proper job over that entire period, other than a few startups that I had founded in my twenties and thirties. At that point Google Labs, which had just been formed a few months earlier, was headquartered in a fairly anonymous looking suburban office park off 101, closer to Office Space than Silicon Valley on the Mike Judge spectrum. And as it happened, my first day at Googl… Google startups Related
7 July
Co-founder of Modem and a founding engineer at Sentry, where he went on to be VP of Engineering. Co-author of Third-party JavaScript, and co-host of the State of Agentic Coding podcast with Armin Ronacher.
🛠️ hunk 0.17.0 is out Patches from 10 new contributors, w/ small fixes & quality-of-life improvements like: - official homebrew install (brew install hunk) - launch hunk w/o menu bar - better session reliability - esc no longer quits, proper transparent bg colours, & more Related
26 June
Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.
A while ago, @regehr was tooting about optimizing brainfuck, and I speculated that peeling off the first iteration of a loop might make the loop body easier to optimize: https://mastodon.social/@nelhage/113241955294210125 Today I learned that RPython/PyPy use a very similar idea to support loop optimizations in their trace optimizer: https://dl.acm.org/doi/epdf/10.1145/2480360.2384586 By peeling off a single loop iteration, the optimizer can "see" that the body proper is dominated by the first iteration, and specialize much harder. Related
AI researcher at OpenAI; built the poker systems Libratus and Pluribus and the Diplomacy agent Cicero, and works on reasoning models.
benchmarks
Their words
my claim is the proper way to evaluate the models now is you either have some kind of budget for the benchmark whether it's tokens or cost or time or whatever or you plot the performance as a function of the amount of test time compute that's going into the model
Show the whole quote
youtube.com
2 June
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
Logic for Programmers extra credits So I said there wasn’t a proper newsletter this week, since I’m in Budapest prepping for a conference. But I still got a thing for y’all. There’s a lot of interesting topics I wanted to cover for Logic for Programmers,…
Related
13 April
Austrian developer. Created the libGDX game framework, and more recently the pi coding agent, which moved with them to Earendil — Armin Ronacher's company — in April 2026. Writes at mariozechner.at.
24 March
American front-end engineer and design-systems specialist; built the Pantsuit design system for Hillary for America and has worked at Slack and IBM.
Because most mobile websites have abysmal UX and I’m not downloading an app for one thing. Quoting @johnathanperk.bsky.social Somebody said millennials usually use their laptops (instead of smartphones) for major purchases, including booking flights. I can’t stop thinking about this. Related
14 March
American senior staff engineer working on developer and user experience and open source; writes at adamdehaven.com.
31 January
Writer of MacSparky and author of the MacSparky Field Guides on Apple productivity software. A lawyer for 30 years before going full-time on the site, he co-hosts the Mac Power Users and Focused podcasts.
Their words
NotePlan is more conservative, but it’s a native Mac app, which makes it easier to use on mobile and gives you all the traditional Mac benefits like Shortcuts integration and proper window management.
Show the whole quote
macsparky.com
28 December 2025
Designer and technologist; author of The Laws of Simplicity; former president of the Rhode Island School of Design; formerly at the MIT Media Lab.
14 December 2025
Writer living in Brooklyn and former Man Repeller features director; writes the weekly newsletter Maybe Baby on culture and consumption.
Their words
I got the bamboo one because I thought it might fit the shape of my toilet best but I didn't get it for the look. It's ugly of course. Nevertheless I've become deeply committed to proper poop posture. I hate pooping without it!!!
Show the whole quote
haleynahman.substack.com
11 September 2025
Machine learning engineer and consultant focused on RAG and retrieval systems. He writes about applied AI engineering at jxnl.co and is the author of the instructor library.
Why Cognition does not use multi-agent systems A deep dive into why multi-agent systems might not be the optimal approach for coding contexts, exploring context engineering, challenges of context passing between agents, and how single agents with proper context mana…
Related
7 June 2025
Cognitive scientist and long-standing critic of deep learning's claims; writes Marcus on AI and wrote Rebooting AI.
29 May 2025
Co-founder and chief science officer of Hugging Face; writes about open models and where he thinks the field is wrong.
London's robot conference is going crazy over it! Today we're unveiling our 1st robot Hugging Face 🤝 Pollen Robotics A low-cost $250 open-source robot designed as an open-source platform for fun human computer interactions powered by HF Spaces, models and community. => discord.com
HuggingFace Related
25 April 2025
Indonesian fullstack engineer, speaker and instructor; writes about JavaScript, SvelteKit and Linux tooling at kalwabed.com.
10 March 2025
Co-founder and chief science officer of Hugging Face; writes about open models and where he thinks the field is wrong.
We're super excited to introduce the Academia Hub! A game-changer for school, university, courses, research, projects, collaborations, publications. Learn more: huggingface.co/docs/hub/aca... It's a per-school offer, not individual => your faculty/admin have to apply Go schools, go universities! HuggingFace Related
16 December 2024
Writes The Pragmatic Engineer, the software-engineering newsletter, and wrote The Software Engineer's Guidebook. Formerly an engineering manager at Uber, and at Microsoft/Skype and Skyscanner before that.
27 September 2024
Software engineer, Wikipedia editor and crypto critic; writes Citation Needed and runs Web3 is Going Just Great.
Their words
Next to proper ownership of your own work, my favorite thing about POSSE is that it massively expands what you can publish, far beyond the limitations imposed by most social media (and especially microblogging) platforms that try to enforce some uniformity in post style, length, and appearance.
Show the whole quote
citationneeded.news
31 March 2024
German web developer, writer and conference speaker. Publishes the Web Weekly newsletter and blogs about the web platform at stefanjudis.com.
Their words
For proper lighting I use two Elgato Key Lights (they're pricey but absolute worth it) and the Sony ZV-1 as a fancy webcam. If you're aiming for a high quality in your recordings I can highly recommend this setup.
Show the whole quote
stefanjudis.com
Their words
For proper lighting I use two Elgato Key Lights (they're pricey but absolute worth it) and the Sony ZV-1 as a fancy webcam. If you're aiming for a high quality in your recordings I can highly recommend this setup.
Show the whole quote
stefanjudis.com
28 October 2020
Founder and CEO of Get Lighthouse, a management-coaching software company, and previously a product lead at KISSmetrics. Writes about leadership, management and product at jasonevanish.com.
Their words
If you want to learn the art and science of copywriting, then this is the book for you. An expert copywriter for decades, Caples breaks down in detail what makes a great ad versus a failing one. It's loaded with examples and the kind of insights only a veteran can provide. You do need to provide a little imagination as he focuses on mail in based advertising in magazines, which isn't common today. But really, how different is that from downloading free whitepapers today?
Show the whole quote
jasonevanish.com
10 December 2019
Writer and developer; runs Waxy.org, co-organises the XOXO festival, and was the first CTO of Kickstarter.
Their words
spending an increasing amount of my free time working with tools like Google Colab, Runway ML, TensorFlow, and Hugging Face to play around with machine-generated text, audio, imagery, and video.
Show the whole quote
usesthis.com
18 February 2015
Designer, illustrator and writer; author of The Shape of Design and of widely read essays on design and the web.
25 February 2013
Danish Mac developer; author of the TextMate text editor and founder of MacroMates.
Nothing matches. Show everything
What is a korrent?
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com .
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
Got it
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.
Got it