Ally

Always loved listening to @kelseyhightower.com . Another banger: www.youtube.com/watch?v=A7WF... The knowledge erosion aspect is a key one for me ... is this like how we say "no one knows how to build a game engine anymore"? Either way, entropy always wins & skill atrophy too

My 7-year-old made her first Cayley graph and Cayley table today! And she LOVED it! At 9pm, she was too excited to go to sleep…”but I just want to do more algebra!” 🥰 #MathSky #VisualAlgebra

JUST IN: yt-dlp is limiting Bun support to versions 1.2.11–1.3.14 and deprecating it. Reason: "Bun was recently rewritten in Rust using Claude, and its development seems to have taken a turn towards being fully vibe-coded." #rustlang

Is your company currently hiring for a role that includes using Rust? Reply with a link to the opening and any relevant context. If you're not, we'd appreciate a repost for visibility #rust #rustlang #programming

Nutype 0.7.0 is out, newtypes with sanitization & validation in Rust. github.com/greyblake/nu... Highlights: - cfg_attr for conditional derives - where clauses + HRTB in generic newtypes - constructor visibility - len_utf16_min / len_utf16_max - derive(Valuable) #rustlang

Yesterday the @bsky.app made my day ❤️❤️❤️! The status page says reginos instead of regions and also broken grammar! This means some dev actually wrote this and it’s not all E2E AI! Someone actually wrote this! Feels personal! I can’t explain the joy this gave me, it’s irrational.

No, nyet, nein, never, offs - "Starting April 15, in ChatGPT, customers can explore a new Starbucks app that helps them find a Starbucks drink based on their mood or vibe of the day." #starbucks #FuckAI #ffs #ChatGPT about.starbucks.com/press/2026/a...

Great short video by @mathandcobb.bsky.social on the applicability of Group Theory! youtu.be/n_w_J48oAwU

Just got a used copy of this. If you are looking for summer camp math art activities this is the real deal - how to, aesthetics and rigorous mathematics including calculus, complex numbers and group theory. press.princeton.edu/books/hardco...

If LLMs become the "best way to produce software", we will need open alternatives or alternatives made in the Global South. I just saw a post where someone spend 5 USD on a problem. 5 USD is a lot of money in the Global South.

Excited to share our latest paper on computational mechanisms of self-enhancement with links to mental health. We used hierarchical Bayesian drift diffusion modeling to decompose choices on a social comparison task and relate them internalizing symptoms. journals.sagepub.com/eprint/GPFSV...

After 15+ years of teaching, architecting & delivering CSS for global organisations & startups, I’ve collated that experience into an extensive course which will take your CSS skills beyond the next level. Complete CSS has taken nearly a year to produce and it’s officially live 🎉 complete-css.com

I’m struggling to get reliable street level env air quality data - Working on health+env models with clinics serving unhoused populations and recently learned that they are often kicked out of their neighborhoods and only return for clinic days … not sure where to start … help? #data #climate

Well, we shipped it! @preactjs.com is joining the party with an official @tanstack.com Query adapter 🎉 Huge shoutout to @thvdnta.bsky.social, who drove this effort 🙌 Welcome, @preactjs.com 👋

TigerStyle.dev A new, visual home for TigerStyle -- the software engineering methodology developed by TigerBeetle to produce safer, faster software in less time. "Do the hard thing today to make tomorrow easy." "If you want to be remembered, be remarkable."

[doing things I’m bad at] “ugh, I suck at everything” [doing things I’m good at] “this doesn’t count because it’s easy for me”

2006: Less is more, don’t repeat yourself 2016: Beautiful code prevents technical debt 2026: trillions of lines of generated spaghetti code that generate other spaghetti code will save us

It’s not hyperbolic to say AI is a multiplier. A multiplier multiplies. I’m seeing more people just getting better are “meta-work” and large volumes of mediocre work. If you don’t know where you are going you will just go further in random directions. The real problems don’t go away.

When using LLMs, it's very important to give clear instructions. Spec-driven development is the future. For example, a clear prompt to add two numbers could look like: ADD a TO b ON SIZE ERROR DISPLAY "Error" This specifies the overflow as well.

vibe coding

@todoist.com , can we get description for projects? This could be a game changer! Often projects need a short description (or a long one), and we have to put it in a doc elsewhere… and have to juggle tools. I wouldn’t need google docs for project spec documents, my team can just live in Todoist!

Writing is thinking Outsourcing the entire task of writing to LLMs will deprive us of the essential creative task of interpreting our findings and generating a deeper theoretical understanding of the world.

I'm convinced understanding Geometric #Algebra requires unlearning almost *everything* from years of Linear Algebra exposure. My brain is actively rejecting GA - especially in applications. This transition in thinking frameworks is worse that when I gave up Frequentism for the church of #bayes.

ReScript 12.1 got released: github.com/rescript-lan...

It feels like eating but not getting satiated, and feeling more empty. But it’s a great business because it’s much harder to work without it after using it - skill loss is 100x easier than skill gain. Feels like for the first time ever neural plasticity is a handicap

This mute list feature is pretty good. Finally the good stuff in my feed is not swept away by threads on how good vibe coding is. Sorry for repost, forgot the alt text

Bsky went from ‘Using LLMs is a mortal sin & you’ll burn’ to ‘you must use LLMs or else you are a dumb ignorant Luddite, let’s all pile on you’. Maybe it’s just my feeds … Both suck! Luckily in #bsky I can just change who I follow and my algo 😊! Pls recommend #science peeps who do creative work!

Rust is much more than just a programming language: www.elias.sh/posts/rust_i...

Someone tried to steal our pressure washer but just gave up and left it in the yard. Burglars of the world, you are never going to make it without a little more grit!

Published Vector Dot Product - Algebraic Interpretation blog.sheerluck.dev/p/vector-dot... #MathSky #Python #Machinelearning

> almost unprecedented amounts of economic resources are being directed toward AI rollout. Public messaging in advertising and product development are filled with reminders of how many awesome things AI can do for you. And yet everyone basically hates it. talkingpointsmemo.com/edblog/the-g...

gist.github.com/richhickey/e... This

The future of vibe coding is here! Banger short by @albertatech.bsky.social youtube.com/shorts/9693I...

Recording videos for my new C C++ Embedded Secure Coding course for my new academy, DevSec Station. Sign up to be notified when it opens, here: https://twp.ai/4itwXF

implementing the game Go in Rust seems a lot easier than implementing the game Rust in Go

What coding with an LLM feels like sometimes.

tempted to troll bluesky by making optimistic posts about AI

Reminds me of this more disgusting analogy.

It’s settled then! Going to give @ziglang.bsky.social another try! ziglang.org/news/migrati... #programming #devsky

100%

Zig is migrating from GitHub to Codeberg. ziglang.org/news/migrati...

nice ziglang.org/news/migrati...

** Speaker announcement ** Our next speaker is Alice Ryhl! Alice is a Tokio maintainer and member of the Rust for Linux core team and Android Rust Team at Google! Info & tickets: 2026.rustweek.org Do you also want to give a talk? Our CFP is open. See you in Utrecht in May! #rustlang #rustweek2026

So excited!