Advertisement · 728 × 90

Posts by justin

what do you mean I started played League 10 years ago

1 month ago 0 0 0 0
Preview
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

1 month ago 826 149 54 66

salonpas patches are the best

1 month ago 0 0 0 0

totally not indicative of how much I use interactive rebasing

1 month ago 2 0 0 0

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

1 month ago 3 0 1 0

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.

1 month ago 132 14 4 0
Preview
ember (aurora) by tonser & kimj on Apple Music Song · 2026 · Duration 3:33

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

1 month ago 0 0 0 0
Advertisement

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

1 month ago 44 4 2 2
Our last chance to use fun programming languages at work?
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

1 month ago 4 1 0 0
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."

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

1 month ago 0 0 0 0
Preview
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

1 month ago 0 0 0 0
Preview
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...

1 month ago 0 0 1 0

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'

1 month ago 4 0 0 0
Async/await on the GPU GPU code can now use Rust's async/await. We share the reasons why and what this unlocks for GPU programming.

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.

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

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?

1 month ago 15 0 1 0
Advertisement

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

1 month ago 0 0 0 0
Post image

woah, life goal achieved.

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

1 month ago 192 5 7 1
Post image

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

1 month ago 119 4 8 1

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

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

1 month ago 141 21 3 8
Preview
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...

2 months ago 30 13 4 5

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̷͐ͅ”

2 months ago 95 6 2 1
Preview
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/

2 months ago 80 14 3 7

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

2 months ago 2 0 0 0
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

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...

2 months ago 3 0 1 0
Advertisement
David Bowie - I'm Afraid of Americans (Official Video) [4K]
David Bowie - I'm Afraid of Americans (Official Video) [4K] YouTube video by David Bowie

youtu.be/LT3cERVRoQo

2 months ago 5 0 0 0

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

2 months ago 0 0 0 0
Hold up!! His writing is this fire???

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

my 2 days of GPT-5.2 xhigh so far

2 months ago 0 1 1 0
Preview
Do It (Yves Remix) by underscores on Apple Music

stream underscores

2 months ago 0 0 0 0
Preview
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...

2 months ago 69 15 3 0

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

2 months ago 1 0 0 0