Related posts
Jeffrey Paul
Mastodon
Liked “Agency workflows, components, and highlights from WCUS”
highlights workflows components
The 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 GitHub Bluesky x.com Blog Korrents Mastodon YouTube Newsletter Recommends Changed their mind Site
Top people
Sebastian Raschka
Hamel Husain
Cal Henderson
Dave Rupert
Jeffrey Paul
Steven Johnson
Peter Steinberger
Chip Huyen
Ben Vinegar
Armin Ronacher
Adam Tornhill
Kent C. Dodds
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
20 September
Former L8 engineer at Meta, Microsoft and Atlassian, now writing and building solo on agentic engineering. Writes Kun's Field Notes and posts a lot about AI coding agents on X.
18 September
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.
📜 introducing ossrules.md - learn how leading OSS projects use agent rule files - discover skill files that projects actually use - level up your own projects and workflows I've personally learned a lot just exploring Related
Creator of Flask and Jinja. Writes about software at lucumr.pocoo.org.
We gave web components an honest chance. Left terribly disappointed. Quoting @badlogicgames team decided to go all in on react. i never touched frontend stuff except for lit (don't @ me). perfect timing. thanks @odysseus0z ! Related
Engineer at Vercel Labs as of 2026. Ships a steady stream of small developer tools — agent-browser, portless, json-render, native-sdk, the v0 SDK — and lists every one of them at ctate.dev.
New experiment: json-render + jev The future Generative UI is instant Your components, your actions, your design system Rendered in milliseconds Related
17 September
Programmer, writer and musician; author of the Learn Code the Hard Way books and of Mongrel, the Ruby web server.
I'm currently streaming my attempt to polish this OpenGL turd until it's got specular highlights and shadows: twitch.tv
Related
Co-founder of WordPress and founder of Automattic; blogs at ma.tt.
16 September
Indian software developer working with React and TypeScript; writes and publishes a newsletter at sreetamdas.com.
Technology writer of Spyglass, a newsletter about technology and media. Previously a reporter at TechCrunch and an investor at GV.
15 September
Writer and novelist. Publishes essays and book notes at nateliason.com; author of the novel Husk and of Crypto Confidential.
A few highlights from week 1! Quoting @alpha_founders We are in week 2 of Founders School. But so much happened in week 1! Recap time 🔄 Related
12 September
Creator of the Keras deep-learning library and the ARC-AGI benchmark.
I hope the proposals by frontier labs to pace AI research stem from a genuine concern for safety and a recognition of the potential risks posed by future models, rather than a strategic effort to consolidate power and permanently solidify the market dominance of a few top players. If these efforts are genuine, then oversight must take a more democratic and accountable form, with both national and international components, similar to the Nuclear Regulatory Commission in the US and the International Atomic Energy Agency internationally. If there is only one organization responsible for safety m… energy Related
11 September
Front-end web developer at Paravel and co-host of the ShopTalk Show podcast; blogs at daverupert.com.
10 September
Swedish programmer with degrees in engineering and psychology, author of Your Code as a Crime Scene and founder of CodeScene.
American open-source program lead working on WordPress; a WordPress core contributor and release lead who writes at jeffpaul.com.
9 September
Software engineer and educator; creator of Testing Library and of the EpicWeb.dev and EpicReact.dev courses.
Short Kody enables awesome triage-to-production workflows Related
8 September
Co-creator of Django and creator of Datasette; writes daily at simonwillison.net.
Wrote up my thoughts on the whole OpenAI Navier–Stokes Millennium Prize Problem story, and how it highlights the still confusing question of what using my data "to improve model performance" actually means OpenAI Related
Indonesian software engineer, educator and engineering manager at Zero One Group; open-source enthusiast writing at ripandis.com.
StyleX (@stylexjs) is currently a hot topic. If you need a React project boilerplate that comes ready with StyleX and shadcn-style composable UI components, you can visit this repository: github.com
JavaScript Related
General partner at Andreessen Horowitz and author of The Cold Start Problem. Previously led rider growth teams at Uber; has blogged on growth, network effects and marketplaces since 2007.
you want to spend zero time on the left. This is where AI wins - automating drudgery/workflows/costs we want to spend our time on the right. More of it is about connection/entertainment/humanity - less verifiable, more novelty-seeking Related
CEO of Vercel; creator of Next.js and Socket.IO. Writes at rauchg.com.
Their words
AI is still at its best when it can reuse great components than regenerating every time from first principles.
Show the whole quote
@rauchg on X x.com
Creator of Flask and Jinja. Writes about software at lucumr.pocoo.org.
OpenAI
Their words
This is the first time I feel like this is a genuine regression on OpenAI model release for my day to day workflows.
Show the whole quote
@mitsuhiko on X x.com
4 September
Writes and podcasts Volts, on the technology, politics and policy of decarbonisation; covered energy and climate at Vox and Grist before that.
2 September
Brazilian software engineer, creator and maintainer of GoReleaser; works on Copilot CLI at GitHub. Writes about tooling and his setup at carlosbecker.com.
Writer on the intersection of technology and finance. Author of the Bits about Money newsletter and host of the Complex Systems podcast; previously at Stripe.
An increasingly common pattern in my boring-administrivia workflows is creating a new folder with an inbox/ or unsorted/ subfolder, starting a Claude Code instance, and telling it "Watch that for changes, read incoming files, rename and organize into a directory structure." Anthropic Related
1 September
Co-founder and CEO of Linear; previously principal designer at Airbnb, where he led the Design Language System, and founding designer at Coinbase.
I've been recently creating various loops of customer signals with the @linear agent. Yesterday created one about when customers mention AI workflows, and getting a report in my inbox every morning Related
30 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.
everyone should go read @dwarkesh_sp’s post - it does a great job of laying out the timeline and what we know ( and don’t know) I do have two issues with it A) the use of anthropomorphic language. These are not civilizations nor do they have desires just like a CPU thread or a bunch of programs don’t. this doesn’t mean we downplay the importance of this moment for cyber - but using human parallels for what I believe is code is dangerous territory. B) IMO it gets the impact of open source models wrong and is unreasonably dismissive for reasons that are not clear. As @ClementDelangue highlights… open source Related
29 August
Founder and former CEO of Zynga, the social-games company behind FarmVille, Zynga Poker and Words with Friends; says he founded ten companies in all, and wrote Life at the Speed of Play.
Great piece that highlights the open oppty for someone to reinvent social! Quoting @bizbookpr Why is social networking still an unsolved problem? Fascinating Fast Company feature by @harrymccracken on the USA Today bestselling book Life at the Speed of Play by Zynga founder @markpinc from @HarperBusiness Related
27 August
Programmer, musician and author of The Passionate Programmer; organised RubyConf and RailsConf and has worked as a CTO.
Bluesky I've long argued that components should be tiny: small enough to understand, change, or throw away. This paper suggests something related: The developers can be tiny too. 1,000+ finite-lived agents build a 250K-line compiler. The project persists. The programmers don’t. arxiv.org
Related
x.com I have long argued that software components should be tiny: small enough to understand, change, or throw away. This paper suggests something I hadn’t considered then: The developers can be tiny too. 1,000+ finite-lived agents build a 250K-line compiler. The project persists. The programmers don’t. arxiv.org
Related
Deep-learning researcher and Turing Award laureate; founder of the Mila institute.
Bluesky I agree with this take by @billgates.bsky.social, who also highlights several of the growing risks of AI systems, including cyber, bio and loss of control. We need to be far better prepared to address the risks of frontier models being developed by leading AI companies. English, from French Je suis d'accord avec ce point de vue de @billgates.bsky.social, qui souligne également plusieurs des risques croissants des systèmes d'IA, notamment cyber, bio et perte de contrôle. Nous devons être bien mieux préparés à faire face aux risques des modèles de pointe développés par les principales entreprises d'IA.
Related
x.com I agree with this take by @BillGates, who also highlights several of the growing risks of AI systems, including cyber, bio and loss of control. We need to be far better prepared to address the risks of frontier models being developed by leading AI companies. gatesnotes.com
Related
Technical educator, conference speaker and developer relations engineer based in Ottawa, Canada. Author of the Anubis bot filter and of over 400 articles at xeiaso.net.
Their words
This is due to the affected components being written in C, the only programming language where these vulnerabilities regularly happen.
Show the whole quote
xeiaso.net
26 August
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).
Now we know: The popular Ox Alpha LLM was GLM-5.3-Flash... Compared to GLM-5.2, this new GLM-5.3-Flash model uses: - a Kimi Linear-style 3:1 (super*) hybrid attention pattern with 34 Kimi Delta Attention layers (KDA) and 11 Multi-heat Latent Attention (MLA) / DeepSeek Sparse Attention (DSA) layers; - a scaled-down GLM-5.2-style sparse MoE backbone, going from 744B-A40B to 320B-A18B; - a DeepSeek V4-style mHC residual path with four parallel streams; - plus a native vision encoder (not shown). * "Super hybrid" because both KDA and MLA/DSA are "efficient" components. E.g., Kimi only uses KDA +… Quoting @Zai_org Introducing GLM-5.3-Flash - Leading capabilities at a highly competitive price - Natively multimodal with a 1M-token context window - A 320B-A18B model released under the MIT License - Previously previewed as Ox Alpha, running entirely on Chinese AI chips Blog: https://t.co/tzOmB7gdZP Available now… LLMs Related
25 August
Essayist; writes Astral Codex Ten, previously Slate Star Codex.
Writer on the intersection of technology and finance. Author of the Bits about Money newsletter and host of the Complex Systems podcast; previously at Stripe.
If you enjoyed this one (or the original), Rift Wizard 3 is like it but better. They dispense with random equipment drops in favor of components you can use to, at any time, build equipment from a list. You need 1 each of right tagged components, etc. Raises skill cap even more. Quoting @patio11 Rift Wizard 2: “What if we just put all the information in front of the player, had all spells and enemy attacks be almost perfectly deterministic, and made it clear that every single time you died it was because you were bad at crawling dungeons?” Related
19 August
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.
14 August
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 thoroughly enjoyed going deep with @nxthompson on AI and the future of writing and creativity for The Most Interesting Thing in AI podcast. A few highlights: • How Nick and I have used @Gemini_Notebook to write our books • Why AI can lead to more serendipitous discovery in the research process (at least using Notebook’s citation-based approach) • The brilliance of the “explain” button in Notebook’s quiz feature • AI as the anti-social-media, with its gravitational pull towards mainstream consensus (citing @danwilliamsphil) • Why our attachment to the human voice of the writer is not going a… Quoting @nxthompson Few people have put more time into figuring out how creativity works than @stevenbjohnson. How do we link ideas in our mind, and how can we use tools to make that linking easier? He's not only written some of my favorite books of the past few decades; he's also written some of my favorite essays ab… Google Related
Swedish open source developer; creator and lead maintainer of curl and libcurl, and a co-founder of the Rockbox project.
12 August
Belgian engineering lead, Microsoft MVP and public speaker. Creator of Front Matter, a headless CMS extension for Visual Studio Code.
10 August
Founded PSPDFKit in 2011 and ran it for a decade. Came back from a break to work on AI agents — the OpenClaw project, and OpenAI, joined in February 2026. Writes at steipete.me.
7 August
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.
2 August
Writes and podcasts Volts, on the technology, politics and policy of decarbonisation; covered energy and climate at Vox and Grist before that.
27 July
Creator of Claude Code at Anthropic.
17 July
Journalist and author of The Art of Noticing; writes the newsletter The Art of Noticing (TAoN) on attention, creativity and the everyday.
2 July
Swiss full-stack developer working mostly with Laravel and Vue; author of the widely used git-auto-commit-action GitHub Action.
1 July
Programmer; wrote Extreme Programming Explained and Test-Driven Development, signed the Agile Manifesto, and writes Tidy First?.
Their words
And then there were people who used it as a moral cudgel. Like you should be if you're not using TDD, you're not professional. And that's just such People can write very good software with a wide variety of workflows.
Show the whole quote
youtube.com
2 June
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.
27 May
Founder and editor of ToolGuyd, a tool review site covering power tools, hand tools, workshop equipment and EDC gear. He writes under his first name on the site.
Their words
Summary: Shipping damage. Residue on some of the components. Loud pings and pops from the assembled weight rack. A design that looked great and saved space but was painfully unusable. Restocking fee. Non-refunded shipping fees. Ghosted me about the refund.
Show the whole quote
toolguyd.com
25 May
Swedish programmer with degrees in engineering and psychology, author of Your Code as a Crime Scene and founder of CodeScene.
I still meet people convinced that AI coding tools will soon reach a point where code quality, design, and even architecture are "solved". So I ran a small ad-hoc experiment. I’ve been working on a CLI tool and let agents plan and implement a first functionally correct version. I provided strict instructions around testing strategy, workflows, and implementation constraints. But I deliberately removed the @codescene MCP and the safeguards I normally rely on. Unsurprisingly, the resulting code suffered from a ton of problems. It would have been a shaky foundation to continue building on. How s… MCP Related
16 May
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).
9 May
Programmer and writer on computer architecture, performance, and software reliability. He has worked on CPU design at Centaur Technology and on software at Google and Microsoft, and writes long-form technical essays at danluu.com.
What do people like for token-intensive workflows for personal projects? With a semi-autonomous workflow, I can exhaust a week's quota on the $200/mo codex plan in ~10 minutes of my time. If I'm in the loop, I get ~10x(?) the productivity per token, but it's time inefficient and Related
8 May
Founder of Terraform Industries and formerly a physicist at NASA's Jet Propulsion Laboratory; writes about energy, space and manufacturing.
2 May
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
30 April
Founding member of OpenAI and former director of AI at Tesla; creator of nanoGPT and the term "vibe coding".
Fireside chat at Sequoia Ascent 2026 from a ~week ago. Some highlights: The first theme I tried to push on is that LLMs are about a lot more than just speeding up what existed before (e.g. coding). Three examples of new horizons: 1. menugen: an app that can be fully engulfed by LLMs, with no classical code needed: input an image, output an image and an LLM can natively do the thing. 2. install .md skills instead of install .sh scripts. Why create a complex Software 1.0 bash script for e.g. installing a piece of software if you can write the installation out in words and say "just show this to… Quoting @stephzhan @karpathy and I are back! At @sequoia AI Ascent 2026. And a lot has changed. Last year, he coined “vibe coding”. This year, he’s never felt more behind as a programmer. The big shift: vibe coding raised the floor. Agentic engineering raises the ceiling. We talk about what it means to build seriousl… LLMs Related
24 April
American open-source program lead working on WordPress; a WordPress core contributor and release lead who writes at jeffpaul.com.
The WordPress AI plugin 0.8.0 is now available! Highlights in this release: • New Refine from Notes experiment to automatically apply editorial feedback • New AI dashboard widgets • Integration with Gutenberg Guidelines • Image Generation promoted to a stable Feature make.wordpress.org
Related
22 April
Researcher on distributed systems and local-first software at the University of Cambridge; wrote Designing Data-Intensive Applications.
the cloud
Their words
But, somebody still has to build those lower-level abstractions and from lower-level components. Somebody's got to implement the cloud services.
Show the whole quote
youtube.com
19 April
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.
15 April
Bootstrapper and investor. Founder of TinySeed and MicroConf, host of the Startups for the Rest of Us podcast, and author of several books on self-funded software startups.
What an amazing couple days at #MicroConf 2026. Here’s a video recapping some of the highlights 👇 Quoting @MicroConf That's a wrap on #MicroConf US 2026 in Portland! Couldn't make it? Here's everything you missed: Related
11 April
American open-source program lead working on WordPress; a WordPress core contributor and release lead who writes at jeffpaul.com.
This update expands editorial workflows with new experiments for Content Classification and SEO-friendly Meta Description generation, adds bulk Alt Text generation in the Media Library, and improves extensibility and reliability across the plugin. https://make.wordpress.org/ai/2026/04/10/whats-new-in-ai-0-7-0/ #WordPress #AI #OpenSource Related
7 April
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).
4 April
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).
29 March
Engineer and writer on machine-learning systems; author of Designing Machine Learning Systems and AI Engineering. "I work to bring AI into production. I write about AI system design."
Their words
So, I I think there's a lot of things we still try to imagine. What would be an AI-driven world look like, right? I think people are trying to like retrofit what already exists to fit what they think is a new workflow.
Show the whole quote
youtube.com
12 March
Swiss full-stack developer working mostly with Laravel and Vue; author of the widely used git-auto-commit-action GitHub Action.
Just published my Laracon EU 2026 recap. Lots of great talks this year — highlights for me were Dan Harrin on abstractions, Peter Suhm on unblocking users with AI, and Shane Rosenthal showing NativePHP rendering actual native iOS and Android elements. Also a good reminder to finally look more seriously at PostgreSQL. https://stefanzweifel.dev/posts/2026/03/12/laracon-eu-2026-recap/ #LaraconEU Related
London-based front-end architect, web developer evangelist and cloud consultant; Microsoft MVP. Writes at praveen.science and answers on Stack Overflow.
🚀 Live from #SREDays #London at Everyman Canary Wharf! 🛳️ Checked in and ready for a day packed with SRE, observability, and production reliability stories. I’ll be sharing highlights throughout the day. #SREDaysLondon #SRE #DevOps #CloudNative Related
10 March
Software engineer and educator; creator of Testing Library and of the EpicWeb.dev and EpicReact.dev courses.
Their words
Radix UI - An accessibility-focused set of easy-to-use and easy-to-style components.
Show the whole quote
kentcdodds.com
8 March
American senior staff engineer working on developer and user experience and open source; writes at adamdehaven.com.
AI + coding is clearly the future. Right now many AI companies are heavily subsidizing the cost of AI-driven engineering. What happens when those subsidies disappear and pricing models change, after we’ve built development workflows that depend on AI at every step? 🤔 Related
21 February
Software engineer who worked on Chrome and Polymer at Google, and writes about the web, emoji and Elm at meowni.ca.
Hi! I made a Chrome extension that highlights creeps from the Epstein emails. Depending on how much news you read on your computer, enabling it might be really depressing. Related
18 February
Maths educator; writes Mathworlds on how mathematics is taught and why so much of the technology sold to schools does not help.
12 February
Engineer writing about the physical economy — oil and gas, manufacturing, batteries, drones and what it costs to build things.
10 February
Founder of Terraform Industries and formerly a physicist at NASA's Jet Propulsion Laboratory; writes about energy, space and manufacturing.
Their words, before
Furthermore, I believe it’s very unlikely that space-based manufacturing or mining could be lucrative enough to fund the venture.
Show the whole quote
Their words now
Today, exploding demand for power-intensive AI applications provides enough of an upside to justify producing components in space, providing the economic engine necessary to justify and fund the trillions of dollars necessary to build and sustain space factories.
Show the whole quote
3 February
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.
18 January
Machine learning engineer and independent AI consultant. He writes about LLM evaluation, tooling and applied ML at hamel.dev, and previously worked on machine learning at GitHub.
Their words
My daily drivers now include Amp, Cursor, and Claude Code. I still enjoy notebooks, but only for data analysis, machine learning, or other exploratory workflows where the iterative, visual nature of notebooks shines.
Show the whole quote
hamel.dev
Their words
My daily drivers now include Amp, Cursor, and Claude Code. I still enjoy notebooks, but only for data analysis, machine learning, or other exploratory workflows where the iterative, visual nature of notebooks shines.
Show the whole quote
hamel.dev
Their words
My daily drivers now include Amp, Cursor, and Claude Code. I still enjoy notebooks, but only for data analysis, machine learning, or other exploratory workflows where the iterative, visual nature of notebooks shines.
Show the whole quote
hamel.dev
6 January
Web developer; former head of engineering at Flickr, author of Building Scalable Web Sites, and co-founder and CTO of Slack.
I've updated my 2025 reading list with the 121 books I read in the year. Highlights were The Thursday Murder Club by @richardosman, Piranesi by @susannaclarke_, The Repeat Room by Jesse Ball and Little Eyes by @sschweblin. iamcal.com
Related
9 December 2025
Vice chairman of Ogilvy & Mather Group, the advertising agency; author of Alchemy (2019) and the Wiki Man columnist at The Spectator.
Their words
the dorman was doing multiple things, many of which were human and kind of tacit. Security would be one. You know, there are no vagrants to sleep in the doorway, hailing taxis, dealing with luggage, recognizing regular guests, providing status to the hotel. There are loads and loads of value creation components to that dorman which aren't captured in the open the door definition.
Show the whole quote
youtube.com
9 November 2025
Egyptian front-end developer and course creator; writes for CSS-Tricks, publishes courses on Udemy and blogs at alialaa.dev.
23 October 2025
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.
Their words
durable workflows are scaling errors as values to your infrastructure. errors as values lead to predictable, maintainable, and scalable software.
Show the whole quote
@dillon_mulroy on X x.com
1 October 2025
Machine learning engineer and independent AI consultant. He writes about LLM evaluation, tooling and applied ML at hamel.dev, and previously worked on machine learning at GitHub.
Their words
The panel had a generally positive view of Braintrust, highlighting its clean UI and structured approach to evaluations. The tool’s emphasis on human-in-the-loop workflows was a significant strength.
Show the whole quote
hamel.dev
13 September 2025
Writes Nintil, long researched essays on metascience, biology, economics and whatever he has decided to read the literature on.
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.
6 September 2025
Founded PSPDFKit in 2011 and ran it for a decade. Came back from a break to work on AI agents — the OpenClaw project, and OpenAI, joined in February 2026. Writes at steipete.me.
1 July 2025
Founded PSPDFKit in 2011 and ran it for a decade. Came back from a break to work on AI agents — the OpenClaw project, and OpenAI, joined in February 2026. Writes at steipete.me.
9 June 2025
Irish independent game developer, maker of VVVVVV, Super Hexagon and Dicey Dungeons.
Just released a v1.1 patch for my Other Games. Things are feeling pretty stable, so this might be the last one? Highlights are: it shows a pop-up on itch for achievements now, it has improved accessibility options, and I added Japanese and LATAM Spanish localisations: terrycavanagh.itch.io
Related
17 May 2025
Mathematician at UCLA, working mainly in harmonic analysis and partial differential equations. Writes What's new, a long-running blog on their research, open problems and expository notes.
A third video in my occasional series on #Lean4 formalization workflows, this time focusing on how relying extensively on #GitHubCopilot fares against standard "epsilon delta" type problems in analysis. youtube.com
Related
7 May 2025
Member of technical staff at Anthropic. He has led ML/AI teams at Amazon, Alibaba and Lazada, and writes about LLMs, recommender systems and engineering at eugeneyan.com.
To better understand MCPs and agentic workflows, I built news-agents to generate a daily news recap. The main agent spawns sub-agents, assigning them news feeds to parse and summarize, and then generates a final overall summary plus analysis. eugeneyan.com
Related
4 May 2025
Member of technical staff at Anthropic. He has led ML/AI teams at Amazon, Alibaba and Lazada, and writes about LLMs, recommender systems and engineering at eugeneyan.com.
6 April 2025
Founder of the toy manufacturer Viahart; writes about manufacturing, importing and why bringing production back to America is harder than it sounds.
America
Their words
They applied the same tax to the components that you need to make things in America that they did to finished goods that were made outside of America.
Show the whole quote
molsonhart.com
18 March 2025
Full-stack Laravel developer based in Madison, Wisconsin; maintains open-source Laravel, Livewire and Alpine.js packages and writes at randallwilk.dev.
4 March 2025
Front-end web developer at Paravel and co-host of the ShopTalk Show podcast; blogs at daverupert.com.
16 January 2025
Engineer and writer on machine-learning systems; author of Designing Machine Learning Systems and AI Engineering. "I work to bring AI into production. I write about AI system design."
Their words
Because everyone uses the same models nowadays, the AI components of AI products are similar, and the differentiation is product.
Show the whole quote
huyenchip.com
10 January 2025
Founder of what became Bloomberg New Energy Finance; writes and speaks on clean energy, hydrogen and the economics of the transition, and hosts the Cleaning Up podcast.
7 January 2025
Engineer and writer on machine-learning systems; author of Designing Machine Learning Systems and AI Engineering. "I work to bring AI into production. I write about AI system design."
Their words
Because most agentic workflows are sufficiently complex to involve multiple components, most agents are multi-agent.
Show the whole quote
Agents huyenchip.com
6 January 2025
Web developer; former head of engineering at Flickr, author of Building Scalable Web Sites, and co-founder and CTO of Slack.
I've updated my 2024 reading list with the 88 books I read in the year. Highlights were Oryx and Crake by @MargaretAtwood, The Husbands by @hollygramazio and Dungeon Crawler Carl by @mattdinniman iamcal.com
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.
1 June 2024
Moroccan senior frontend developer writing at smakosh.com; builds side projects and client work under Smakosh LLC.
Their words
Side note for CSS, I'm cool to use what ever tech available out there that makes my task done quickly & well, I have personally used Bootstrap 3 & 4, Bulma, Lostgrid, Materliaze, Skeleton, Tailwindcss, Styled-components, emotion, CSS modules, Tachyons & made my own micro CSS framework called Unnamed that has over 200 stars on GitHub. Still I prefer using Tailwindcss.
Show the whole quote
smakosh.com
3 May 2024
Structural engineer and senior infrastructure fellow at the Institute for Progress; writes Construction Physics on why physical things cost what they cost.
17 January 2024
CEO of Vercel; creator of Next.js and Socket.IO. Writes at rauchg.com.
16 January 2024
Web developer; former head of engineering at Flickr, author of Building Scalable Web Sites, and co-founder and CTO of Slack.
I've updated my 2023 reading list with the 105 books I read in the year. Highlights were The Future, by @NaomiAllthenews, Station Eternity by @mightymur and Titanium Noir by @Harkaway iamcal.com
Related
3 November 2023
Front-end web developer at Paravel and co-host of the ShopTalk Show podcast; blogs at daverupert.com.
9 July 2023
Brazilian-American staff software engineer working on platforms, AI and developer productivity. Writes about engineering and his setup at ivansantos.me.
Their words
I've been using Alfred for many years and have many workflows but have recently switched over to Raycast which is a very powerful alternative!
Show the whole quote
ivansantos.me
9 May 2023
Designer, product manager, YouTuber and developer who has written about technology at Birchtree since 2010. He makes the Quick Reviews and Quick Notes apps and the A Better Computer YouTube channel.
Their words
is my favorite way to save things to read later, to actually read them, and to sync my highlights wherever I want.
Show the whole quote
thesweetsetup.com
23 February 2023
Research scientist at Meta in Berlin working on multilingual models and evaluation; led the multilingual team at Cohere and was a research scientist at Google DeepMind before that.
9 January 2023
Web developer; former head of engineering at Flickr, author of Building Scalable Web Sites, and co-founder and CTO of Slack.
I've updated my 2022 reading list with all the 112 books I read in the year. Highlights were Tomorrow, and Tomorrow, and Tomorrow, by @gabriellezevin and A Memory Called Empire by @ArkadyMartine. iamcal.com
Related
6 September 2022
Writer, photographer and software maker based in Japan; publishes long-form essays, walking newsletters and self-made books at craigmod.com.
Their words
The Vanmoof is much smarter — the brain and software within it are refined, the app good, the acceleration curves smooth — but the bike is all custom components, and they aren't the highest quality at that.
Show the whole quote
craigmod.com
22 February 2020
Egyptian front-end developer and course creator; writes for CSS-Tricks, publishes courses on Udemy and blogs at alialaa.dev.
Check out my new course "The Complete GitHub Actions & Workflows Guide" with a special discount when using this link: udemy.com
Related
8 April 2019
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.
Their words
I don't actually remember this one in much detail. However, as I mentioned above, Mission Control was the beating heart of Apollo and one of the most fascinating and critical components of the program, so I recommend it anyways.
Show the whole quote
blog.nelhage.com
3 August 2018
Sociologist and founder of Bismarck Analysis; writes on live players, institutional decay and why societies lose knowledge.
Their words
The succession problem has two components: power succession (handing off the reins of the institution, keeping it piloted) and skill succession (transferring the skill needed to pilot the institution well, keeping it a live player).
Show the whole quote
samoburja.com
14 March 2017
Designer and developer; created the Solarized colour scheme and the Kinkless task system that became OmniFocus.
1 October 2016
Programmer and writer on computer architecture, performance, and software reliability. He has worked on CPU design at Centaur Technology and on software at Google and Microsoft, and writes long-form technical essays at danluu.com.
Their words
Covers a few theory of computation highlights. The explanations are delightful and I've watched some of the videos more than once just to watch Bernhardt explain things.
Show the whole quote
danluu.com
1 January 2015
Software developer; created Firebug, helped create Firefox on the Netscape browser team, and built the original Facebook iPhone app.
Nothing matches. Show everything
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