skysight-inc/HackerNews huggingface dataset:
Issue 1: "Some fields, such as "URL" and "Email Address", are privacy-sensitive and are only visible to users with minidump access."[1] - So yes, you should not send crash reports when you are dealing with sensitive data.

Issue 2: That is unfortunate and should be fixed.

Issue 3: The issue for Fenix is not 5 years old, it is now one year old, see [2].

Regarding your ban:

- "I will not apologize for being spicy about these things"

- "It is a fact that you've made it intentionally difficult to use your own product to replicate functionality present in most browsers"

-> See the Mozilla Participation Guidelines - "Be respectful in all interactions and communications, especially when debating the merits of different options." [3] I guess you could have phrased things differently. I will not judge if this is "enough" to ban you, but I do also not know what you were posting before this specific comment, you mention additional comments.

Sources:

[1] https://developer.mozilla.org/en-US/docs/Mozilla/Projects/Cr...

[2] https://github.com/mozilla-mobile/fenix/issues/4337

[3] https://www.mozilla.org/en-US/about/governance/policies/part...
When would you use ByteBuddy versus https://asm.ow2.io ?
Learning in public I think [1]. That is asking things on social media, starting a blog or even better, digital garden [2]. Removing all kinds of friction between sharing, creating and learning.

That assumes the essentials of proper sleep, nutrition and basic fitness are taken care of [3]. Aside from this meta 'help' stuff, the one tool that was a 100x force multiplier for me is Karabiner [4]. Share it on HN all the time but no one uses it. :|

1: https://www.swyx.io/writing/learn-in-public/

2: https://joelhooks.com/digital-garden

3: https://wiki.nikitavoloboev.xyz/health

4: https://wiki.nikitavoloboev.xyz/macos/macos-apps/karabiner
This is not true, as MLTT-style type theories have a different syntactical notion of proof than first order logical theories like ZFC. Proof of termination of type checking for Idris is equivalent to proof that all terms can be reduced to a normal form: for any given term, you can construct another term which when type checked requires fully normalizing the first term. It is well known that proving that the normal form evaluation of all terms in a MLTT type theory terminates is equivalent to the system’s consistency (because the false type has no constructors). This is how proofs of relative consistency of these type theories are usually proved.
Exercising regularly and eating/drinking clean
The problem is coming up with a solution.

India > China and also has a billion civilians.

They are nowhere near that abusive as China. And are more western minded.

What's your best workable solution then?
Obviously this person hasn't tried Jitsi. The whole article reads like an ad for Zoom.
Yeah fair point, one is probably too aggressive with the downscaling. Though a stag environment with an LB and 1 API server will still help you catch problems that you otherwise might not have caught without the stag.
Does anybody know other old 3D flight simulators for the PC? I really enjoy the low poly style but don't know where to start looking.
I use it daily. Picked it up when living in the UK's midlands. No londoner has ever commented on it nor gotten confused.
It must be said that he won his Hugo in part due to the consequences of a openly hostile voting campaign for the nominations organized by people who did, in fact, write for Castalia House.
This looks a little like the NDLR from Conductive Labs. The NDLR is a hardware box. While you can enter chord progressions into it, it's intended for live performance where you enter chords as it plays them.

My issue with the NDLR is that its sequences have no random variation. If you don't keep tweaking the parameters ("noodling"), it starts sounding repetitive quickly.

Any idea whether Warp would run on MicroPython? The NDLR, or a box like it, might make a nice UI.
That's a stored value card. Which does work in a limited context (Japan). You can't use it internationally, unlike contactless EMV.
With white-space insensitive code I can easily cut/paste code from one function to another, without having to potentially manually re-indent it afterwards. This makes refactoring easier.

For formatting, it means I never need to manually add any spaces or tabs: the formatter always knows exactly how to indent it. With whitespace-sensitive code, I have to manually pick the indentation, as different indentations could have different semantics. That's why if I hit tab in Emacs when editing a Haskell file, it will cycle through multiple possible indentions. If I hit it in a whitespace-insensitive language, it will just move it to the "correct" indentation straight away and I don't need to worry about it.

Using {} braces in Haskell seems less intuitive, at least to me. E.g. how would I use braces to avoid the need to manually indent a nested where statement?
> When you make a request using Firefox Voice, the browser captures the audio and uses cloud-based services to transcribe and then process the request.

Is it that hard to do local processing, either due to computational power or storage requirements? Or is it just more convenient for them to do it this way?

Edit: this comment in another subthread kind of answered the question: https://news.ycombinator.com/item?id=24098950

If I'm drawing the right conclusion, it's a bit of both: hundreds of megabytes of storage is fine for most people but not everyone, and while I probably wouldn't listen to the latest and greatest artists (and binary diffs are a thing, small additions aren't that large), it is convenient for devs to just push it to a server and be done rather than pushing model updates to everyone all the time.

Edit2: https://news.ycombinator.com/item?id=24096836 Wait, what?! The data is all sent to Google? I was thinking of using this for their sake (opting into using my data for common voice) but this is an instant deal breaker.
"... say something like, presuming this is a man/woman you would check him/her...": whenever I come across those slashbound pairings I wince, they're just so awkward and mess up my reading flow.

You just made my day — thanks!

P.S. I must have a very low bar, now that I think about it...
Table 1 gives the relation between mask names and numbers.

Having to use the table to relate the pictures to the results does seem very poor.
Nice whataboutisms.

What the people running the US government and other allied governments did after the war in the face of the massive Soviet threat really has nothing to do with this case.
I think you were quite reserved. If you were responsible for fixing something in a company and a colleague spoke to you like that, you'd have them in arbitration faster than they could apologise.
Do they read these books on the job at a separate dedicated time?
Yet they apparently achieved this in a lab. You didn’t explain why it can’t be scaled.
20% ? I'm disappointed. I would have hoped that a nation as smart as China could be more effective than that.
And then there is the massive population of people who burned their productivity with last generation's chat apps and do not dare allow chat productivity destroying software into their workplaces.
I worked as a backend developer and got reimbursed for both a JS course and a machine learning course. As long as you can provide a plausible reason why it makes you more effective, managers are usually more than happy to sign off on it. In this case it was pretty straightforward to come up with a good story on how understanding adjacent product development areas would make me a more effective dev.
> good programmers are usually not good teachers or mentors. And good teachers don't know about the specific stuff on your project.

Can you cite any source?
it might look weird to the foreign eyes but essentially this is just a typed api with 3 routes.

/polls returns an array of Poll.
/polls/:question_id returns a Poll.
/polls/:question_id/results returns a PollResults.

the thing you call a mess is the combination of type level operators which helps you describe your API which is the essence of functional programming.
Falcon 3 probably? I remember playing 1vs1 back then. Not sure if it was null modem or Ethernet/IPX, but I would be very surprised if it didn't support null modem for two players.
Thought it might have been Jet but apparently not

https://en.m.wikipedia.org/wiki/Jet_(video_game)

Had forgotten how good 80s game box design was
My guess is "all roads lead to Rome".
2020 Twitter Bitcoin Scam
I've seen that idea being tossed around, but are there any sort of studies showing that the increased face touching can indeed make the virus spread more than not wearing masks? It's a geniune question, I'd like to see studies related to that.

For me, it's not really obvious that more face touching (even if that happens in significant numbers across the population), causes the virus to spread more than it would have without face masks. Reason being that it seems like spread through surfaces is not as bad as through the air, so making the air cleaner seems better than making the surfaces cleaner to me.
What kind of heathen uses SQLite? Praise our Lord and Saviour Larry Ellison <3.
Read Muellers report, it's rather good and detailed. It just your "normal" meddling, the difference is that thanks to internet its so much cheaper and easier. Muellers report also revealed that Russians ran biggest BLM social media to they can divide you, should give you an idea what is going on right now in your country. Strangely enough media doesn't talk about it. There is no Russian connection there, it's all 'grass roots'.
Seems that in Germany too Apple was able to make the decision to
resist quite risky. So maybe the question should be: is there
any country where the target would be better protected and
wouldn't have to risk so much to resist?
When "mistakes happen", the companies who make those mistakes should be penalized, and the pain should be severe enough that they are incentivized not to make mistakes.
The indentation-sensitive part is probably not a big issue though, Python does well :-)
What will you (be forced to) change the name to when Microsoft takes over?
Yes I like this. I haven't gone there and I may end up with no friends but I feel I may start correcting others on their incorrect definitions on billions.
I think it's a combination of never having contact with customer support or public-facing jobs and this american thing of expecting employees to be on top of customers. It's also a culture thing. Since you are Greek I guess you have a similar understanding to mine on how customer support should work.
Why pay for Slack when you could setup a Discord server for free?
"Su-27 Flanker" by SSI which is the predecessor to DCS.

https://en.m.wikipedia.org/wiki/Su-27_Flanker_(video_game)
Right now you can only help the STT engine by contributing to commonvoice.mozilla.org, where the samples are published to the world. The add-on will now, if you opt into it, keep the data in only Mozilla's and Google's hands. Mozilla has an agreement that Google won't keep the data, but even if Google doesn't comply by the agreement, the number of parties with access to the data will be lower than "everyone".
Needs more cowbell.
> Inspiration is an illusion, an illusion is a lie, it's concealing the truth.

Well, that's a grim and somewhat dramatic view!

We're all motivated in large part by inspiration of some form. I think of inspiration as a kind of fuel that gets one through the inevitable rough patches on the way to mastery (it doesn't matter what subject or what aspect of life). It helps drive both curiosity and grit. People without inspiration in life's-work or career are apt to take the path of least resistance, they appear incurious and bored. That's not necessarily a bad thing if there's inspiration in other parts of life.

So you dropped the undergrad physics major after ONE semester because the "courses were horrible"?? I don't think so. You dropped it because you were 18 and people at that age are flighty and unsure of what to do, that's totally OK.

I do agree, however, that more curricula should take the "forget-everything-you-know-and-start-from-fundamentals" approach. IMHO, undergrad students would be better off if all STEM majors were basically one merged curriculum with a few courses different towards the end. That won't ever happen, of course, as long as people see universities as strictly vocational training and employers think they want subject-matter-experts who can "hit the ground running" on entry level jobs.
I do however admire the American spelling of aluminium it does a great job of making alluminum sound more exotic.
Yep, that's exactly where I was coming from. Thanks.
Stopping deepfake news with an AI algorithm that can tell when a face doesnt fit
We hunt humans in their dens animals have no chance.
In particular programming without writing code in a proper programming language. Knowing how to use Tasker (Android), or AutoHotkey (Windows) or Excel to automate the things you need.

Like in manufacturing, the leverage of technology comes mainly from automating and scaling the repetitive. It's a shame most tools aimed at regular computer users de-emphasize, or fail to recognize entirely, the concept of batch processing.
Ioannidis is one of the most cited researchers ever. In particular he’s famous for debunking bogus science with accurate statistics. He’s absolutely among the top epidemiologists in the world.

Bro, it’s ridiculous to try to downplay his analysis without even trying to understand it. XD
This is suitably obscure. Do you mean inverted commas or a comma?
Also possibly an evolutionary step for frogs to not pray on this particular beatle.

Let the game commence.
Social skills. Nobody can achieve anything worthwhile completely on their own [0]. Successfully cooperating, motivating and especially inspiring people allows to achieve lots more than working on one's own, no matter how skilled one might be.

[0] Of course there are exceptions to this rule, especially in e.g. mathematics. I bet Terrence Tao can eat almost everybody's lunch in math.
Agreed! The problem I see is that the score does not correlate well with the perceived quality of the community. I'm researching that for some time now and am in the process of preparing a blog article with data analysis and solution approaches.

Work in progress:

https://github.com/fdietze/downvote-scoring

https://felix.unote.io/hacker-news-scores
I found it odd that he doesn't mention Stripe which is excellent in B2B.
Its true that we are using Zoom extensively and it works well. But that's just one software. Almost all of my work apps suck apart from Zoom. Especially the HR/Salary portals are terrible to use in almost all companies I have worked so far.
Ex: ZingHR loads for more than 10seconds to show anything useful. The UI looks like it was made with a default styling from one of the many frameworks available online.
If you know such sources, file an issue, and better yet, download the video content yourself and publish a dataset.

But note that raw video content is not training data. It has to be segmented to be in short enough parts for training (few seconds), the subtitles have to be aligned to match what's said precisely, and one needs to balance the data, e.g. when 90% of speakers are men and 10% are women, you have a problem.
Bigger players have the leverage to get companies to do something they don't do out-of-the-box. They can contractually oblige them to do that, as well as sue each other if one side breaks its part of the deal.
>This is a clear failure of our justice system.

It is also ultimately the profound failure of society.
I briefly got involved in wolf stuff in Washington state. Participating in the Wolf Advisory Group and so forth. What I learned shouldn't have surprised me. Here's the state's wolf page: https://wdfw.wa.gov/species-habitats/at-risk/species-recover...

(I don't know anything about the Alaska wolf stuff covered by this article.)

My takeaways:

My state now works very closely with ranchers to manage wolves. Both livestock and wolves are tagged and tracked, to better keep them apart.

Most everyone involved is trying to do the right thing. It was super impressive. So different from when I worked on salmon conservation. The wolf coalition formed by the state, ranchers, and conservationists had a very hard genesis, but somehow managed to function and move forward. And most ranchers were on board with protecting the wolves.

There's always that one asshole who just cannot fucking color within the lines. Our major incidents which made the news (state culling wolves) were orchestrated by a vehemently anti-wolf whackadoodle rancher who grazed his livestock right on top of known wolf dens. This one yahoo purposefully sabotaged the coalition's efforts.

Our current predator management laws are pretty unforgiving and easily gamed. (As of 2017, I haven't kept track of the reform efforts.) Whereas the state has to kill wolves in response to incidents, there are no consequences for the rogue rancher.

I knew ranching was a tough gig. My brief contact reinforced that view. Pre COVID-19, I speculated that most non-corporate ranchers would not survive. Futurist me thinks their salvation is "artisanal" meats, sold to high-end customers (yuppies at farmers markets), until such time vat grown meat makes ranch meat a premium product.

Adjacently, our Federal Bureau of Land Management is thoroughly corrupt and desperately needs a do-over. BLM leadership will continue to block and sabotage any and all cultural, economic, moral progress. Thereby negatively impacting everything from watershed restoration, protecting endangered species, climate change. Etc.
This is correct - I remember people had serious concerns about it in the early 90s when the web first started growing. It gave a vehicle for "the crazies" to find each other, talk to each other, and strengthen their views by validating each other. In many cases, this is a good thing as it allows a healthy diversity to grow in our society. But it is a double-edged sword. While it does help people find their tribe, it also creates unhealthy echo chambers.
Airbus manages to log its first orders after almost 4 months
The Tech Tree is a selection of works intended to describe how the world makes and uses software today, as well as an overview of how computers work and the foundational technologies required to make and use computers.
It isn't rude? How not? I guess we're having a cultural clash here, otherwise I don't understand.

When I'm frustrated I try to collect myself and be mannered. It's not an excuse. Communicating properly not only makes everyone lives better but also allows better understanding. It's more efficient.
Consumer software is so bad now, that business software is competing with it.
They would both filter out the crazies and the Whistleblowers. Bummer we can’t just get the actually useful ones.
In a word: Depends. Microsoft for instance nailed it perfectly. For many years billions of devices ran cracked Windows copies and truthfully that didn't bother individual users in most countries. While illegal, realistically no one was going to bother with 15 year old Jimmy somewhere in the countryside. But they kept insisting on it. Until they figured out that locking and blocking was never going to work. So they adopted the WinRAR approach: "Hey you are running an unregistered version past your trial. This may have legal consequences."

But the thing is that while Windows has many alternatives (I'm saying this as someone who's been using Linux full time since the age of 11), for most people that really isn't an option: while you can get things like Photoshop to run on Linux, the experience is anything but optimal. I don't use Photoshop at all(or any graphics programs). But say my mum who's an artist - she practically has to use Windows. So in that sense, Microsoft has no benefit in open-sourcing anything, even though they have been doing that in recent years. I remember seeing a huge discussion on Twitter last year and several people said that at some point Microsoft will become a completely open-source company. Personally I doubt it, but who knows...

Now let's look at another example - Google, and Chrome in particular. As a browser, Chrome has a million and one alternatives, many of which are very good. So having an open source alternative is in their best interest - think of how many browsers [1] use and contribute to the chromium engine - it's a win-win situation for everyone: Big community, a thousand eyes looking into it's internals(and undeniably catching security flaws).

Then again, this isn't always applicable. Even more so with javascript and npm in particular, which has turned everything into an endless rabbit hole of packages, dependencies and before-after install scripts.

[1] https://en.wikipedia.org/wiki/Chromium_(web_browser)#Active
Having no type system (e.g. Forth) is different from having dynamic checking for your types (e.g. JavaScript, Python, Julia iirc), though.

Julia also has Common Lisp-like multimethods, which are pretty nice, especially for linear algebra sorts of stuff, where you might be multiplying a scalar by a tensor, or a tensor by a tensor, and don't want to have to specify different syntax for the two operations.
My intuition was that the doubling of the consonant was to prevent the modifying effect that the e would normally have. For example bat->batted. Bated doesn’t work because it looks like it should be pronounced the same as baited.
I don’t know if it’s the right thing to do but the consulting company I work for pays for all staff to do whatever online courses (Linux Academy, A Cloud Guru, Udemy etc...) that lead us towards getting certifications such as GCP or AWS certs (which they also pay for), personally i don’t agree with the ecosystem of proprietary certifications but on the other hand i do appreciate the opportunity to learn while being paid and the certs do help your future prospects for many people, additionally we can opt in to be sent to conferences such as DevOpsDays, BlackHat/Ruxcon, YOW etc... which they will pay for (within reason). They do so because they have a good hiring process where I truly believe they’re very good at only hiring committed and driven people.
For technical subjects just give me a reimbursement for training materials - Udemy, PluralSight, O’Reilly, etc.

Sometimes it can be as simple as having lunch and learns. For awhile it seemed like every company I went to wanted to have one on Domain Driven Design.

Let employees do proof of concept work with new to the company technology and then do a deep dive presentation.

But personally, I don’t like to be “taught”. I prefer to learn on my own.
Thanks - I had actually missed that on my skim-through.
Buy TrustPilot Reviews – Buy 5 Star TrustPilot Reviews
I wonder if this could be a good business move by PrePear or future companies.

They could turn this into a David/Goliath battle and get some huge social media awareness for their business and goodwill via doing the 'right thing' and standing up to the bully with some well prepared posts and updates. That at least to me attracts my sense of justice and would steer me to giving a companies services a chance where relevant.

Even if they capitulate after expenses start to grow, it could be a solid marketing strategy to at least attend the first hearing.

So, maybe doing a fruit logo for your next startup isn't such a bad idea.
-ize is better for scrabble players
It does well but I'm not happy when I move code around and have to manually fix the indentation level at destination and check if I inadvertently broke an if or some loop. My editor does it for me with other languages and I have one less source of bugs.