skysight-inc/HackerNews huggingface dataset:
The potential application is hinted at with the slide "OSS-Fuzz@Home". Akin to the SETI@Home* mass-distributed computing project, this has the potential to scale in a HUGE way. Anyone with a web browser could simply load the fuzzer and contribute cycles... No need for any big downloads, any installs, special software, configuration or anything! Just visit a page and you're golden.

I wonder if Google will actually build on this. It's a great idea.

[1]: https://en.wikipedia.org/wiki/SETI@home
The goal is to slowly move higher levels into that list.

e.g. in the past it was just domains and subdomains.

Today there are already some TLDs on the list themselves.
Rcpress – Nice static documentation website build tools
Where’s My Flying Car? Silicon Valley Fails to Remake World of Flesh and Steel
Fascinating. So that’s how well-intentioned people kill the free press.
Yes, I was mostly replying to the parent comment. And in general seemed liked everyone in this thread was getting urine on their hands.
Thank you for the article!
Another great library for visualizations in Clojure and ClojureScript is https://thi.ng
You want to ask Hilbert ;-) Yes, there are. You/we can not programmatically derive all mathematical truths from ZFC ("the basic math axioms"). E.g. we recently had the Collatz Conjecture here on HN [1], and I strongly suspect that it can be neither proven nor falsified. Also, if one could solve the Halting Problem that would be quite useful.

Thanks to Gödel we know that we might be not just stupid apes, but that some things are indeed undecidable (even if they must be true or false).

[1] https://news.ycombinator.com/item?id=21780068
Why the idea that the world is in terminal decline is so dangerous
We have our helpdesk ticketing system linked through Google Mail. We have to find another solution.
Especially the online versions of those "well respected publications" publish unverified things all the time. Often they get taken down or completely rewritten within half an hour, and of course are worded in a very speculative way from the start.

There are also countless of "articles" in those (like the NYT, WaPo, WSJ) that are nothing more than a press release with some shallow context sprinkled in, without any independent verification or actual journalistic work.

This doesn't provide a risk of publishing false information ("we are just reporting on the press release"), but is often misleading and of little value to the reader.

At the minimum a list of sources with a link to the press release (and probably nothing/little else) would make it easy to see that a article is nothing more than a shill PR.
The top selling newspapers in the UK are tabloids though, rather than well-respected publications. I don't think that contradicts smt88's point.
Employees != poor people, necessarily.
'val' does not make something immutable. It makes it read only. That's very different. You can still call a mutating method of the val entity.
For chess variants, it has been possible to describe the rule in Zillions of Games format and get a serviceable AI for playtesting in return.
Which part specifically of the GIEC memo was Damore being an asshole?
You can't have HTTPS everywhere until we can get HTTPS for IoT devices. My router doesn't serve it's configuration screen via HTTPS. How could it? I have to connect to it to configure it before it's on the internet.

Same with my IoT cameras and all the various local apps I run that can start a web server. Heck, my iPhone has tons of apps that start webservers for uploading data since iPhone's file sync sucks so bad.

We need a solution to HTTPS for devices inside home networks.
That's why you set custom NS records for _acme-challenge.domain.tld to your own NS servers and use the DNS challenge to get your certs.
e is related to the complex numbers through trigonometry. And pi is related to trigonometry more directly than that. But e and pi are not related to each other; "being related" isn't transitive like that.

Consider correlations. A correlation is necessarily "transitive" if the correlation values are very, very close to ±1, and not otherwise. If a correlates with b at 0.7, and b correlates with c at 0.68, the correlation between a and c might be 0.69, but only by coincidence.
Correct but there is nothing preventing the use of Passivhaus technology in commercial buildings.
With backslashes before newlines you can do “multiline oneliners” too.
I like it, very interesting informaton. Thank you for sharing this:)
Understandable. If you're grappling with the concepts (regardless of whether you're sharing your opinion) that is a good thing to me. Being able to think without the influence of fear is one of the most important abilities to practice in my opinion. Fear keeps the individual alive, but it is self-serving by nature. When considering more than oneself it is important to consider more than one's feelings. Thanks for your time.
ITER would produce 150kg of helium a year in steady state operation. It’s not clear how close to that’s it’s going to be, but it’s going to be producing some helium unlike those other methods mentioned.

Of course that’s currently only worth ~6,000$ so it’s not being collected. But, if that’s the only option at 100,000x current prices it might be used.

Hypothetically, if 30% of the world’s electricity was generated by fusion they would be producing ~350,000 kg of helium per year. Still well below current production, but also not an insignificant amount.
Is it me or does the below sound condescending?

Trying new features is a good way to broaden your skill set, and if there is something you strongly dislike about the usability of a feature you can even provide feedback to the JDK developers.

To me it reads like: Try our experimental features because that will make you a better (rounded | paid) developer, and if you really really want you may even provide feedback.
> we're trying to create the barbershop of the future

I think you are wholly out of touch with barbershops in most of the country. They are social places. People go, sit for 15, 30, 60 minutes waiting for their haircut talking to each other. In the past several years a lot of them have gone back to the 'old timey' setup with the 'old timey' garb even. The barbers don't just run some clippers over your head as fast as they can, they take their time. Even if you want a #2 all over they're going to use scissors, clippers and a straight razor. They're going to use warm lather to create crisp, shaved, lines, they're going to talk to you, you're going to talk to them, you're going to talk to other people sitting around, you might play a game of chess or checkers with the person next to you while you wait.

Barber shops, for many decades, have been social hubs. Places for men to go for an hour or two and shoot the shinola. Have you actually visited non-chain barbershops? Have you talked to any barbers or stylists? People build relationships with their clients, barbers and stylists have social media presences even now where they show off their skills and highlight clients.

What you are trying to create is a way to save the military money when they process people at basic training, which will probably actually cost them time as a skilled barber can do a buzz cut comparable with what your machine will do in a fraction of the time.

Even chain establishments, like Sport clips, sell you an experience. Every employee is wearing referee garb, everything is sports themed, sports content are on the televisions, the stores are decorated like locker rooms, hot towel, neck massagers, scalp wash, beard/neck trimming, etc.

What you're trying to replace is people like you that don't seem to like interacting with human beings and want everything as efficient as possible and just want a buzz cut. Most people are not like this. You're going to have a very tiny customer base, if your product can even legally be used (this stuff is regulated on a state by state basis, requires licensing, requires certain health standards, requires a human and varying amounts of training, zoning comes into play for where you can set up shop etc).

I also offered you dozens of questions elsewhere in the thread, none of which you addressed. There are a LOT of hurdles here.

I think you are in desperate need of actually talking to stylists/barbers, visiting some barbershops and salons and doing some reading research.

https://www.thefader.com/2017/10/23/black-barbershops-photo-...

https://www.wnyc.org/story/fear-black-barbershop/

https://www.artofmanliness.com/articles/rediscovering-the-ba...

https://www.forbes.com/sites/bisnow/2017/07/06/barbershops-a...

https://www.ogleschool.edu/blog/resurgence-of-the-great-amer...

https://business.mindbody.io/education/blog/barber-shops-tre...

https://nearsay.com/c/456502/306271/why-barbershops-have-see...

https://scandinaviantraveler.com/en/lifestyle/retro-barbersh...
OCaml vs. Haskell (A Parodic Take)
> The ongoing pattern is that "at the time it seemed like the right thing to publish", when in fact it's just about spinning the spin.

This reminds me something I read recently: The Court concluded that "because the articles in their entirety were substantially true at the time they were published—even though the investigators' suspicions were ultimately deemed unfounded—they cannot form the basis of a defamation action.

https://en.m.wikipedia.org/wiki/Richard_Jewell
Scala has had this for a long long time: https://docs.scala-lang.org/tour/pattern-matching.html
Nice!

One application could be distributed fuzzing, where anyone can partake in fuzzing important software (eg. OpenSSL) by just running a web page in their browser. Native binaries are less suited for this because adequate sandboxing is hard, but the security properties offered by WASM and browsers make this no less secure than running any other web page.
With this, anyone can contribute to the quality of OSS without any technical skills, anonymously and free/cheap. For vendors willing to pay bounties for (OSS) software bugs, their current process can be automated and participation is incentivized. Offering bounties (like Google does now for OSS-Fuzz integrations) for new bugs or code coverage incentivizes development of superior fuzzing/static analysis/symbolic execution tech and submission of custom-made inputs; without a centralized tracking and verification system, this would be much more tedious to organize. WebTorrent might be used for distribution of corpora/new inputs.
> but more often then not information comes from a quick Google search

Sure, and this info should be attributed to the reporter, who gets full blame when it's wrong. Though I do agree it'd be nice (in a world where the First Amendment didn't exist) if there were a rule banning such weasel phrasing such as "Some say that" and "according to several experts [who are never named or specifically referred to]"

As for articles being a rewrite of press releases or other articles; yes, that's obviously an issue, and one that many journalists get irate about. But even in most of those cases, the sourcing is clear: "[Regurgitated rewrite of news lede], as first reported by the New York Times [link to original article]".

But for the archetypical article containing original reporting, here's an example of how a source involved in an article might not get listed:

Original article: https://www.nytimes.com/2019/11/03/business/drunk-driving-br...

Behind-the-scenes writeup that acknowledges an expert who isn't named in the article: https://www.nytimes.com/2019/11/03/reader-center/breathalyze...

The reason why the expert wasn't named, even though he was very helpful throughout the reporting process, was because the article's ultimately relied on the content of original documents. The expert helped lead the reporters to those documents, but his expert opinion was not needed and thus not cited for the article's authoritative conclusions.

It's true that reporters often won't credit where they first got a tip or where they saw something. But if they do their own parallel reconstruction – e.g. they first read an anecdote from a viral tweet/Reddit thread, but then they track down the original source themselves – as a reader, I ultimately care who the reporter and their editor explicitly say they vetted/vouch for, when it comes to the published version of the info.
I'm trying to understand what your point is, are you denying that there was a vulnerability?

As it stands it just sounds like you are just being a jerk on the internet.
There is no real penalty for publishing fake news as if it was truth. Whole websites and media companies do it as a matter of course (often for political or manipulative purposes). 5.6M to Bloomberg is pocket change. There are of course still journalists with a burning desire to report the truth, but it's far easier and profitable to ignore it today.

When the internet started we all thought that the truth would finally prevail only to find out the non-truth is easier to amplify.
I ride busses around Seattle a lot and have never seen or heard of it happening. I'd be willing to entertain the possibility, but I don't believe it without evidence, and someone saying they are scared of it happening doesn't count as evidence.
Thank you for all the examples! I've read the book, but don't have all of it in active memory, so I appreciate your list as it helped me remember different parts. I have to look up the mold-eating part because I remember it as hilarious.

Three other more or less absurd parts of the book that I enjoyed was the (apparently true) concept of different sized arms of tennis players, subsidized time (Year of the Whopper, Year of the Trial-Size Dove Bar, Year of the Depend Adult Undergarment), and how half a state in the US is turned into a giant landfill that waste is catapulted into.

The two things I remember vividly from reading the book is how funny it is, and how it would take me a page or two in the beginning of each session to get into the rhythm of the language. It's similar to Cormac McCarthy (I currently read Blood Meridian), where the special cadence of the language makes both IJ and BM very pleasurable to read.

https://infinitejest.wallacewiki.com/david-foster-wallace/in...
Perl and Raku Conference 2020 Amsterdam
Most captive portals I've seen use HTTP redirection to the actual domain of the captive portal, so it would still fail as soon as it follows the redirected URL.
Agreed ^. The classic example of screaming fire in a movie theater...
When you say humans "goto space", you're probably talking about going to orbit. As such, the problem isn't that space is "up high", it's that fast is "very fast".

This "XKCD What If?"[0] explains this concept pretty clearly.

[0] https://what-if.xkcd.com/58/
The solution is to make the default connection port 443 HTTPS and allow people to drop listening on port 80.
It's actually a fairly old method, that's recently gained popularity as functional programming interest increases.
Personally I see CMake as the best way to work with portable C/C++ these days, as it supports Linux/Mac/Windows, including library-detection and everything else a traditional autotools "./configure" script does.

That said, I'm not a fan of the CMake scripting language, which is quirky and error-prone. It should be easy to write a new 'Find' module, but it's not. There should be officially documented design patterns to make the task trivial. There still aren't.

CMake gets the job done, but it's surprisingly difficult to work with.

</rant>
Not if you don’t tell them/give it to them
Specifically, "mathematical truths" here meams statements that, while logically independent from ZFC, are not independent from e.g. ZFC plus Con(ZFC). Or Con(Con(ZFC)), or Con(for any n, Con^n(ZFC)), or even more elaborate varieties. AIUI, part of what Recursion theory does is characterize these "true" consistency statements. The field is closely related to, e.g. halting oracles in TCS.
Thanks for sharing my curated playlist
If the Vinci website itself had been hacked, and the faux press release distributed from there, Bloomberg would obviously have a strong case. That doesn't seem to be the situation though, and so I'm curious to what channel this fake press release came through, e.g. a spoof email or Twitter account.
The author writes as if for adults it was far in the past (their youth) that they ate simply when they were hungry, not regulated by clocks. But what did the adults and roman society do on cloudy days or dark seasons? Did they have some kind of more expensive or less accurate back up technology for darker or cloudy days? Did cloudy days imply a group of "clock people" turning hour glasses?

Perhaps water clocks? Perhaps people working in the roman baths also ran water clocks? Was entrance to roman baths free? How long could one stay in the roman baths? Perhaps their aquaducts was more important to them than only for roman baths and sanitary infrastructure, but also for timekeeping on cloudy days?
We're not screwed if it's limited to just a degree. Things start getting dicy at 2 degrees, more severe at 3, and so on. To what extent society can adapt and mitigate is a guess. The climate modes are about the climate, not how human civilization handles it.
It’s a very small company and I’m the lead developer. I know exactly what is being worked on and what timelines are involved. The replies I got when I suggested all of this was something akin to “Why now and not before? Why this project and not the others?” Even though the majority of what we work on was originally developed prior to Kotlin going 1.0 and I had already laid out my reasoning. It felt like excuses due to simply not wanting to learn and maintain something new simply because they didn’t see any benefit, even though I also explained the benefits in my original suggestion.

Thanks for your thoughts, though, I’ll take them into account.
Because even Certbot is a massive pain to setup if you're not using a very generic setup
For me it also works fine. Maybe, it is because of your geolocation? I know, that some websites ban special places :(
No offense, but that's probably you. Even if I try to read that as condescending, I have a hard time doing it.

I read that as: trying new stuff in code generally makes you a better programmer. And when you test stuff that's still in an experimental phase, the language designers are probably still open to feedback from the broader public.
I wonder if anyone has ever generalized "make" so that it can operate on general dependencies and tactics rather than always on files? The sort of thing I mean is that you'd be able to write:

url_exists(http://example.com/file): file
rsync file example.com:/html

I've had a few attempts at this (most recently in 2013: https://people.redhat.com/~rjones/goaljobs/) but never really arrived at anything satisfactory.
> if only we set some Humane controls in place

Sorry but that's brutally naive, even ignoring we talk about China here. Usages will be for more efficient warfare, more obedient general populace, easier surveillance of the same, and of course enhancing super-rich beyond what it means to be a human being.

Some of the progress will eventually trickle down to common population, but I can see very easily how this could be a net (and huge one) loss for mankind as a whole.
What do you really get out of a Java or Python REPL?

If it’s the simple kind like python in bash, it’s really primitive compared to an IDE where you can inspect things. Why doesn’t a simple project suffice?
HTTPS will protect you against hijacked DNS requests as well.
Supreme Court Won't Hear Case on Ban Against Homeless Sleeping in Public Spaces
Why do browsers punish non-verified certs much harder than no-cert?

If I want to quickly host my page and use encryption, then I have go through all that hustle to make it work. Perhaps allow use of self-signed certificates on same level as http instead of blocking my website.
So choosing Kotlin over Java boils down to some syntactical differences? Nah. The syntax differences between Kotlin and Java are not even that huge. It's not like choosing between Elixir and Erlang, or between JavaScript and ReasonML.

The main differences between Kotlin and Java are:

* Kotlin forces null checks.

* Kotlin arrays are invariant.

* Kotlin does not have checked exceptions.

* Kotlin has first class functions.

* Kotlin sealed classes don't really have an analog in Java, AFAIK.

I don't find data classes to be a big deal. The best thing about them is you get `copy()` for free.
We (I) really would like system where I would enable the languages/characters that I support/recognise and the rest would be displayed as a number in a box.
But Kotlin doesn't have 100% interoperability! There are features in Kotlin which don't map nicely to Java features. For example you can't call methods with default arguments from Java without resorting to unreadable hacks relying on a way defaults are implemented (same is true for Scala).
To what, Scala or Kotlin? Anything that reduces the excessive boilerplate of Java is a step in the right direction.
Thanks for that. I think I'd misread something then and thought that it could work both ways.
I think that a good python library with some UI elements would be the best choice. The issue is that with any other UI tool (MS Access, Power BI, Alteryx, etc.) you eventually end up with edge cases or business requests that you can't fulfill. Me and my team are writing our own python library for automation, etl, scheduling and such and so far we have been successful in converting 1 alteryx user to our approach. It's not much but I think it's the right way to go about automation and data analytics.
Yes, it seems like it is behind the times. It doesn't matter much at the moment, as there are no real IPv6-only services of relevance (unless you need to connect to the private IPv6-only NAS of a friend or sth like that).
Happened to me just the other day.

I added a makefile to a project that didn't yet have one, and I didn't have makefile support added in my IDE.

Got some weird, unhelpful errors when trying to run make, and eventually realised spaces were being used instead of tabs.

The solution was to configure my .editorconfig file to use tabs for makefiles, and as a nice-to-have, to also install a makefile plugin in my IDE.
A tweet gave a journalist a seizure, bringing new meaning to ‘online assault’
Weird takeaway, but you do seem to be in a bad mood. This isn't reddit - maybe you need to log off.
This article summarizes Martin v. Boise even less accurately than NPR did 2 days ago. Here’s an actual explanation: https://news.ycombinator.com/item?id=21796211

It’s incredible how few journalists get this right, even though it can be correctly explained in a sentence.
None taken! I'm getting allergic to corpo talk lately and it looks like I'm overreacting!
If you're doing anything other than a unity build (single compilation unit) you're doing it wrong.
> I'm compiling some 100k lines of legacy C (for a custom operating system) plus compat shims that make the thing run on Linux and my very very trivial build script (plain posix compatible shell) takes less than 5 seconds to run in debug mode.

That's why /you/ don't need make. But there are plenty of 100k line projects that would take much longer, like nearly anything written in c++ for example.
I love it. But I think it cheats a tiny bit by getting a word that requires only characters from "false". It means you're demonstrating the same trick four times.

Maybe you could do a kind of proof:

1. This is how you get any character
2. This is how you call eval()
3. QED
this is staggeringly hilarious. wow.
No, they literally don't. In the past reporters got bonuses for the number of market-moving stories they broke, but that was predicated on the stories being accurate. That bonus program is no longer extant.
You only chose to live that far from work, in a place that gets a foot of snow, because you assumed you could make the journey in a petroleum car. It wouldn't have been possible 100 years in the past and it won't be possible 100 years in the future. Same for your employer choosing not to provide showers.