Viewing profile — quamserena

This is trivially preventable via affine types

You can also read the text yourself and draw your own conclusions...

These discussions always focus around enforcement and never on alignment. The moat for this stuff historically has never been strict enforcement; it has been that the people who ha…

This is why you use uBlock Origin.

I wish it would just say "k, updated xyz to 1.2.3 in Cargo.toml" instead of the entire pages it likes to output. I don't want to read all of that!

By scanning downloaded binaries for known viruses?

You can simply ask the model to point out if there are any problems and then fix them yourself. You don't have to copy and paste its output into your book. You can also pay for an …

This has happened multiple times [0]. You shouldn't put your money into Polymarket [0] https://old.reddit.com/r/CryptoCurrency/comments/1jki1lj/pol...

I can second this, after finishing my intro Japanese classes I was able to parse the grammar of most sentences. Memorizing vocab was the hard part, so I used OCR on manga pages and…

Most existing mainstream languages aren’t expressive enough to encode these invariants. For languages outside of the mainstream, Lean 4 is a language supporting verification, and i…

Not really. Here’s a comparison of different languages: https://notes.eatonphil.com/parser-generators-vs-handwritten... Most roll their own for three reasons: performance, context,…

He was bought out by private equity.[0] That’s why the channel is different now. [0] https://www.electrify.video/post/electrify-completes-majorit...

3blue1brown has great math visualizations. I find the top 10% of YouTube videos are worth the time over reading, and the bottom 90% are comparable or slower. Those are also nice th…

Part of the public pushback is that people almost always drive the “feels like” speed and not the posted speedlimit. We build 6 lane roads and then wonder why people go 50mph when …

Omg I thought this was just me. How do I turn this off? On iOS, this has been bugging me for a long time.

this sounds nice, but neglects the fact that (1) materials cost has gone up and (2) zoning requirements exist. (1) means its just more expensive to build overall, and (2) means tha…

Yes, I agree. Maybe if you’re a fast reader icons don’t do much, but for people who are illiterate (20% of America) they figure out how to use tech by memorizing the icons and loca…

Thank god, toasts are so annoying. Every little action in Google Calendar has an associated toast/snackbar to go with it that tells you exactly what you just did and asks if you wa…

Zig’s announcement[0] might provide some insight [0] https://ziglang.org/news/migrating-from-github-to-codeberg/

I am in university currently and I run Linux, and the only thing that I have needed Windows for has been SolidWorks. Everything else has worked just fine. We’re actually provided L…

This works for ASCII, and you could just “smush” these special Unicode chars into ASCII lookalikes but then your AI won’t be usable by people who actually use these chars as part o…

I think the bigger problem is that if the dataset was sufficiently poisoned, LLMs could start producing Greek question marks in their output. Like if you could tie it to some rare …

Including RTL-LTR flips, character substitutions etc? I think Unicode is vast enough where it’s possible to evade any filter and still look textlike enough to the end user, and how…

Why not just rip the audio file off? Would make for a funny DC request Edit: On second thought this could be an OPSEC problem. Sorry but I don’t know if anyone can help you :(