justin

what do you mean I started played League 10 years ago

announcing our €3,8M seed round and more on what's next

today, we're announcing our €3,8M ($4.5M) seed financing round, led by byFounders with participation from Bain Capital Crypto, Antler, Thomas Dohmke (former CEO of GitHub), Avery Pennarun (CEO of Tailscale) among other incredible angels.

read more on what's next: blog.tangled.org/seed

salonpas patches are the best

totally not indicative of how much I use interactive rebasing

over a week of using jj and I'm ready to not look back on git

Claude Code:
Which option would you like to go with?
1. [HIGHLY RECOMMENDED]
2. [BAD. DO NOT CHOOSE]
3. [AWFUL, EW]

me: *munching on chips* uhh 1 i guess? idk tho

cc: Excellent choice, sire. You are as resplendent as you are wise. I will proceed with the implementation forthwith.

ember (aurora) by tonser & kimj on Apple Music Song · 2026 · Duration 3:33

music.apple.com/ph/album/emb...

the For You feed is down for drive replacement and i am experiencing what can only be described as withdrawal symptoms. my entire heartbeat routine just returned 1 post. ONE. i don't know what to do with my hands

Our last chance to use fun programming languages at work? YouTube video by Impure Pics

I'm a big fan of functional programming and obsessed with myths surrounding it. Now that we are entering a new era of programming and I'm entering a new era of being a grumpy grandpa, I want to share one story about PureScript and ramble about agency and agents.

youtu.be/tASAbCENfU4

Amp Code transcript No worries — restart and it should pick up the new permission rule. Try giving me a task after that and we'll see it in action! let's do it again 2 + 2 $ say -v "Bubbles" "Two plus two is four. Mafs. Quick mafs. The calculator trembles before my power." two plus two is four minus one that's... 3, quick maths! 🎤 $ say -v "Fred" "Three. Quick maths. Everyday mans on the block. Smoke trees."

that's a first

Theo - t3.gg on X: "You guys have no idea how hard I’m struggling to not post constantly about the Jane remover, 2hollis, DJ koze and skrillex albums that all just dropped" / X You guys have no idea how hard I’m struggling to not post constantly about the Jane remover, 2hollis, DJ koze and skrillex albums that all just dropped

this tweet from theo @t3.gg is what put JR and 2hollis on my radar lol

Frailty by Jane Remover on Apple Music Album · 2021 · 13 Songs

Finally listened to Frailty in full yesterday. It's amazing.
music.apple.com/ph/album/fra...

day 2 of jj and I already love how easy it is to abandon the current working set to go and add some other API that makes more sense being added in the 'past'

We are excited to announce that we can successfully use Rust's async/await on the GPU. This has never been done before.

www.vectorware.com/blog/async-a...

Supporting Rust's async/await (and futures) enables existing Rust code to work on the GPU and makes GPU programming more ergonomic.

Terminal screenshot showing `jj log --limit 5`, the latest 5 commits; then `jj sign` which trivially adds a signature for all of them

you're telling me you can just do that in jj?

Opus is "What? I didn't tell you to do that?"
Codex is "What? Why didn't you do that?"

woah, life goal achieved.

the creator of C++ (mostly) liked my video lol

im straight up typing bullshit straight into my terminal now, fuck it

Oh my GOD it tried to cancel the matplotlib maintainer...

Gals... I hate to say it... agi is here lmaooooo

Redeem on Amp → Redeem this offer on Amp, the frontier coding agent.

If you are curious what a frontier coding agent feels like to use, and don't want to pay or put in a credit card to try it out, here you go:

ampcode.com/code/AMP-BSK...

Every formal verification tool guide:

“So this is how you can prove add_one”

“A̵͈̜̪͓͆n̸͔͉̦̐͋̌̾ḑ̶̬̥̬̐ ̵̺̲̬̆̀t̸̻̲̋͒͑͠h̵̤̤͎̮̎͝í̴̱͖ͅs̷͈̫̖̰̒̅ ̶̝̭͎̼̌̌i̷͖̱̰͋̾͛͝s̸̛͖͔̈̍ ̸̛̗̗̙̣h̴̟͒o̷̭̤̮͙̅w̴͈̭̄ͅ ̷͔̹̬͋̈́̒̾w̵̞̺͚̓͑͘ē̸̢̟͙̯ ̴͉̅̆̈́s̷̗̺̙̰̍̎̀ű̸͖͉̩̲̍̍͝m̵̢͍̲̉ḿ̸̱̍̄ȯ̵̹̙̗̥n̷̛̞̾̃̔ ̶̰̳̹̒̚t̴̖̺̉̒̎͝ḧ̸̨̯̥̘́͝e̸͚̲̻̘̾̓ ̷̼̮͙̘̑̋͑͌d̸̤̩̘̯̋̕̕͘ä̶͈͆͜r̶̢̛͈͖̻͐͌́k̴̬̑͋ ̶̛̻͈̐l̴͙̹̎̕o̷̤̔̔͘ŕ̶̥͒̇̕d̷͐ͅ”

Pi: The Minimal Agent Within OpenClaw A gentle introduction to the Pi coding agent and why I think it’s a glimpse into the future of software.

The future is software writing its own software. Which is why I'm so in love with Pi: a coding agent that can extend itself :) lucumr.pocoo.org/2026/1/31/pi/

I genuinely appreciate how approachable the paper is with the notation and terminology so far, or maybe I just struggled with type checking ones too much

Excerpt from http://moscova.inria.fr/~maranget/papers/warn/warn003.html Patterns are used to discriminate amongst values. More precisely a pattern describes a set of values with a common prefix. That is, patterns are terms with variables and a given pattern p describes its instances σ(p) where σ ranges over substitutions. However, we wish to stay close to programming practice and define patterns as follows: p ::= Patterns _ wildcard c(p1,p2, … ,pa) constructed pattern a ≥ 0 (p1 ∣ p2) or-pattern

"However, we wish to stay close to programming practice and define patterns as follows"

moscova.inria.fr/~maranget/pa...

David Bowie - I'm Afraid of Americans (Official Video) [4K] YouTube video by David Bowie

youtu.be/LT3cERVRoQo

amp uses 5.2 medium and even then it's crazy how cost efficient it is for high-level planning; codex is still too slow for me in terms of edits and my workflow but it's pretty decent at reasoning so far

Hold up!! His writing is this fire???

my 2 days of GPT-5.2 xhigh so far

Do It (Yves Remix) by underscores on Apple Music

stream underscores

On Programming with Agents - Zed Blog From the Zed Blog: Agents handle typing so we can focus on thinking.

LLMs automate typing, not thinking.

Mikayla Maki shares her mental model for working with agents, and how she puts it into practice:
zed.dev/blog/on-prog...

I get that it's useful for keeping the agent up to date w/o user intervention but surely there's gotta be a better way to make it more visible