skysight-inc/HackerNews huggingface dataset:
Yup, the amount of times I've clicked on the image up follow through to the site hasn't changed between either version either. This just makes things more of a hassle.
Yup I had this same experience. You could try some ips and end up controlling the teacher's screen that was being projected to the class.
Threatbus: connect open-source threat intelligence tools
not for me. maybe cookie based? try a private/incognito window
> There are so many articles on HN where the top comment is by somebody with deep domain knowledge who provides some kind of original insight that fits into the low length and polish expectations of a comment

This is now a myth. HN used to be like this but look for yourself, it's no longer like this. It's no longer worth my time to dig for worthwhile nuggets in the HN comments nor is it worth my time to post a high quality comment because I know the only responses will be nitpicks and a few worthless internet points.

PS: There's a vague rule about not criticizing HN that gets invoked fairly often. Be prepared for this thread to be gassed.

EDIT: Dropped off the internet due to a DOS? Snort is fun. Hi dang and friends!
My thoughts exactly. Diversity is really important if you're open to your assumptions being challenged and learning from those with different perspectives.

Invite only tech communities can actually be harmful if these open access communities don't also exist. Closed communities end up reinforce existing inequalities and in-group biases. If it were as large and influential as HN, inequality like this would be a real issue.
They had to deal with SARS and are trying a more aggressive approach this time.
It’s not only those that you personally know. I was invited by a complete stranger, for example.
It's clear that there are many infected people who have not been confirmed, possibly on the scale of 100,000. Most will probably show mild to moderate symptoms but expect total deaths to rise into four figures.
Because it’s as exactly as RileyJames said above. It was ultimately my own doing but was masked by the strange relationship eNom has/had with Google. It felt like extortion, but wasn’t in reality, just business practices that don’t put the customer first.
This article is two years old - think it’s been well established that sites need https, if for no other reason then browsers and search engines punish you in a variety of ways for not having it. Certificates are free with let’s encrypt so there is no excuse not to anymore.

In the case of Cloudflare (or any CDN) best practice is to reject requests not from the CDN. Cloudflare doesn’t support AWS S3 compatible storage directly - it won’t make signed requests - but you can write IAM policy that only responds to certain IP.
Really enjoyed the overview of all the ahead-of-their-time features introduced by IE!

I feel like many people forget that, back when it completed against Netscape, IE really was the best browser on the market. The problem was that once they had “won” the browser war, Microsoft just completely abandoned development, allowing the product to languish and become the terrible abomination many of us remember having to write ridiculous workarounds to support.
There's a site that is basically oink 3. Don't forget that what itself was a successor of oink. Not sure if it's against the rules to name it. It seems much harder to get an invite to it than it was for the previous 2 though.
Airfare Analysis Paralysis and Rules for Overcoming
I also found the "speed of numpy" part of the title amusing.

Reminded me of a quote that went something like "C has the low-level power of an assembly language combined with the high-level usability of an assembly language."
Anecdotal (not official) reports suggest as many as 100,000 infections in Wuhan area. There are claims the virus may be spread through eyes as well as inhalation. Additional unsubstantiated claims suggest low to no fever during incubation period, making detection difficult. The most sensationalist claim making the rounds is that a known Wuhan area PLA biolab may have failed to contain this pathogen.

In the end none of the above matters at all. What matters is the willingness globally to take political and economic action to contain transmission. The World Health Organization's failure to declare this a global emergency is risky if the characteristics stated above turn out to be accurate. Timing is key.
most of these seem like a good personal ethos to have, even if you're not a journo
Do you think you'd get more than 15k visitors if the image wasn't on google images as all?
I really liked this idea too until I realized that it's really easy to come up with an excuse like "this doesn't make any sense". Which often times, is the real reason. I don't think mods have time to investigate each little spat and confrontation if someone chooses to "abuse" the system.

I think HN's current system of keeping a limited window open so that comments that in general are disagreed with will be downvoted makes sense. Honestly, I think it's even kind of brilliant, and I am not sure what system would be better.
Throwaway society: Rejecting a life consumed by plastic
For automation I like to have at least something like AutoHotKey or Sikuli, because there will always come up little temporary tasks that are time limited that you don't have the time to learn the apis needed to automate it before the whole task is supposed to be done, but the task itself is still so tedious and time consuming that it might run over time if not automated.
Invite only? Google in beginning was the same, hence why I never made a gmail account and stayed on yahoo, which allowed me to easy move from it to protonmail 15 years later. Also Facebook was the same, only students were allowed in beginning, which meant I never made a Facebook account either.
Yes, I have.

Let's Encrypt ACME challenge resolved this from now on. However, I'm using a really old machine + OS, and the nginx version I'm running is old enough not to be compatible with it.
So, instead of having a hard time updating the server, I decided to migrate the site to a newer machine (even because some AWS technical limitations don't let me migrate to a new instance type).

~10 years ago I slacked in getting an HTTPS certificate as this would have meant a lot of money.

~ Today, I want to use the ACME challenge with Let's Encrypt (no need of OV for a portfolio website), but I never find the time to finish the migration (that should take more 4 to 16 hours).
The big issue here is whether one can reasonably think that "using an app that I bought in an app store" offline requires the app developer to provide a service.

Long ago, we'd buy video games, and the multiplayer servers might eventually go offline--- but the single player modes were offline. Now, for nearly no technical or gameplay reason, we have games that require connecting home for singleplayer, in turn allowing game publishers to arbitrarily yank the rights to the game.

Massive EULA aside, what does "purchase" mean anymore, and do customers have a reasonable understanding of what transaction they're entering?
Even if it is not lost sales, there's obviously an increased cost associated with breakage in that you have to buy new goods at the wholesale price to replace the ones that were stolen. Grocery stores, for example, have gross margins of about 10-15%, so even if "lost sales" is not entirely accurate, it's close enough that it's not going to severely misrepresent the size of the problem. Perhaps in the case of a luxury goods shop where the gross margins are 50%+ this is not the case.
> What is the most complex property that has been established in TLA fully automatically with no hand tweaking etc for more than 50,000 LoCs? And how does that complexity compare to for example the complexity of the formula that has been used in the verification of SeL4?

TLC, a model checker for TLA+, is commonly used to verify arbitrary properties -- at least as "deep" as those used in seL4, and often deeper -- of TLA+ specifications of a few thousand lines. Those properties can informally correspond to codebases with hundreds of thousands of lines, but there is currently no method for formally verifying arbitrary properties of 50KLOC, be it automatic or manual. Automated methods, however, are used either for deep properties (quantifier alterations) of few k-lines of spec/code or shallower (though still non-local and non-compositional) properties of 50-100KLOC. Manual deductive methods are virtually used for nothing outside of research projects/teams, except for local, compositional properties, of the kind expressible by simple type systems.

I clarified further here: https://news.ycombinator.com/item?id=22146186

> So first-order logic is not deductive, because it doesn't yield a direct proof of FALSE?

In any logic you can work deductively in the proof theory, or in the model theory. DPLL SAT solvers work in the model theory of first-order logic. Also, SAT solvers work on propositional logic, not first-order logic. Because of completeness, we know that every model-theoretic proof corresponds to a proof-theoretic proof, but that's not how most SAT algorithms work (except for resolution solvers).

> There is an interesting question here: what is the precise meaning of "deductive"?

It means using the syntactic inference rules of a proof theory, rather than the semantic rules of a model theory (possibly relying on completeness meta-theorems, as in the case of propositional logic, although that's not relevant for most interesting first-order theories). SMT solvers employ SAT, and can work on some first-order theories. I am not familiar with all the techniques SMT solvers use, but I believe they employ both proof-theoretic and model-theoretic techniques. In any event, as I mentioned before, SMT solvers are rarely used alone, because they're very limited. They are used as automated helpers for specific steps in proof assistants (TLAPS, the TLA+ proof assistant makes heavy use of SMT solvers for proof steps), for local properties of code (e.g. OpenJML for Java, in Dafny and in SPARK) or as components in CEGAR model checkers and in concolic test systems.
I think that when our reputations are on the line, that we act much better but also discard the grit and sharp edges that are the catalyst for interest and growth. I believe that we begin to converge on a single, aggregate pseudo-personality that is the most accepted register for communicating within.

Karma points enable this convergence because they are the only metric that we can do data analysis on comment quality, and so build into the various user interfaces.

So we can all think of many combinations of karma and account - 4chan, reddit, hackernews, youtube (which was trying to require given names); The concept of a website displaying account progeny is both an affront to privacy (in both directions) and a remarkable way to improve comment quality, which I make no effort to define.

The invitation only model seems to scale only so far, as all "cool parties" start off cool because only the cool people are invited (cool in this sense means compatible: consider both artificial and natural boundaries such as a physical party of people congregating for social purposes, a private web forum, or even the internet itself, which was initially available to only those that could enter and navigate it). We have euphemisms such as "Eternal September" to connote the perpetual ruining by outsiders infiltrating what was previously more private.

I vastly prefer to allow the unsanitized comments to enter a feed, and root through them so that people are not behaving as though being watched. It's exhausting but because both extremes are allowed to exist, the comments with the highest signal to noise ratio are often the most honest. Anecdotally I have found (exceedingly rarely) the most honest, insightful, or inclusive comments are on a site like 4chan, with the least restrictions and the least incentive to build a reputation (it's impossible). On hackernews, and I know I am projecting, I believe that we artificially act better than we are, on average, because we have something here to lose. A clever post turns into a job reference, or a reference to work becomes discovered by a future boss, etc.

Ultimately I am glad that all of these combinations exist. Losing a cultivated registry of who's who would have an immediate loss of largely high quality comments, but losing the wild west of anonymous bilge leaves us with no place to be our most honest, regardless of how much or how little it contributes.
I disagree. An example that immediately comes to mind is the 737 MAX grounding. People very experienced in flight systems and the way the Boeing software is designed appeared (from where!) with some absolutely fascinating insight that I haven’t read elsewhere.

It doesn’t happen often, but HN doesn’t often discuss things outside of its wheelhouse either. Usually we’re litigating matters of opinion, usually about whether JavaScript is bad or not.
Perf+capacity / cost

DX/UX/UI

Fit small to medium business (i.e. better resource management decision. Yes, that imaginary scaling thing)

Price predictability

---

Launching a production on DO: 1 LB + 2 droplets + 1 managed PG. That's pretty much to cover a huge portion of problem space you are solving for customers. Mostly enough for a sustainable business.
Firstly, I like HN. I've been regularly visiting this site for over a year, and I like the content and commentary.

And while I like the idea that anyone can join, it would be really nice to limit the down vote for the same reasons outlined in other comments here.

Someone I work with put it bluntly when they said "Just post a polite but witty reply to something on Hacker News and watch your points tumble like corporate stock after a security breach."
Trueskill
From what I've read it came from bats. Most probably bats being eaten.[1]

Bats have been the source of at least 4 pandemics. It's interesting to note that current coronavirus spreading in China and the SARS outbreak of 2003 have two things in common: Both are from the coronavirus family, and both were passed from animals to humans in a wet market.[2]

I tried to put together a page for coronavirus in China here where I tried to gather all the information in one place in order for us to easily follow stuff (https://thestrife.co/wuhan-coronavirus-media-coverage) and photos[3].

1. https://www.vice.com/en_us/article/xgqy3n/scientists-now-thi...

2. https://www.businessinsider.in/science/news/experts-think-th...

3. https://thestrife.co/wuhan-coronavirus-gallery
Ten years ago I thought there would be a cultural shift towards wearable spy technology. Now I wonder if there will be a shift towards developing anonymous masks worn as part of a cultural norm.
Would this map of neuronal connections be the same on all fruit flies of that species?

Or does it vary between individuals?
TikTok was also spending something ludicrous (probably the majority of whatever investment $$ it had?) on ads in its early days in order to build a userbase.

(Don’t remember the exact details, but I recalled being surprised at seeing their spend per user/retention rates on an app trend analysis site a year or two back.)
Another reason for requiring feedback for downvoting is so others know why it was downvoted. There have been many times where I’ve seen a dead comment on a topic I’m not familiar. I know the general user disagrees with that statement but I have no idea what’s “wrong” with it. Conceivably it’s because it’s obviously wrong to anyone in that domain so nobody bothers commenting or it’s a contentious issue in that domain and people who agree or could provide further insight don’t think it’s worth the negativity to bother commenting.

Either way I have no clue. I read a comment recently about setting up a graphics pipeline that seemed reasonable enough but was downvoted to hell. I would have liked to know why.
That's the flip side, and part of the reason research on the question is active, ongoing, and occasionally contentious. It's a choice to make, and a mechanism to employ. One alternative is the HN model wherein everyone can contribute and you have no idea of their experience, expertise, or trustworthiness.

It's a choice, and it has consequences.

One thing I'd like to see added to HN is the ability for me to assign trustworthiness scores to other users, and then filter based on that. There are people here who I've come to know will provide value, even if their views are unpalatable, and their karma is low. There are others who have reasonably high karma, and yet who I know add little of value (for me!) to conversations.

Again, that would risk a filter-bubble, but it would reduce the number of comments I need to wade through before getting to those of value -- all from my personal view, of course, and your judgements would be different.
You would never know it, if you were trying to take a piss in downtown San Francisco...
Haven't ever wanted to prove that!
One more thing, I am not sure if Lambda@Edge charges based on wall-time or cpu-time. Workers' 50ms is cpu-time only and not wall-time. You could, in theory, spend 30s waiting for a fetch to return as awaiting on the network doesn't count against a Workers' 50ms cpu-time limit.

Ref: https://developers.cloudflare.com/workers/about/limits/
I come across one of these kind of comments every other day. Some of my favourites are from green accounts that registered just to share their knowledge. So many of HN viewers aren't even registered, but when the urge arrives to share, the low barrier for entry means they can. We all get something from it.
Chromosome-associated regulatory RNAs control DNA storage and transcription
I agree...

I've had my projects (see my hn profile) or my blog posts hit lobsters a bunch of times and finding myself unable to respond to the comments as I don't have an account there.
Ok, then the ring would be pulled in. But only to the extent that it behaves like a solid which it isnt.
Strongly agreed. If I recall HN also has some built in functionality that downranks posts when the comments on it come in at high volume, indicating some level of flame war.

I get the motivations behind both, and in some situations it works great. But a lot of the time it helps to enforce a monoculture on the site: any disagreement, particularly strong disagreement, is seen as a negative signal and is vanished from the site. Next time you see a post about, say, women software engineers, you’ll be able to watch it happen in real time.
Lilium's [1] aircraft has multiple rotors but tilts all of them when transitioning into horizontal flight. From what I understand, [2] is an actual video of a flying prototype, not just a good render video. The Coming 2025 at the end of the video sounds scarily late, though.

[1] https://lilium.com/

[2] https://www.youtube.com/watch?v=mjAJWrraTKs
While I do agree that having to give a solid reason before downvoting would be a much welcome feature to HN, being invite-only makes it a non-starter, and it only fosters elitism.

Sure, it'll always have a small, curated community, but you can be assured the politeness will stay skin-deep before long and there simply won't be enough differing points of view to allow insightful discussion of any kind. It's the same issue I keep seeing time and time again in other closed communities (e.g. invite-only Mastodon instances) where it ends up rotting them from the inside out: they're too big to remain cohesive as just a group of friends, but too small to receive any fresh air. I'd believe "cliques" would be the less polite way to call them.
A far greater concern than conspiracy theorists getting taken seriously are actual conspiracies perpetrated by mainstream media outlets. I gave two examples elsewhere in the thread: Weinstein and Epstein. Those aren't "conspiracy theories", they're know and active conspiracies. There were a multitude of opportunity to report on them but the stories were actively stifled for personal and political gain.
One thing I noticed is that the search feature on there is far worse than HN's. Doing a side by side comparison, I have to go to the 2nd or 3rd page on Lobste.rs to get the results that I would have expected to be first.
Twitter (and in general social media) is probably a good thing to avoid for communication if you are not a large company that can staff up for it. Threads can devolve very quickly into “campaigns”. I would not want to have my medical staff spinning a bunch of cycles with pr related stuff or being subjected to mobs.
The Daily WTF has some good ones. https://thedailywtf.com
I never use EDGE on my computer because I found it to be slower than Firefox.

But I still use IE11, ironically, because I like to develop quick HTA tools for enterprise in HTML and Typescript powered by excel documents or access database using COM instead of having to download Electron and what not, which I don't need since I'm only developing for Windows.

it's unfortunate that everybody lost nearly 10 years because Microsoft stopped taking Webtechs seriously in order to focus on Silverlight and what not, which they later abandoned anyway.

I need to find an alternative to HTA though that still support COM since eventually Windows will stop supporting HTA apps.
I like how the gif showing the shoppers they should "observe" as being a risk is of two burn out looking dudes. A total stereotype. It begs the question are these type of stereotypes baked into the FaceFirst software?

The other image of a violent offender is more along the Ted Bundy type. Less a victim of traditional bias but a total serial killer stereotype - white, inconspicuous male.

It's usually a slippery slope with these kinds of biases being perpetuated at the software design level - "stoner" types, minorities, and other marginalized groups often getting the short end of the stick.

I understand retail wanting to reduce shrinkage (the term for stock loss via theft). I guess that's one concern as a whole, how is it ethically being handled?
One popular tech site in Russian was invite-only for a very long time: https://habr.com I remember you could get in by someone inviting you or if you wrote a good guest post (there was a separate area for this kind of guest posts and no one could see who the author is). I got impression that invite-only system worked quite well as the site was known for high-quality content and discussions.
World of Warcraft’s story now varies from person to person, for better or worse
Tangential: I have recently had my articles featured on the front page of Lobsters and HN within hours of each other. Not the same article, so it's not an apples-to-apples comparison, but:

- It's very hard for a HN post to get noticed. New posts linger in /newest (frequented by relatively few people) for about half an hour before falling down to the second page, and you need to be lucky enough to receive enough upvotes in that timeframe to hit the front page. Lobsters' "success rate" appears to be higher.

- In terms of traffic, I got about 11K hits from unique IPs from HN and about 1.7K from Lobsters.

- I like that Lobsters clearly indicates when a submission is authored by its submitter.

Overall, as people have mentioned, both communities are great. I've been here for 10+ years – thank you for everything, HN!
What are they getting out of it other than making themselves look foolish?
I haven't tried lobste.rs. but I enjoy HN without tags (In fact I don't think I'd use tags if HN brings this feature). I enjoy reading articles from different domains (other than tech). And this variety is what keeps me engaged to this platform.
Indeed, I think the underlying issue is that people use the last decimal as a kind of primitive error checking code that worked before the computer age. So it's a social matter. The legal implications stem from the social ones.