HackerTrans
トップ新着トレンドコメント過去質問紹介求人

skybrian

26,885 カルマ登録 17 年前
Retired software engineer and amateur accordionist.

Accordion videos I like: https://mastodon.social/@skybrian/tagged/accordionsongs

Social media: https://bsky.app/profile/skybrian.bsky.social https://tildes.net/

Blog (inactive): https://skybrian.substack.com/

投稿

Mitigating Prompt Injection with Finite Automata over Agent Trajectories

dystopiabreaker.xyz
2 ポイント·投稿者 skybrian·4 か月前·0 コメント

Codebase Is the Prompt

blog.exe.dev
2 ポイント·投稿者 skybrian·5 か月前·0 コメント

Go.sum Is Not a Lockfile

words.filippo.io
3 ポイント·投稿者 skybrian·6 か月前·0 コメント

コメント

skybrian
·1 時間前·議論
Depends on what kind of curve it is. 60% reliable is useless in most safety-related fields and getting to near-perfect reliability is tough.
skybrian
·1 時間前·議論
You say "just" 15 years, but Waymo is still only available in a few cities. That seems more like a slow, cautious rollout to me, not a fast takeoff. Society has had a lot of time to get used to (and tired of) the idea and come up with regulations.

My guess is that the deployment of other types of robots will often be a similarly slow grind.

That's unlike the Internet, smart phones, and coding agents, which got user adoption at a much quicker pace.
skybrian
·5 時間前·議論
It's unclear to me why they needed to compile Rust to WebAssembly to write a website. It looks like iroh has a JavaScript API:

https://docs.iroh.computer/languages/javascript

Edit: actually, that's a Node.js-specific API. For browsers, it seems like they should have a platform-independent JavaScript/TypeScript API that includes a WebAssembly file (if needed) instead of expecting you to compile WebAssembly yourself.
skybrian
·6 時間前·議論
Military power, sure. In Ukraine they hit everything they can see.

But during peacetime, you don't make money running a delivery service that way, so it's not going to replace those jobs.
skybrian
·8 時間前·議論
The "and physical" is the part I'm particularly skeptical of. Sure, drones are scary, but nobody's really solved getting a robot to deliver a package to your front porch in a civilian setting, and it seems unlikely to be solved quickly.
skybrian
·15 時間前·議論
> you couldn’t find out what time the movies were playing because moviephone just redirected you to their app

Uh, movies are definitely not more "real" than YouTube videos and they're just as passive.
skybrian
·17 時間前·議論
You don’t need a Mac Mini just for that, but they’re fairly inexpensive (or were anyway) and quality is very good. The people who buy them may never use all the performance available, but they’re more interested in convenience than getting the cheapest thing possible.

You can sort of justify it by assuming it will last a long time and they’ll use it for other things, too.
skybrian
·昨日·議論
At that point does it make sense to use http/3 to avoid head-of-line blocking on the network?
skybrian
·昨日·議論
What’s an example of a study that you think is convincing?
skybrian
·昨日·議論
A more modern way to do this might be to support WebAssembly plugins.

The extensions might need to be rewritten, but hey, we have AI for that now, so why not :-)
skybrian
·昨日·議論
Before Facebook, after people lost touch with their high school or college friends, they often didn't have a good way to get back in touch again.

This is harder to do accidentally now, for better or worse.

But I suppose there are lots of other alternatives nowadays.
skybrian
·昨日·議論
I wonder if it would help to ask it to write a rough draft and then reorder it?
skybrian
·昨日·議論
I think it's still useful in a "hello world" sort of way. It means you actually tried the new model.
skybrian
·一昨日·議論
If you can’t resolve imports to source files then no static analysis tools will work. So, it has to be plugged into the compiler somehow.
skybrian
·一昨日·議論
The TypeScript compiler is (was) slow, but you don’t need it to minify code. This sounds like some other problem with the tools in your project’s build. (There are faster tools available these days.)

A faster type checker will help with performance problems in text editors since type info is needed for a lot of queries.
skybrian
·一昨日·議論
Deno resolves import statements in its own way. For example, you can import URLs and JSR packages directly, but the file is usually loaded from Deno’s global module cache. To resolve imports you need to look at the deno.json file and deno.lock file. They also added Deno Workspaces (monorepos) which adds more complexity.

This means you need to plug an import resolver to the TypeScript compiler. Deno uses the TypeScript compiler API, but all the import resolution code is in Rust. I’ve done a partial reimplementation in TypeScript using a coding agent, but there’s quite a lot to it.

I don’t think Deno will be able to upgrade until the TypeScript compiler API is ready.
skybrian
·一昨日·議論
[dead]
skybrian
·3 日前·議論
No TypeScript compiler API yet, but I'm encouraged to hear that they're working on it.
skybrian
·3 日前·議論
I’m wondering about privacy tradeoffs. Looks like they’re similar to Discord where the chats won’t show up in web searches and you can’t read anything without joining. But if anyone can join, it’s not like Signal either and end-to-end encryption wouldn’t make sense.

(They do have end-to-end encryption for video.)
skybrian
·3 日前·議論
There's a Cambrian explosion of promising-sounding AI tools, all of which seem to work reasonably well for their authors, but it's unclear which ones to try. It seems like what we're missing are in-depth product reviews?