skysight-inc/HackerNews huggingface dataset:
> the users had, instead of altering the formatting appropriately, removed this automatic numbering, because Microsoft Word doesn't make these sorts of distinctions clear and explicit.

You can get into much worse situations than this once you leave the "happy path" in LaTeX.
You mean overstate.

For some reason, I've been noticing this mistake more and more lately.
Performance regression testing framework for Sync at Dropbox
I don't mean programming literally (although there are plenty of papers on programming abstractions, especially in the functional world) but just computer subjects in general whether that is cryptography, complexity theory, hardware or something else.
In case anyone's interested, it's possible to schedule light and dark themes on Windows via this app:

https://github.com/adrianmteo/Luna

I usually prefer the dark theme but some websites detect that Windows is in dark mode (using `prefers-color-scheme: dark` in CSS) and fail to provide a way to toggle the dark theme off. This makes it difficult to read the text during daytime.

Scheduling dark theme on & off and combining it with Dark Reader's automation, it's nice being able to have all websites switch to dark mode at night.
Red Hat is still all open source, its owner isn't.
Coronavirus Apps Show Promise but Prove a Tough Sell
Thanks for sharing! That whole article is wonderful.
> The search warrant was authorized as investigators tried to learn who sent a chat message to a planning group on an emergency alert platform, urging people to speak out publicly about Florida's coronavirus strategies.

> The message stated, "it's time to speak up before another 17,000 people are dead," according to member station WFSU, citing the probable cause affidavit.

> As the agents enter, one points their weapon upstairs. Jones says the agents pointed a gun at her and at her children.

It's hard to convince me that we're the "good guys" when we're pointing guns at children because their mother spoke out against the official government position.

I'm sure she'll get off without a conviction after draining her life's savings to defend herself. Hopefully it launches her career, if there's still a democracy left. At least they didn't execute her.
> It's a common way that pseudonym aficionados refer to their civil names.

Fair enough. That verbiage made me think you were a "freeman on the land" or something.
Forth: By reading Starting Forth by Leo Brodie and by tinkering with FlashForth on an Arduino. I also got about half way through Thinking Forth, also by Leo Brodie but it is much more about project planning and management than Forth.

Janet: I am already familiar with Lisps and Janet borrows a bit from Clojure syntax with its table and array syntax. It wasn't much of a stretch to pick up. I used Janet to build some small command line tools. Nifty Lisp that I plan to use more in the future.
In my case, yes, it is by choice. But do you think everyone has a choice? JavaScript is a power-hungry, memory-hungry, bloated, security nightmare. Requiring JavaScript for basic functionality (that was available not that long ago!) is simply hostile.
Here's a fun Fake TED Talk on why On Her Majesty's Secret Service is both often overlooked, and also quite possibly the best Bond movie: https://www.youtube.com/watch?v=ac8JWzyNI6c
If the argument that people who use Word that don't really know how to use it can end up using it inefficient ways, then doesn't it even more apply to Latex. I could probably come up with an anecdote about someone who tried to use Latex but spent hours trying to figure out how to get the format they wanted and got frustrating trying to debug their scripts.

If we want to compare tools, we should not compare expert users of one tool with novices of another tool.
Why do sites need to "release" front-ends? Everybody can write javascript clients to send GETs and POSTs to any company's back-end server!

Making it a single button that enables a different theme that a professional designer somewhere has signed off on is a much better user experience for almost everybody when compared to the "write your own CSS" option. Even if you automate it with a browser extension, you're still giving that extension read+write access to the site, hopefully it's trustworthy!
Exactly. The question this product answers is "How can we have consumers get used to another $500 Apple expense every two to three years?"

A hardware subscription of sorts.

As they did with the AirPods ~$150 bi-annual "subscription". And the AirPods Pro $200ish bi-annual "subscription".
Chromium, as built in many open-source distributions, uses a per-distribution Google API key for service access. [1] [2] [3]

If built without API keys, Chromium warns 'Google API keys are missing. Some functionality of Google Chrome will be disabled.' [4] [5]

The APIs used include [6]:

* Calendar API

* Contacts API

* Drive API (Optional)

* Chrome Remote Desktop API

* Chrome Spelling API

* Chrome Suggest API

* Chrome Sync API

* Chrome Translate Element

* Chrome Web Store API

* Chrome OS Hardware ID API (Optional, Chrome OS)

* Device Registration API (Optional, Chrome OS)

* Google Cloud DNS API

* Google Cloud Storage

* Google Cloud Storage JSON API

* Google Maps Geolocation API (Optional)

* Google Maps Time Zone API

* Google Now For Chrome API (Optional)

* Nearby Messages API

* Safe Browsing API

* Speech API

[1] https://git.alpinelinux.org/aports/tree/community/chromium/A...

[2] https://github.com/archlinux/svntogit-packages/blob/packages...

[3] https://git.launchpad.net/~chromium-team/chromium-browser/+g...

[4] https://chromium.googlesource.com/chromium/src/+/9a11dadde80...

[5] https://sources.debian.org/patches/chromium/83.0.4103.116-1~...

[6] https://www.chromium.org/developers/how-tos/api-keys
Humans have limited ability to discriminate between directly in front and directly in back based solely on cues encoded in the audio. It is a well-known ambiguity in how we hear space along that narrow axis. How you arrange the sound sources doesn't matter much. Research has demonstrated that human perception of a sound being "front" or "back" is determined by non-aural sensory cues. Specifically, if you can see a plausible sound source in front of you, you will hear it in front of you. Front-to-back spatial discrimination is based almost entirely on the visual cortex providing a model of the space in which the sound notionally exists.

In practice, humans subconsciously compensate for ambiguous front/back spatial positioning by turning their heads, putting the sound source on an axis where they do have excellent spatial discrimination. For obvious reasons this doesn't work well for headphones. Unless, of course, you have some kind of head tracking built into them.
I want to Upvote this more than once. So much facts into a condensed into a small essay. Good job!

Money quote: "Event-sourced architectures like these suffer many such isolation anomalies, which constantly gaslight users with “time travel” behavior that we’re all familiar with."
Yeah, if you are lucky enough that your cart and inventory is stored in the same database.
https://github.community/c/github-help/dark-mode-beta/65
It does not need to be relative to anything to be “bad”.

A state-owned company in a totalitarian empire is part of a system that suppresses freedom of speech, uses forced labour, conducts genocide, seeks to undermine democracy overseas. That’s why it’s bad.
Oracle Linux: A better alternative to CentOS
Yeah, it’s wild stuff. The linked Radiolab episode below discusses (among other fascinating things) how fungi are responding to climate change by choosing to trade more with trees that are better suited to the new climate; I’m guessing that they get a “better deal” from those trees. Fungi farm forests.

I don’t remember if it’s in that episode or if I read it somewhere else, but fungi will also help parent trees to preferentially provide nutrients to their offspring over other trees of the same species. Perhaps that uses the same mechanism: “this tree tastes a lot like that one, let’s pool their resources.”

The more I learn about forests, the more I see them as superorganisms. I guess that’s what an ecosystem is; it’s just getting harder and harder for me to differentiate a cell vs a plant vs an animal vs an ecosystem in many ways—scale being the main difference, and complexity quite close to it. But that perceived complexity could be an artifact of my perspective as a conscious participant at the scale in which I live, and my familiarity with “what behaviors matter to humans and organisms more like humans.”

https://www.wnycstudios.org/podcasts/radiolab/articles/from-...
I've never had any issues. I've ran with cabled headphones and it's fine.
I don't have much experience with Apple stuff, but recently I was tasked with getting a Macbook onto the most recent OS revision.

I actually never managed to do it, and had to call for backup. In order to eventually do it, this other person had to install multiple updates, each of which seemed to only be accessible from some different piece of UI, and a lot of the process seemed to trial and error and dead-ends.

I don't think Apple stuff "just works" nearly as well as people claim it does.
Valley of the (Silicon) Valley: The blind spot conundrum
Extremely cool. Reference counting with cycle collection might be an idea whose time has finally come.
never, Ever, EVER trust Oracle. Especially with something as important as an open source product. Evidence: Oracle's Sen. VP Glueck statement that "There is no math that can justify open source from a cost perspective." No chance you'll ever see me running OEL.
FireEye, a Top Cybersecurity Firm, Says It Was Hacked by a Nation-State
I love using dark themes, however all of the ones I found online have their own deficits and broke whenever GitHub pushed an update.

I have no interest in designing my own as I have a terrible eye for design and am equally terrible at visualizing changes, making the process take forever. If I can click a button and make dark theme work, that's fantastic.
git: https://github.com/wuxx/icesugar
icesugar maker: https://twitter.com/JohnnyW11773607

he has his own shop on aliexpress
Exactly. I wear a single AirPod when going on runs, walks, and on my cycling trainer, and the difference is night and day; I don't know why it's so frustrating to have an earbud ripped out of your ear, but it is.

My AirPods are one of the few things that if I were to lose I'd buy again immediately.
FireEye discloses breach, theft of internal hacking tools
Hard to dance around with good cans :)
Yay, will be upgrading my small cluster first thing tomorrow morning. Nomad is one of those pieces of software that gives me hope that I can still enjoy myself working on all layers of the development and operations stack.
Even if not implemented in such a sophisticated manner, "meaningful availability" is a better metric than pure uptime/downtime for most websites.

At one startup we worked at we had availability problems for some time, with the service going down in a semi-predictable manner ~2 times a day (and the proper bugfix a few weeks away). Because once a day the service went down was in the middle of the night with no one on call, pure availability was 80-90%. Given that it was a single country app with no one trying to do any business during the night, meaningful availability was ~99%. Knowing that gave us peace of mind and made tackling the problem a much more relaxed ordeal than the crunch time for a few weeks I've seen at other companies in similar situations.
Attention Is All You Need

https://arxiv.org/abs/1706.03762

It's from 2017 but I first read it this year. This is the paper that defined the "transformer" architecture for deep neural nets. Over the past few years, transformers have become a more and more common architecture, most notably with GPT-3 but also in other domains besides text generation. The fundamental principle behind the transformer is that it can detect patterns among an O(n) input size without requiring an O(n^2) size neural net.

If you are interested in GPT-3 and want to read something beyond the GPT-3 paper itself, I think this is the best paper to read to get an understanding of this transformer architecture.
Institutional Discrimination Preparation
I'm attempting to create a primer on self-protection when working in an abusive environment as a guide for others.
Suggestions?
Re Google Photos:

Checkout "Stingle Photos" [1], very similar stack to what you described.

[1]: https://stingle.org/
oh .... well then what's the point of a commercial license? You'd only need it if you customize the original Qt source code and don't use it as-is, right? Or if you want support beyond forums/mailing lists?
We don't need to kill regular SNI to fix that problem. If a site's DNS record indicates that it supports eSNI, and a connection with eSNI fails, then the browser should hard-fail. And middleboxes can't lie about whether a site supports eSNI, since that's protected by DNSSEC (and it should be coming over DoH anyway). This would break the bad actors without breaking every site that didn't upgrade to eSNI.
Sure, but it's probably possible to design something better too, that would let users do more complex things without dying. Maybe you don't need it for your usage, but this seems a bit like a Blub problem[1].

Keep the same core design of compiled source code files, but there are many things that don't make any sense. As just one example having to use the `\makeatletter` / `\makeatother` hack to change the visibility of macros seems completely insane to me when we have had languages with fine-grained visibility control for decades. This is one of the many things that make using many packages together needlessly hard.

[1] http://www.paulgraham.com/avg.html
some of us just aren't the target market. I don't get it either, but I'm coming to realize I'm in the minority.
if you use icestudio, there is also: RISC-V CPU for OpenFPGAs - https://github.com/Obijuan/RISC-V-FPGA
Hardcore System Monitoring
Wow.. I literally just migrated my main production mail server to centos8 hoping to let it run for another 10 years...
I guess it is time to study alternatives..
Office word processor designed for basic documents can't compete with academic/technical typesetting tool for academic/technical applications?

I think Word is a pretty mediocre product and has some ludicrous limitations. But really - this is just as nonsensical from the other side.

Word and LaTeX not comparable tools and they're not designed for the same job. Comparing them makes as much sense as comparing a bicycle with a skateboard.
> It's not the only sensible definition

Right, which is why I said it's just one sensible definition. :)

Although I guess there's at least two sensible definitions of arithmetic on List<int>, too.
Same, for me, being able to use two languages at the same time is critical. But don't ever see myself paying monthly for a keyboard
False dichotomy; but anyway, the deep sea is just about as inhospitable as Mars. Nobody living there long-term, not without a huge investment.
Whoa, if this does what I hope it does I'll be ecstatic! Thank you!

(Here's the Chrome extension link for anyone who's interested: https://chrome.google.com/webstore/detail/svg-screenshot/nfa...)
Sure! But the same is true of Word, or CSS for that matter. Any layout system is going to run into this issue: since the space of possible layouts is so big, it's almost inevitable that users will decide they want something that isn't well supported by the system. If the system is sufficiently powerful, they will be able to achieve their desired layout, at the cost of wrecking usability / maintainability.

MS word is also perfectly usable, as long as you don't try to do anything weird (as the example in the article illustrates!).
> Do your "solved problem" bluetooth headphones allow EASY audio sharing when the kid is sleeping and you want to watch something with your wife? These are two bluetooth devices on same audio stream.

Yes. Samsung has supported this for years and it has recently upstreamed to all android devices. You can literally do this with any phone and any bluetooth devices, you don't need to fork up $500 for the priviledge.

> Does your solved problem bluetooth headphones RELIABLY connect to your current device (without having to unpaid with another device).

Yes. The Bose QC35 II for example can store multiple bluetooth connections on the device and switch between them. They cost half as much as the Apple cans and are all but guaranteed to sound better than the plastic cones Apple uses.

> You should go back and listen to the criticism of the airpods when they came out - overpriced, stupid, whatever. Then check out sales numbers.

I won't argue that. Apple certainly moves product - there's a significant portion of the population that would buy anything they put out.
The classical chicken and egg problem every platform has but in this case even more obvious because there are no consumers yet so the number of producers is also small.
Is there still no visual indicator that the wearer is in transparency mode? I am frequently in situations where I'm out in public and something warrants saying, where one or both of us are wearing airpods. Transparency mode would be worth so much more if other people were able to see that I can hear them, and vice versa. There have been so many improvements to apple devices which are obvious to anyone with an eye for what's missing but for which we've had to wait 5-10 years before they materialize, if ever. I am resigned to this being something I can look forward to in 2030.
Similar: emacs can take SVG screenshots of itself:

https://gist.githubusercontent.com/alphapapa/65b0b9d4b3f5534...
>> We had been warned in orientation that half of us wouldn't survive the year. In class, We were warned again that half of us were doomed to fail, and that ECE 352 was the weed-out class that would be responsible for much of the damage.

What an absolutely shitty attitude towards teaching. "We're going to let half of you fail". But that's not the failure of the students: you're their bloody teacher! You're the one who's failing to teach them!

Gah.

(I've read to the end of the article, I know he's complaining about the same thing, I just had to get that off my chest thanks).
> I, a consumer, want bassy sounding headphones

> Then you should buy these neutral sounding headphones, and mess around with software to make them sound bassier
Patches for those security issues are embargoed until specified dates. Red Hat simply cannot add them to CentOS stream before that date.
The FSF reacted to companies like TiVo tightening their grip.

I don't think GPL3 really affected adoption of copyleft licensing. Permissive licenses were gaining already.[1]

[1] https://redmonk.com/dberkholz/2013/04/02/quantifying-the-shi...
I bought and sold my MX3s having had this exact experience, and have been waiting for Apple to release over ears so that I could have the same seamless experience I have with my AirPods Pro.

The number of times I’ve had to pull my laptop out of the overhead compartment on a flight to turn off Bluetooth so I could pair them with my iPad meant I eventually gave up using them. As you say, definitely a first world problem, but I guess that just means I’m in the target demographic.
I explained the logic: By having tooling and tests it place, I am protected against gotchas and I haven't ever encountered a problem. Thus, i do not advocate you must ommit semicolons. I am saying "it doesn't matter what you do" provided you have the tooling in place. Do whatever feels best, what you like, what you feel comfortable with.

And here is the upside: I've minimized the time I spend arguing about this detail with my colleagues to 0s. Because it doesn't matter :)
You can't say that and then not link the comment!
> doesn't prevent infection

My understanding is not that it doesn't, just that this hasn't been proven yet.
I took a quick look at the source code. It's providing end-to-end encryption with libsodium, using crypto_box [1], crypto_secretbox[2], and crypto_pwhash for password-based key derivation [3].

The public key model appears to be TOFU [4]. It's doing a distinct crypto_box per notification [5]. It doesn't use an authenticated key exchange or offer key rotation or forward secrecy, but that's probably fine for this use case. Not too long ago, I wrote a guide to end-to-end encryption [6], and I would classify the "end-to-end encryption" here as meeting the minimum definition (data is encrypted between devices, rather than in a client-server architecture where the server has access to plaintext), even if it's not suitable for more sensitive threat models.

One thing I didn't see was message padding of location data prior to encryption, to prevent side-channel attacks via ciphertext length. [7] I don't know if I missed this, or if it was omitted.

[1] https://github.com/zood/george/blob/52ddae2b5f65d324e1785c2d...

[2] https://github.com/zood/george/blob/52ddae2b5f65d324e1785c2d...

[3] https://github.com/zood/george/blob/52ddae2b5f65d324e1785c2d...

[4] https://github.com/zood/george/blob/52ddae2b5f65d324e1785c2d...

[5] https://github.com/zood/george/blob/52ddae2b5f65d324e1785c2d...

[6] https://soatok.blog/2020/11/14/going-bark-a-furrys-guide-to-...

[7] https://ioactive.com/ssl-traffic-analysis-on-google-maps/
Feedback about Flashcards Boxes – my Spaced repetition flashcards application
Hey, I recently uploaded my application Flashcards Boxes to the app store. I know there are some similar applications in that area, However, I thought I could make some things a bit simpler from UX perspective and draw some attention to it.
I'm looking for some helpful criticism & feedback for my application and my store listing?
What could make you choose some flashcard application over anki and some familiar names?
Are there any features you wish were in anki?

Thanks
I think you're misinterpreting "value is more than revenue or profit." I read it as value is more than historical revenue or profit. It seemed that was the intent from the rest of that comment.
That in no way explains why they don't continue to have both. They indeed will have both for another year. There was no requirement the Stream product even use the CentOS name.

CentOS was a community project whose leadership and control was taken over (acqui-hired as you say) by Red Hat and then it's core use case for the majority of people actually using it was discontinued. That is a statement of facts that happened as I understand them, not some spin on my part.

If Red Hat had not stepped in, perhaps some of CentOS problems (trouble getting releases out on time) would have been worse, or perhaps some other companies would have stepped in. We don't know, but we do know that CentOS has not been changed to be something different than it was before. It used to be a free re-spin of RHEL. Going forward it's something entirely different.

Red Hat always had the option to stop funding/providing resources to CentOS and name their new thing something else, but they didn't, and now they've effectively co-opted CentOS to be something different than it was originally intended to be.
Old version of Photoshop (3.0, 4.0, ... CS5 up to CS6) gave you a license key you could sell. It didn't include a time limit. It was yours and you could sell it or use it forever. That's gone.

You can try to find old licenses for CS6, sure, but at some point, but it's a very different purchase and licensing system from what they have now.
I’d be happy to know more about the single node use case. I considered Nomad in the past for this, but it seemed optimized for a cluster, and I ended up using Docker Swarm instead.
Dataform (YC W18) has been acquired by Google
While I do appreciate my AirPods, especially for noise cancelation/pass-through modes, the possibility of dropping them or having them fall out while running does weigh on me.

I still love wired headphones too, especially because I never have to think about charging. I run the wire under my hoodie so there’s no issues with it snagging.
Running modern versions of software on CentOS 7 can be a giant pain due to the old version of glibc that’s baked in.