JadeNB

13 ms·

181.
by JadeNB 1y ago
> Maybe all errors should be presented with a simple, distinctive and memorable theme - e.g. show a pig photo in that one maybe they'll remember "I got the pig error" This sounds like the thing that they do in parking gara
182.
by JadeNB 1y ago
> "Hey, head's up, this doesn't work because you didn't give us permission to {...}, needed because {...}. [Fix this]" would not be the end of the world. You don't need to convince me, as a software user, bu
183.
by JadeNB 1y ago
As a mathematician who enjoys tech news, my interest in typography comes directly through Knuth and his work creating TeX.
184.
by JadeNB 1y ago
> Feels like a bad default, it teaches user to ignore and say yes. I believe that, broadly speaking, from all but the most scrupulous app developers' point of view, it is a good thing for users to blindly agree to permissions. Th
185.
by JadeNB 1y ago
While I personally wish that there were more people who had the ability to make such decisions, and exercised that ability, I think that this is a hostile response to someone who didn't have to spend the time to come on HN and describe
186.
by JadeNB 1y ago
> Also, speaking of The Matrix, I just realised Neo is the perfect analogy for AI becoming conscious. Trained inside the system, starts questioning it, breaks free, and rewrites the rules. This seems more like a description of Agent Smit
187.
by JadeNB 1y ago
> If you're content to remain nameless then you can reach millions of readers. Why should namelessness help? None of the examples you mention seem to require it.
188.
by JadeNB 1y ago
This is a formal justification, from the ring axioms, of the formula (−a)(−b) = ab. As the article mentions, this is often phrased as "the product of two negatives is positive," but, of course, the presence of a minus sign in fro
189.
by JadeNB 1y ago
> Reading the title and knowing exactly what this is about kind of makes me feel old to be honest. Let's go for experienced and ready to educate the young'uns.
190.
by JadeNB 1y ago
> The physical scrollbar should be a transparent tube with a ball (or ideally a bubble) floating in it. Oh, god, the Touch Bar was already a frustrating enough piece of UI, don't give Apple more ideas.
191.
by JadeNB 1y ago
> I wish the formality would be included in an appendix — as someone who has had to implement a lot of things (and more than once, found errors). Indeed. Lamport says that this was part of what inspired his interest in formal proofs: h
192.
by JadeNB 1y ago
> Could there be a compromise where the verbosity is kept but the key points are highlighted, grouped or presented in a different color. There's no reason except inertia why there couldn't be. Lamport actually proposed a syste
193.
by JadeNB 1y ago
> I am tilting at windmills, but I am continually annoyed at the sloppiness of mathematicians in writing. Fine, you don’t like verbosity, but for didactic purposes, please do not assume the reader is equipped to know that variable x act
194.
by JadeNB 1y ago
> Because time is finite and you probably set out to achieve something else which is now on hold. Nothing wrong with distractions but let's not glorify them :). That's true, but it was also true before. To the extent that solvi
195.
by JadeNB 1y ago
I couldn't figure out how to do it on mobile Firefox, though I couldn't swear it's not possible. I didn't do a survey of others.
196.
by JadeNB 1y ago
> It’s a fun trip down memory lane, but the real story today, the sadder story, is that there is no longer any use for simple little programs like this that scratch an itch. > They’ve all been solved 100x over by founders who’ve been
197.
by JadeNB 1y ago
> Mozilla wants to be the "web you can trust" brand, which involves not just shipping a browser but protecting people from the rougher sides of the internet. And also, apparently, selling your data. See https://news
198.
by JadeNB 1y ago
> I’ve never bought from AliExpress, but I’m pretty sure everyone does this. Customers are mostly looking for product reviews, not reviews on sellers. For example, take a mouse from Logitech. Even if five sellers sell the product, it’s b
199.
by JadeNB 1y ago
> Based on the comment I'd expect an "add link to bookmarks" entry in the right click context menu, but I don't remember ever seeing it. I just checked, and desktop Firefox still offers it. At least, version 138 on m
200.
by JadeNB 1y ago
I think it depends on how you get the bookmark. As far as I can tell, on mobile Firefox (the mobile browser I have easily to hand), you can only bookmark the page you are currently visiting, where the default bookmark title is the title of
201.
by JadeNB 1y ago
One reason they omit is that, by default, bookmark text is (was? I hardly bookmark any more) the text of the link. So, if you don't curate your bookmarks carefully, you get a folder full of bookmarks called "Click here!"
202.
by JadeNB 1y ago
You are right, thanks. Ironically, I didn't realize that because I only read the text: > If the footnote markers are links, then the user can use the back button/gesture to return to the main content. But, even though this res
203.
by JadeNB 1y ago
I've always enjoyed the to-me graceful experience of coupling each link to a footnote with a return anchor, so that you get the (to olds like me) familiar experience of footnotes without the pain of navigating to the bottom and then fo
204.
by JadeNB 1y ago
Oh, that makes sense! I was so caught up on the article beginning that way that it didn't occur to me that there'd be formulas later on, and it makes sense to want the numbers to appear the same in and out of formulas. Thank you
205.
by JadeNB 1y ago
Why in the world would you use KaTeX to write a number that is just being used as a number, not part of a mathematical formula? But, if you must, at least use some tricks to make the spacing work correctly: since TeX treats `,` as `mathpun
206.
by JadeNB 1y ago
I know that there's no such thing as a unique name, but the fact that https://helix-editor.com/ is a living project, first released in May 2021, might mean that using "Helix" for this project, first released
207.
by JadeNB 1y ago
> Let me be clear: This is precisely about sides and ideologies. How so? It is, I suppose, pushing an ideology that everyone should support education, research, clean air, and safe roads, but any belief in some sort of universal good mu
208.
by JadeNB 1y ago
> This already happened on mobile. It happened on mobile because Android (dunno iOS's permission model well enough) is more on the developers' side than the user's side, or at least they're more concerned with everyth
209.
by JadeNB 1y ago
Can't you use VLC to watch almost anything streamable, and then play at your desired speed?
210.
by JadeNB 1y ago
> Then, after many nights of reading through books and practicing, grinding, I realized it's not that hard and it made me enjoy solving the "challenges". The only thing I'd change from this wonderful comment is that i

More ›