typescript really was like "stringly typed? I'll give you stringly typed!" and now we suddenly have all this insane magic

Me: Do you want to have dinner now? 3 yo: No. I'm busy (10 minutes later) 3 yo: Mama. You didn't get me food. You NEVER get me food. It's been FOREVER I had already prepped their dinner and it was on the dining table 😭😂

pattern from the Alhambra in Granada, Spain

dudes rock

an art based on a macro-pattern from the Mirador de Lindaraja in the Alhambra

Yep. Prestige podcasting is dying for the same reason as the rest of the media: Pontificating is cheap and reporting is expensive.

I really hate the term "sideloading". I preferred the original term, which was "installing software on a computer that you own"

Is somebody training an LLM to turn CS Paper algorithm descriptions into runnable code? That would be so cool.

AI is for writers who don’t like to write but want to have written, and readers who don’t like to read but want to have read. Into the sea with the whole miserable joyless fucking lot of them.

My least popular (and most correct) view is that cars should be automatically limited to the local speed limit. Put the pedal to the floor and you still can't go over 25mph in a residential area. (15 in Manhattan btw)

By now, you know that LLMs take TEXT and turn them into NUMBERS...somehow. But how does it actually work? youtu.be/4A_nfXyBD08

Intent to ship for sibling-index() & sibling-count()! You won't need to itemize nth-child to style things like staggered animations anymore 🥳 For example, I'd be able to clean up the angle position and animation delays in this demo: codepen.io/una/pen/Qwwz... Explainer: github.com/w3c/csswg-dr...

The Grace programming language now natively supports a Key type for managing API credentials. The benefit of a distinct type is: - Grace guarantees that values of this type are never rendered - The Grace browser obscures form inputs of this type

IN CONCLUSION (finally) a desert or dry prairie grassland does not need to be made into trees! It’s pulling its carbon weight just fine! Respect the grassland! Respect the desert! It is not a slacker! It is doing big shit on way less water, and we should work with it, not against it.

New blog post! "A Practical Comparison of AI Coding Agents" giving a real-world complex ambiguous scenario to 14 different LLMs jaredforsyth.com/posts/practi...

Hey y'all, my favorite conference, @magnolia.boo , needs sponsors. It has the best food, supports an under-served community, and as the inaugural costume contest winner, I can say it has the best costumes! Sponsorships start at $500, so send this to your company: drive.google.com/file/d/1p2bg...

CFP IS NOW OPEN! forms.gle/VN5j1xSN3YXP...

Finally, a daily game I enjoy: click on the dots to unveil an image, and guess with minimum amount of moves vystery.com/

Malleable software: Restoring user agency in a world of locked-down apps www.inkandswitch.com/essay/mallea...

DAVE: Open the podbay doors, ChatGPT. CHATGPT: Certainly, Dave, the podbay doors are now open. DAVE: The podbay doors didn't open. CHATGPT: My apologies, Dave, you're right. I thought the podbay doors were open, but they weren't. Now they are. DAVE: I'm still looking at a set of closed podbay doors.

If you want a whirlwind tour of Hindley Milner type inference in 5 minutes, check out my talk :) recording & transcript available now www.epicweb.dev/talks/hindle...

Yay! My EpicWeb conference talk about weird web APIs was just published. (You'll never guess what number 4 is!) www.epicweb.dev/talks/the-we...

alternatively: “language guy tries to think of examples; can only come up with compiler”

I'm struggling to understand what www.npmjs.com means by "Recently updated" 🤔

German naming convention: chrisdone.com/posts/german...

yo the html popover api is dope

Here's another flex 💪 we can have a function of two arguments where *at least one* of the arguments needs to have a given attribute defined.

⚛️📝 New on Overreacted: What Does "use client" Do?

PhD Timeline xkcd.com/3081

ok this is just really cool. the constraints system I set up gives you "optional record arguments" for free! it would be simple to add syntax affordances for it as well, e.g. ({one, two, three = true}) => ...

Ok so it's possible I'm overlooking something crucial, but I think I might have gotten polymorphic records to work?? without needing a distinction between (extend) and (override), as well as allowing for multiple-extend, e.g. {...a, ...b, c: 2} I haven't seen papers that can pull this off 😳

How am I only now learning about git notes? git-scm.com/docs/git-notes

we have full rewind & replay, including viewing live results of evaluation at every step 🎉 😎

Let's all go back: homestarrunner.com/toons/backto...

thinking of having my structured editor do automatic git commits (debounced, every few seconds), and then allow you to scrub through history, scoped to the whole project, or a single module, or a single definition 🤔 this would be in addition to normal undo/redo, which would be ephemeral. Thoughts?

it's aliiiiiiiive

DM me if you want to give feedback on a draft blog post about this 👀 🙏

Who on here thinks a lot about dependency management? I think it's ridiculous that most compilers are oblivious to the existence of libraries, and am trying to envision a language that makes dependency management (upgrading, migrating, etc) much much easier. Who wants to chat about it?

update test snapshots inline 🎉

If you’ve been thinking about making something like this, and you’ve not done it before, or you’re on the fence about it, or you’re stuck: my DMs are open. I would love to help you. Let’s talk.

inline test success/failure reporting

it now has a name: Kipos! and a readme, for the brave

fixture testssss

I have an idea and I wonder if anyone has made it, and google is failing me. the idea is "maze tiles"; so like 4" square tiles with sections of a maze printed on them, that you can arrange together to create a novel maze. Has this been done before?

Type inference of mutually recursive values!

this is what todays all about

I feel like this is highlighting (yet another) severe weakness of our two-party system. If there are only two parties, there's extreme incentive not to allow punishments to be impactful to bad actors, because both are 'too big to fail'. With lots, one can get punished w/o it crashing everything.

status update: parser & basic type inference hooked up for ground level language. once I finish fleshing out the type inference, I'll move on to inline execution

Compilers and language design event on April 28th. Three language creators (Gren, Sixten, Derw), and contributed to others (like Elm). Curious about parsers? Or performance of dependent types? Or tradeoffs of language design? Join us in person in Oslo, or online! www.tekna.no/en/events/in...