skysight-inc/HackerNews huggingface dataset:
> The lesson of the Therac-25 is not writing perfect software

I will guess that the author will agree with you. The goal is a safe solution and that implies better software, better hardware, better procedures, ... anything that you can learn from mistakes to make this not happen again. If you look at plane crashes reports they will highlight software and hardware malfunction but also pilot mistakes (one plane crash happened when the pilots were distracted talking during landing about another plane crash that happened because those pilots were distracted talking during landing).

> The problem with the Therac-25 was NOT the race condition. Complex devices will always have bugs,

That is the point of the article. " ... The reason? A race condition. An unplanned-for coincidence, made deadly by the conscious design decision to remove an old-fashioned safety interlock."

The problem was the race condition. But if you solve that one, another one will pop-up. So what was deadly was the "decision to remove a safety interlock".

We need to identify which one can be solved, and do it. If we can not write perfect software we should add hardware safety. If hardware safety is not enough we need to improve the procedures to handle it. If that is not good enough, we can add more software to help were humans are failing... it is a refining process that you learn studying past failures.
Wazuh/wazuh: Wazuh – Host and endpoint security
Gohugoio/hugo: The world’s fastest framework for building websites
Some family members only respond over messenger. I log in, switch to desktop mode, and use messenger from Android chrome.
One use case I have imagined is being able to have a single radio module that can be used with a variety of front ends, but honestly I am not sure how big a market that is. Certainly I don't see SDR adding much value to high volume applications.
Timgrossmann/InstaPy:  Instagram Bot – Like/Comment/Follow Automation Script
A Bash and Python script for generating payloads that bypass virus scanners
I haven’t tried that to tell you for sure, but will today and come back to you.
if anyone is averse to the column layout on the default Mastodon UI they should check out https://pinafore.social for a more Twitter like layout.

rather than being a mastodon instance you simply use pinafore as your portal to your existing mastodon account.
The way he drives his workers is very different than a common orthodoxy I see around here:

He demands 12 hour days, and he gets more efficiency than other contractors; definitely different than the view that there's some optimum level of work <=40 hours/week after which returns diminish so much as to not be worth it. Maybe the game industry's perpetual crunch time isn't as insane from a strictly financial perspective as it seems at first blush?
Fish-shell/fish-shell: The user-friendly command line shell
Other than Anki, clozemaster and supermemo.com are two good paid options. I'm currently paying for supermemo.com*, and the two decks I'm using for Spanish seem to be pretty good.

Clozemaster uses word frequency lists and sentences. Honestly it's (clozemaster) one of the best free SRS products I've seen for multiple languages.

I'd avoid memrise (too many horrible quality decks). Duolingo isn't bad but certainly isn't comprehensive by any means.

The reason I'm paying for supermemo.com is because it has a good quality Chinese deck and those are hard to come by. I also want to use the updated SRS algos that it uses. SM-2 is really old and does not handle skipped days well at all. The newer versions of the sm algo are much better in that respect.
> Black Swan

Fat tailed probability distributions are fat tailed...! Assuming normal distribution underestimates risky events.

https://en.wikipedia.org/wiki/Fat-tailed_distribution

> and Antifragile

Simple complex systems are too complex to be simple enough ...!

Okay, so this is a bit more technical, but the important thing is that unintelligent systems (= they are simple) that are complex (= have complex dynamics) are bad at adapting to different circumstances.

Also, these systems are products of design trade offs. (We want things to be cheap and get done fast, and also politically okay, and so on.) And thus they are not robust enough, nor resilient enough. They are fragile. (Taleb laments a lot about how antifragiltiy is different from robustness and resilience. And sure, they are because he uses a model in which they are.)

And the book talks about what is needed for anti-fragility, and it turns out that some kind of feedback loop that optimizes for certain problems. Or of course intelligence.
Yeah, I was taking some liberties with the definition of largest.

They're still a ridiculously big unit though. Generally the biggest man-made structures on Earth are measured in mega*. Single digits are usually used for things that are roughly apple-sized.
I taught programming a long ass time ago, a Java and C++ class. While I get that these languages are fairly complicated, the things people got stuck on was understanding control flow, expressions and data storage.

In other words, it wasn't the syntax, but the concept of a program running from top down (including loops or conditionals), how expressions work, and what a variable is and means. These fundamental concepts are sooo far beyond the comprehension of people it took a LOT to get down. After that stuff was understood, learning curly braces, keywords or indenting (for style not meaning) was so damn easy for people.

So I would expect an evidence based programming language to look completely different than this.

Edit:
It looks like a primary use-case for this language is for blind people - for which use-case I know nothing about. It wasn't clear from the Quorum language website, but it is clear from the video linked by another commenter.

That definitely would affect how I would have written my comment if at all. Take my original comment with a grain of salt that may not even be relevant here.
Whoever is down voting this comment is being unfair (note: I am the person being mocked and I think the downvoting is unfair). The comment was brief, but did add to the conversation. And was on point :-)
I respect your position, which was shared by the designers of Java and Go, but any language I choose to use is one that seeks to empower me. For example, the purity restriction in Haskell exists to ultimately empower me, not because the language designers have contempt for my abilities.
Fortnite Android App Vulnerable to Man-In-the-Disk Attacks
There's a plugin for Anki for incremental reading: https://github.com/luoliyan/incremental-reading

(Though I'm not sure how the internal database structure works with that, I think you can't save the whole text along with a deck instead of individual notes―but maybe addons can change that.)
Estonia's PKI is basically identity. Yes, you could build something on top of the public Personal Identification Number, but no reasonable provider accepts that as the username - it is a person using the certificate stored on smartcard/smart SIM(/phone) to identify and authenticate at the same time.

> It seems like a lot people here are confused as to what is an identifier and what is authentication.

I'd say it's you who can't fathom that the two things can work together and only together in some cases.
wired.com
133 Cookies, 353 Third-party requests, 132 Third-parties contacted

Not a clear win, but also "impressive."
I would tell your friend that programming best occurs at the appropriate level of abstraction to succinctly express the problem at hand.

For example, if you are trying to write "business logic", you don't want to have to worry about allocating memory or ensuring data consistency. You just want to worry about business concerns.

I suspect your friend has simply not tried any sufficiently difficult programming project. If your problem is non-trivial, you feel appropriately grateful for libraries that provide higher layers of abstraction.
In practise, end-users will probably not setup a TOR(-style) network themselves. That means you'll need to do it for them, so they still have to trust you. At that point, just not storing their IP address is probably easier.

There are still advantages to the TOR-style solution (you wouldn't have the ability to track users without resorting to backdooring), but the slowdown and extra complexity is probably not worth it in most situations.
On the other hand, that means bad managers are being paid more to do the opposite.
At my employer, you have a pretty low-stress life if you're content to be a contributor on other people's projects and not angling for your own. Of course, your career will never advance that way.
This is a 1.0 F capacitor [0], we use similar ones for short-term UPS backup so our embedded systems can shut down safely.

And a Coulomb is one amp for one second, that's not exactly large either.

So it's not that coulombs and amps are too large a unit, it's that it's hard to convert and store large amounts of energy.

[0] https://au.rs-online.com/web/p/products/7898012/
Hey, I'm the main author of this. Happy to see that people like it!

As I wrote elsewhere in the comments we're planning to redesign the results page and rewrite all the text later this year. The current page hasn't changed much since mid-2016. Need to refresh/expand technical advice, be more clear about the limitations of the service, etc. I'll note down all suggestions here.

I'd also like recommend a similar project that was inspired by Webbkoll: https://privacyscore.org/ -- it's slower, but also integrates things like testssl.sh, and most importantly lets you make lists of URLs to check. It uses OpenWPM [0] which has been used for many interesting studies,[1] such as "Online Tracking: A 1-million-site Measurement and Analysis".[2] (Webbkoll uses Phoenix+Puppeteer)

[0] https://github.com/citp/OpenWPM

[1] https://webtransparency.cs.princeton.edu/webcensus/index.htm...

[2] http://senglehardt.com/papers/ccs16_online_tracking.pdf
I would love to remember to which instance I signed up with.
This is a problem that is harder to solve than email was in the 90's. I knew that it was myNickname@myISP.myCountry. For mastodon I guess I'll have to go through the list and find the exotic instance i signed up with.
New champion: wired.com has sum of 618, newyorker.com 599
Making Prince of Persia is terrific. I'd also recommend Masters of Doom, a book about the heyday of id Software.

https://www.amazon.com/Masters-Doom-Created-Transformed-Cult...
On top of that, it should actually be successful in education. An example of one designed for education with some good results is Pyret:

https://www.pyret.org/
> In the long term however, we have good evidence to support that immigration of all kinds is a net benefit to the economy.

How is that working out for Sweden at the moment?
What I don't understand: Why do they promote the software instead of the protocols?

News and e-mail had different server software and clients and were both used around the world.

Mastodon uses standard protocols, too.
Government jobs
Great tool. But if you'd have a list of top 10 checked sites at the top, say by sum of all three counters, it could actually bring some action, no one would like to be in this shame list.
The Endowment Effect and Fantasy Baseball
Discord Communities for Digital Creatives, Bloggers and Entrepreneurs
I'm surprised this is down-voted. Isn't this in fact the public perception? Last time I remember Yelp getting significant mainstream media attention, it was in relation to allegations of racket-like tactics [1].

[1] https://www.theatlantic.com/business/archive/2010/03/is-yelp...
>When i'm expected to be in the office every day, given funny looks if i pack up my shit at 5pm, asked where i was if i didnt eat lunch at my desk, then quite frankly, i generally leave the contract early.

This is doubly right on.

I am the opposite of the original questioner: I like the high stress environment where I feel like we're all pulling hard on some intense goal+. BUT I like it when we're a team thus I don't care if someone is leaving or coming when they are; I just care that if I toss a ball their way they'll know what to do with it and if someone tosses a ball my way I will know what to do with it. That we're all working to get the job done -- which is no excuse for bullshit monitoring each other.

The other doubly right on: again, I'm not a contractor but I've hired plenty and they don't pretend to be committed to our large goal, only what they signed up for. And that's totally fair. A contractor (generally has to) has to hustle for business but has an easier time firing a customer they don't like.

+ original question was a good one and I was interested in the replies even though I don't seek out the same thing.
I get the idea, but if I'm dealing with invisible whitespace characters next to each other it's already gone too far.
This is a great response. I've only recently started learning Elm (and webdev in general... coming from a systems programming background). I chose ElmConf for the preconf to strange loop this year. Why not learn a new language.

I've seen quite a few people with fairly negative things to say about the community. I had my very first thread locked on elm just a couple of days ago. Apparently there were some deleted comments that were not so nice. Unfortunately, by the time I saw my posting locked, that meant it was too late for me to engage in any sort of conversation to figure out exactly what went wrong.

Let me be clear; the core of a community are the ones responsible for creating and maintaining the culture of the community, and of course protecting the community members from abuse. I understand this... But I don't understand how stopping conversations that "have a well-known history of devolving into unconstructive flame wars". It seems that is punishing people before they've actually done anything that violates that rules of the community. At least, that's certainly how I feel.

Regardless, I'm looking forward to my journey of learning Elm and using it to build some UI's my teams are going to be needing.

As I said, I'm attending ElmConf. I look forward to meeting you and others in the Elm community.
A good read, it gives insight into a specific period of time.

One quote that didn't make it comes from Marlon Darton, another giant of the day. Asked if he took steroids, Darton is said to have replied "Yes, I do. But so does everybody else."
I have 200Mbit/s cabel in the city and they are offering up to 1Gbit/s here, I guess they can keep up with G5 for quite a while.

But DSL, that was the savior of broadband here in Germany, doesn't seem to keep up.

I really prefer DSL/cabel to "radio" based stuff, latency wise, but I have to admit, if they would let DSL die and pump massive money in G5 to get every last square meter of Germany on mobile connections, it would be better for everyone.
As a long time Mastodon user, I've never done the alt-account thing. If I'm interested in another community... I follow a bunch of people from that community. You don't need to have an account on every server, and I never have.
So I was curious and went to look at a few of the servers online. The top server was an unending stream (like, more than once a minute) of Richard Stallman automatically posting political references from some other service he apparently runs. Another server was just some guy who I have never heard of complaining about various things. I came across a group talking about current and passed times they had a beer.

That content will not inspire others to join.
If you define winning as safety, freedom, control, privacy, then I'd define the "big winners" as those who have made an impact by those metrics.

If nobody has been impactful in those areas, there's a problem. That's the point.
Ask HN: I am building an analytics feature for a site involving downloads
Where can I learn good strategies for data structure? My naive first thought are round tracking a row per download with [what it downloaded, datetime, geo, referrer, if from user], but my thought is that if I begin to build big queries off this table that i'm going to put a lot of stress on whatever store I use.

Any suggestions?
Care to elaborate for the ignorant masses?
If you want the startup life, find a startup where the founders (white men probably) have small children and professional wives.
Help validate idea – connecting with your audience after presentation
Hi HN,
We are testing the value proposition for an idea described here: http://lastslide.io/

If you could take a quick look and give us your feedback (is it clear, is this something you would consider using) we would be very grateful.

Every kind of feedback is welcome. Thank you
Meaning there's a small recovery from the result of the greatest economic disaster of all time ? (2008, meaning compared to the low of 2009-2011)

Yes.

Compared to the previous high ? (2007)

No.

Meaning we're even at the level when I entered the workforce (~2000) ?

No.

Meaning compared to when I was born ? (~1980)

Oh my God, no.

And then we're not even getting into why people use the term "secular stagnation".

So I guess it depends on how you look at it. Or rather it depends on how you pick your comparison. Given that most of the people that lost their jobs in the 90s, 00s are only now, after 10 years of serious problems, exiting the workforce into retirement, I'd say a lot of folks are thoroughly f-cked.
Ah yes. That was the thread I started and was locked. I was and still am confused.
do ....i ....have deja vu?

seems like modern languages make the same mistakes.

i could be wrong....
I don't want to spend my time manually figuring out who I should block, work that I suspect a lot of people with similar values have already done; that's just wasted and repeated effort. I'm on the Mastodon instance I'm on because I trust my moderators to have values pretty close to mine and there are network effects in sharing this load (all of the users can mention things to the moderators), and then we have more time for the things we actually want to do on the site.
I heard rumors that Intel set up a research group to fix this in hardware as soon as the Spectre exploit showed up.

Mill may be cool and all but x86 isn't going anywhere.

Although I think it'd be hilarious if Intel decided to bring back Itanium with explicit per task cache indexing and no speculative execution. They already have the technology while Mill has never had a silicon implementation.
Earning $5,000/Month Selling Eco-Friendly Goods
See also David Macaulay's 'Motel of the Mysteries:

https://wearethemutants.com/2017/12/06/david-macauleys-motel...

An extract:

http://sultanaeducation.org/wp-content/uploads/2014/06/Motel...
But in electricity/electronics, we deal with the entire range of metric prefixes… terabytes, nanofarads, gigaohms, microseconds.

I'm curious as to what you mean by "biggest man-made structures" though. For me that brings to mind tall buildings, long walls and big dams. I suppose that the Great Wall is 20 "megametres" long, but normally long dimensions will be in kilometres, heights are in 100s of metres and dams are in billions of cubic metres. Care to share some examples?
You can actually change that up all in the settings (even on a per deck basis). It takes a bit of tinkering because it's not clear from the beginning what each setting does. Typically if I get something wrong I reset it to 20% of its previous time (so if it was a month since I saw it last I'd see it in around 6 days).

I'd trust the system though. Typically once you get to the point where you won't see it for more than a year you're highly unlikely to forget the content anyway. Although it depends on what you're trying to learn. The default settings are optimised for learning Japanese.
JS is a bad lisp
It might be worth breaking down the types of stressors that you may have issue with and identifying the ones that are non-starters.

Then you might be able to narrow down a professional career that is in-line with the way you wish to live life.
While these results certainly have drawbacks, it does set a prescient as to how we can use video evidence.

In ten or twenty years, can video evidence be considered legally binding? If someone else can make someone else do virtually any movement, how do we know that someone else committed a crime? With voice and facial synthesis, virtually anyone can do anything. Photo evidence can be easily faked (via photoshop), videos can be faked, audio can be faked; do we continue to create methods of identity verification that are continually complex?
> does this look compelling

It actually does. It looked intriguing enough that I bought it without hearing of it beforehand when it came out.
That’s the point of using the algorithm. The recall intervals are based on Ebbinghaus’ forgetting curve. If you want to see the card sooner than one year choose <10 minutes even if you remember it perfectly.

This is why you should turn off showing time until you next see a card in preferences. Trust the algorithm.
I don't understand. How is his retaining control based on the structure of voting rights related to his job performance?
What Algo does now seems technically correct (the best kind of correct!) since it essentially says WG is for Android. I've added the issue though, for when more desktop-y clients are officially supported.

https://github.com/trailofbits/algo/issues/1068

Thanks!
That is a really good point. “Remove” is a pretty flippant word to use in this context. I’ll update, thanks :)
>"There’s a lot wrong with pricing of healthcare versus its costs, but that spending on it increases faster than inflation isn’t abnormal."

Well yes an increase in consumer prices for health care results in an increase in health care spending as a percentage of GDP. But that's not what I referring to. I was referring to the fact that the price for basic services and components far outstrip the rate of inflation inflation. Here's one example - generic drugs. A generic drug, barring a supply chain disruption should at most keep with pace with inflation. Using an ancient antibiotic such as doxycycline:

"The price that hospitals and pharmacies pay for a bottle of 500 tablets of doxycycline, a decades-old antibiotic, rose to $1,849 in April, from $20 in October 2013"[1].

There are many other such example regarding run of the mill generic drugs.

Here's another example - a visit to see a primary care physician for either a either a yearly checkup or for because one has caught the flu. During an office visit a patience sees a doctor for maybe 5 to 10 minutes and nurse practitioner for maybe another 10 minutes. Maybe the doctor writes a prescription, updates the patients charts or might additionally refer them to a specialist. None of these activities involves cutting edge technology and the routines of such visits haven't fundamentally changed in years. Yet the price of these office visits has risen 14% in recent year.[2]

Lastly the premiums for the same basic health plane HMO, PPO etc have also continued far outstripped despite the fact that copays and deductibles - the out of pocket portion for consumers have risen not decreased. So it's not even though Americans are paying more for increased coverage or paying more for increased quality they are paying more for less.

[1] https://www.nytimes.com/2014/10/08/business/officials-questi...

[2] http://www.healthcostinstitute.org/report/2016-health-care-c...
They're called HTTP proxies or web gateways. Blue Coat (now owned by Symantec), a big proxy vendor, has a list of site categories here: https://sitereview.bluecoat.com/category-descriptions

Administrators can choose to allow, block, or warn (user must confirm they want to view the page) for each category. The proxy vendor doesn't choose what is or isn't blocked; they leave it to the customer to decide what they want to block.

Hate speech is usually a category for proxy appliances/services, yes. Blue Coat categorizes it as "Violence/Hate/Racism".
I can't help but notice that you, complaining about “free speech”, have “88” at the end of your name.

Wonder what kind of speech (which you only defend by its supposed legality) you're concerned about being banned.