quamserena

6 ms·

1.
by quamserena 2mo ago
This is trivially preventable via affine types
2.
by quamserena 5mo ago
You can also read the text yourself and draw your own conclusions...
3.
by quamserena 6mo ago
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 have the know-how on how to do it have nothing to gain by doin
4.
by quamserena 7mo ago
This is why you use uBlock Origin.
5.
by quamserena 7mo ago
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!
6.
by quamserena 7mo ago
By scanning downloaded binaries for known viruses?
7.
by quamserena 7mo ago
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 actual copyeditor to edit your book.
8.
by quamserena 8mo ago
This has happened multiple times [0]. You shouldn't put your money into Polymarket [0] https://old.reddit.com/r/CryptoCurrency/comments/1jki1lj/pol...
9.
by quamserena 9mo ago
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 then Yomitan to hover over and see word definitions (in Eng
10.
by quamserena 9mo ago
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 it’s also a full programming language, so you can write your
11.
by quamserena 9mo ago
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, and error handling. Bison/Menhir et a
12.
by quamserena 9mo ago
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...
13.
by quamserena 9mo ago
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 though because you can put them on while doing other stuff, li
14.
My experience with Lean 4 for general programming(quamserena.com)
6 points by quamserena 9mo ago|0 comments
15.
by quamserena 9mo ago
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 it’s 35 posted, it’s because it’s 6 lanes and 35 feels slow.
16.
by quamserena 9mo ago
Omg I thought this was just me. How do I turn this off? On iOS, this has been bugging me for a long time.
17.
by quamserena 9mo ago
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 that a lot of proposals for apartment complexes get voted down.
18.
by quamserena 9mo ago
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 locations of buttons.
19.
by quamserena 9mo ago
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 want to undo it. Like wtf? I can’t use my calendar app wi
20.
by quamserena 10mo ago
Zig’s announcement[0] might provide some insight [0] https://ziglang.org/news/migrating-from-github-to-codeberg/
21.
by quamserena 10mo ago
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 Linux VMs because so much software development happens in Lin
22.
by quamserena 10mo ago
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 of their language.
23.
by quamserena 10mo ago
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 trigger words you could then use those words to cause genera
24.
by quamserena 10mo ago
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 could you possibly know if it’s really a Greek question mar
25.
by quamserena 10mo ago
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 :(
26.
by quamserena 10mo ago
I have seen engineers slap Teensies on a PCB and call it a day, so it’s definitely normal. It’s faster than having to route your MCU, USB, debugger, etc. manually, so there isn’t really a drawback as long as it physically fits there.
27.
by quamserena 10mo ago
It clearly hasn’t been passed through a PR team or ChatGPT; if it had been you’d expect them to fix the grammatical errors. It’s an honest stream-of-consciousness blog post almost certainly written by Charli XCX herself and herself alone ab
28.
Referential Transparency(quamserena.com)
1 points by quamserena 10mo ago|0 comments
29.
by quamserena 10mo ago
I’ve never had AI understand a problem of that depth though. It can maybe surface the right part of the docs to reference but in the times I have used it it leads me down the wrong path half of the time.
30.
by quamserena 10mo ago
I don’t understand how this can be more optimal than just reading the documentation that a human already wrote. All “normal” uses can be answered by reading the docs, everything advanced you can just read the code. I’m not sure when I would

More ›