porridgeraisin

Yeah especially the "rather than a replacement for more traditional forms of analysis" in one of his comments here tipped me off.

This is nice. I like this editor, will try it out. The beginnings of a "mode" exist in vim, with plugins like tinykeymap that let you get into "tab manipulation mode" or "wind…

> And once that’s done, the data suggests there will be no turning back: > Users are three times more successful signing in with passkeys than with passwords (98% versus 32%). > 99% of users …

Exactly:)

I use the "stackless" stacked PR git workflow mentioned in the article. I also add a bit of niceness to it so I don't have to remember the commit IDs: So git has a notes feature, this i…

Also, Azure let's you run quantum code. You can in general start with these search keywords: qiskit caterpillar yosys.

I think both are really capable. However anecdotally, I notice myself doing way less of the "annoyed, cancel response, extend prompt instructions, regenerate" cycles with Claude as compared …

Jeez, had the article been any more drawn out we could have connected them to a publisher.

Nothing to do with the nature of the language. Rather it is to do with the nature of humans. Rust code when it is old enough to be referred to as "fossilised" will also likely evoke the same…

I prefer GitHub.com/tj/n. It's really nice.

How do you use audio/video consistently across browsers? It looks quite different across the browser/platform combination matrix.

Bracketed paste might help you. It's an option for readline so it goes in ~/.inputrc. There's a way to set these options in bashrc as well which I don't remember. It inserts a cont…

Hmm downvoted. I suppose there are many CEOs that hang around this forum...

> Had nothing to do with the decision of denying someone health care. What? He's the CEO. If we are to be agreeable that CEOs deserve a huge paycheck since they're the "buck stops he…

Great, thanks

> why don't we cut the salesman BS Salesmanship is exactly the process of making money out of BS. So bit of a tautology there :-)

This is nice. How do we choose currency?

What are you talking about man

> pre-compute Or it could be a SAT or something that's easy to verify and hard to solve.

Brave search uses it. From my limited understanding, it sends a time-consuming javascript function and its input to your browser, and has your browser calculate the output and send it back. The server…

WebRTC doesn't need it either in principle. The stun server is only to exchange IP addresses for the purpose of hole punching through NATs. Even in p2p implementations that use kademlia, you need…

> require internet access It's a PWA and works offline perfectly.

Useful, correct-enough information > objectively pedantically correct information. When people say lack of server infra in the context of a screensharing app, it is plain and obvious they exclude S…

I disabled brave shields for a moment and wow. Especially the youtube-like iframe that slid in from the right. Crazy.

Truecolor. Already a deal breaker.

BWNT new tab is my favorite: https://chromewebstore.google.com/detail/bwnt-new-tab/doiinc... …

One slept on filesystem cli tool on linux is `gio`. So it comes with glib2. But today glib2 is a dependency of vte, polkit, pipewire, ffmpeg, the entire gtk ecosystem,... you get the point. So you can…

> Whether those new sources of truth are better or worse is irrelevant.

I hate XDG. I prefer app/kinds-of-data. If home directory clutter is the problem, I would prefer having a ~/crap folder. So it would be ~/crap/.cargo