skysight-inc/HackerNews huggingface dataset:
MSI was the format where you needed to keep the original installer around merely to uninstall it and they eventually hacked-in a stripped down version of MSI installers because well, someone realized how ridiculous that was?

Good riddance.
Buy low, sell high!
Agreed, for me learning Django covered a very broad area with and pointed me in the right direction regarding best practices. Deploying it is difficult enough that you will need to learn a about servers (its not desperately difficult but you will need to understand various things to get it running). I would suggest making a point of learning SQL properly understanding how to optimize queries.
I've been exclusively using Linux/*BSD (Slackware/Gentoo/Arch) for personal use since upgrading from my K6-2 500 to an AMD Barton 2600+ because finding, installing and managing "trustworthy" software is easier.

Linux has hardware compatibility challenges and software with bugs, but so does Windows. I don't, however, have to search through monstrosities like Download.com. I don't have to figure out what software may have a new release that is important to me. Critical dependencies are handled automatically. Every distribution may handle these in slightly different ways but these basics hold true.

Every time I've had to use Windows I've spent an enormous amount of time searching for and installing things. Once installed I then discover the software has changed to a limited free trial or some other nonsense that ends in another search, install and disappointment loop.

It's tools that have shown up in the last few years like scoop that have made dealing with Windows at least somewhat tolerable.
They might know it instinctually but Funk brothers / James Jamerson (the bass player on a lot of Motown) didn't go to uni to study music.
This is the best answer, full of practicality and lacking in judgement.
No audio over SSH :(
Exercise is good, but you need to have your diet it check first. Otherwise you will explode as soon as something prevents you from training. It's also easier to not eat 1000 kcal that to burn 1000 kcal.
> his personal views and traits shouldn't be something to be concerned about.

Unless he's bringing them up inappropriately in a work meeting. Then it's very much something to be concerned about.

I think there's a fallacy in your argument - you're taking OP's concern about associating with someone who's openly alt-right and assuming that the response that follows is making the workplace too far-left, "politically correct", asking political question as screening etc. While the appropriate response is having a politically neutral working environment - where the best technical ideas win, where decisions are based on facts, where people aren't screened for their personal views, and where those views aren't brought up if they're irrelevant.
Good catch. I have never thought of this. Thanks. the "common misconception" you mention is common probably because it is normally one's first intuition.

So, if I understand well, (sorry to say that but the number 3 analogy didn't help), the probability of something not happening with infinite chances or opportunities to happen can be small, but the chance of it never happening exists (so if we flip a coin infinite times, we may get infinite Heads and never get a single Tail(?))

Now that you said that in your comment, it feels intuitive.

And this shows that there is a common misconception about the theorem of the infinite monkey[1]. And changes some intuitions about the chances of intelligent life existing out of Earth...

1- https://en.wikipedia.org/wiki/Infinite_monkey_theorem
I've read that fasting can increase GH levels. Do you know of any studies that directly link fasting to muscle growth? Intuitively I would guess that increased GH in the absence of a calorie surplus might lead to good muscle maintenance but poor muscle growth, particularly in people who already have a decent amount of muscle.
FBI says its photo analysis is scientific evidence. Scientists disagree
>Even if a new feature is cutting across all layers in your code, it's unlikely that it'll alter the requirements like "parallel edits don't corrupt the document".

What if you're building MongoDB a decade ago, and the new feature is "perform faster on benchmarks"?
> 1) you can't predict how much food to make. On demand food companies were throwing away 30% of the food they made every night

I'd say that's just how the food business works. A big part of running a restaurant, a food stall, or even a supermarket is to forecast how much food you're going to sell on the day and thus how much supply you need to buy.
Indeed, I've never in my career (in high level businesses, I.e. Finance, advertising) seen such a thing as a proper 'specification'.

It's more the business has a high level, rough idea of a change/feature to improve the business, and we figure out together the exact details, some of which surface during implementation, and then verify it gradually in the wild.

We could have spent x10 time instead drawing up a formal spec up front, but it would have so many assumptions baked in, that it'd get invalidated in the wild anyway.
Considering how much money the people behind IPFS have raised through Filecoin IPO, I'm surprised the pace of development is still so slow.
I've to do the same, and I couldn't find what I need, so I've made a kind of probe using aws lambda and influxdb. It allow configuration by YAML, dynamics headers and query params, and track your deployments (infra and release). It's called PepperReport.io, I could give you an invitation code if you wan't to try it.
If you want certain technology to be commercially successful, it needs to provide value.

For the most part, most code are tolerated to be buggy, in exchange of fast delivery. And for most internet applications, a single error has limited scope, so the damage is controlled. For those applications, former methods are not something that could help them succeed, they don't even write a lot of unit tests.

However, in different scenarios, like financial trading or consistency protocol building, where a single mistake will either cause you millions or resulting in nonrecoverable data loss that make customers lose confidence in your product, formal methods ARE indeed being used.

So it is simply a cost efficiency problem. For most disposable application project, it is not worth it, so they don't invest. If the code of interests is critical, and deserve every effort to get it right, then formal methods will be favored.
I agree with keeping things simple however I found that Django provided me with an opinionated enough way of doing things, that it gave my application a decent architecture and didn't end up a complete mess. It pointed me in the right direction for many things where free form PHP might not have had much structure.
is it published online ?
Usually I’d say avoid such a person. But it depends. He acts like this yet is still influential in your industry, so it hasn’t been a problem for him so far. I’d be more concerned about giving 5-10% to a guy who’s going to make a few phone calls. Will he let you skip some major sales/funding cycles? Can you get him onboard as an investor for instead? That would solve your PR problem too, it’s more ok to have shitty people as investors.
While working on IPFS we found out that good multiplexers are hard to find. Currently we use QUIC as one of possible multiplexers. This is also good news for rust-ipfs implementation.
I've been using it since about 2 years and never had any problems installing anything. I guess I'm mostly using popular well-maintained packages though, so YMMV if you are installing some more obscure software.

I'm not sure about the maintainer situation. Some packages get updates quite regularly while other packages are always a few versions behind the latest release.
>What kind of CPU and traffic patterns are you using to hit 10 gbps of TLS protected traffic?

Mainly serving a file directory with apache with files ranging between 100M and 1G in size. Should be easily comparable to Debian or Ubuntu repositories.
That is because the formal method supplement of the DO-178C is RTCA DO-333. There you have about a hundred pages concerned with the application of formal methods.
I agree. One normal meal a day for a long period. It quickly becomes a habit and you no longer feel hunger. No requirement on the meal as long as it is reasonable (life is too short to eat things that taste bad!). And some exercise (45min cardio daily, doesn’t need to be high intensity), though I suspect losing weight is 80% food intake, 20% exercise. Worth taking some vitamin complements though.
Correct, that's my point.
The Nizza Secure-System Architecture [pdf]
Edison pretty much charges 2-3x more for peak usage, 30% more for "off-peak", and 20% less for sleeping hours compared to LADWP depending on tier. So they made a bunch more money since people don't just suddenly shift all their electricity usage to after midnight. I remember there being a lot of outage when they rolled out smart metering since most people had pretty drastic increases to their electric bill.
High-Assurance Separation Kernels: A Survey on Formal Methods (2017)
So is the bookstore.
>DNS-01 doesn't have a middle ground of owning a single record AFAIK,

With DNS-01 you only own up to the domain you verified. If you verify ftp.de.debian.org then you can't issue certs for de.debian.org or debian.org but you can issue for www.ftp.de.debian.org.

I don't see the issue with that.
That is incorrect, they only are required to own a fraction of the loans they give in assets. When a bank lends someone money, they create that money https://en.m.wikipedia.org/wiki/Money_creation.
Ah thanks. I'll take a look. I'm definitely most interested in the JS side (although I agree static site generators can be great).

To give some more context, I work for a big media company on the main website team. We have a lot of developers contributing to the codebase. So AMP(ish) seems attractive as one way of introducing discipline/preventing an explosion of client-side ad-hoc behaviour over time.
I'd love to see that. Care to share a photo?
I think it's probably also a programming-language thing. When I write in haskell, the sytnax of the language and construction of the abstraction hirarchy, with all the simpel and well-specified rules you have to follow, makes it easier to see what to proof and why. Also, with property based testing, it is essentially the substitution of proofs with anecdotal, empirical evidence. I feel like that if I would have the option, there are a lot of places where i would just naturally proof properties (I know about the practical difficulties of a lazy language...but I think they are a bit overstated. See richard eisenbergs thesis on dependent haskell).

I don't think this is obvious in python, at all. You are programming without thinking much about invariants and properties.
The clear solution is to jog on the spot, chatting with your friends while watching TV with subtitles on. The ultimate activity.
Antarctic krill: Key food source moves south
Just like “Switch to readable mode, print to PDF and save to your local S3 or Amazon S3 bucket”, only more complicated.
Second woman carrying gene-edited baby, Chinese authorities confirm
Anecdata: Years ago, I refactored some code written by an inexperienced programmer. It was a multiple-thousand-line Perl CGI script where everything was on the top scope, i.e. there were not really any functions (except for a few one-liners). When this was called out by the lead architect, he improved the script by splitting everything into two functions:

($a, $b, $c, $d, ..., $x, $y, $z) = GetData();
PrintResult($a, $b, $c, $d, ..., $x, $y, $z);

The variables actually had reasonable names, but there were at least 20 of them. He just splitted the code at some random point and all variables that needed to be used in the second half became return values and arguments, respectively.
>or maybe your distinction is that it is always progressing and that isn't necessarily a value judgement on whether the 'progress' is good or bad, just that the situation is always becoming different

That would be part of it, not all progress is what we think of as good but it's progress, evolution of the status quo.

The ratchet analogy also fits IMO.
It's hard to generalize too much about screen time. It is almost universally bad, especially for kids, and should be kept to a minimum. Gadgets nowadays provide an unlimited stream of stimulation, novelty, and dopamine hits. No child can resist that, which is why the "lesser evils" like education apps are still "gamified" to have any chance of keeping a kid's attention. The result is that kids from an early age are growing up addicted to dopamine and the internet. It's not much different from fat kids already being addicted to junk food from an early age, it's just not as visible -- and both situations will be very difficult to change during the individual's life.

Really, you just have to spend some time with the current generation of children to see how disastrous technology has been. Their brain chemistry depends on constant outside stimulation, and anything else is boring.

Also, if you think you can effectively police what your kids do and see on the internet, you are sorely mistaken.
Sharetribe should do the trick

`Sharetribe is easiest way to start your own online marketplace. Create a platform where your users can rent or sell goods, spaces or services online. Get started in less than a minute and launch yours today. No downloads, no installations, and all without the help of a developer. Sharetribe handles all the hosting, transactions and online payments. It is easy to use and simple to customize. Sharetribe takes care of the tech, you take care of business.`

https://www.sharetribe.com
Energizing the Immune System to Eat Cancer
Coding on a Zaurus?! Proper hacker mentality

https://en.wikipedia.org/wiki/Sharp_Zaurus

Seems like this little device might have a bit of a following:

>Arch Linux ARM has been ported in 2015 on the C3x00 models.
Also if someone is searching for PM2.5 particle monitoring:

https://smartairfilters.com/en/blog/how-accurate-are-common-...
Learning the cron format is still necessary / useful - most distributed deployment systems have some form of schedule job running. Even on a purely serverless model like AWS Lambda, it’s still possible to do distributed crons. I actually think the word ‘cron’ has already been repurposed - when using it my team actually refers to the distributed version, not the per server version.
Not really arguing either way here but I don't think the analogy really holds up. There are many books just like there are many websites.
the book was so much better.
I had that happening. For me it was an allergic reaction which slightly blocked my sinuses and reduced the air intake. The allergy was previously undetected because I do/did not use the same cosmetic products that my partner uses. A antihistamine nasal spray may help, but check with an ENT.
Hacker OPSEC fail
An acquaintance at University went on to work in the City - I was amazed as he had studied History rather than Physics or Maths or something.

It turns out the firm he went to work at was run by a family friend.

At least Tech has always seemed fairer to me, with less of the 'old boys network' than other fields like Finance and Law.
Turtle meat – the ultimate survival diet?
Just like Joyce's Ulysses, Dostoevsky's work, etc. those all are books that some people consider hugely important, yet because of their difficulty, they won't touch lives of many. Even students of literature often don't understand these works.

And so, I am sceptical when they get pronounced as extremely important. 'Important to whom?' seems to be the crucial question...
> The whole text, starting from the title, is "making it nice" in the modern tendency of some of implying that what was actually bad was good.

The thing is, it's neither "bad" nor "good", it's just history.
And in that context, the Janissaries are quite an interesting case because their history is filled with very extreme ups and downs.

> "Beyond ‘slave soldiers’" "Essentially, they displayed their ‘slave’ status with pride" --- oh, that makes it OK then?

If you'd read the whole Wiki article, instead of just quoting the passages that support your notion, you'd also realized that their position immensely changed over the centuries.

Yes, they started out as a "slave soldier" unit in the thousands, made up of forced converts. But their efficiency on the battlefield quickly made them a very renowned unit, so renowned that over time even Muslim families tried to get their children to be recruited.

This went on for a while until the Janissaries became such a powerful institution that they dominated the Ottoman government and could literally dethrone the Sultan, which they actually did, even killing Osman II in 1622.

Until in 1826, after centuries of Janissaries running wild, the Sultan Mahmud II decided "enough is enough" and "disbanded" the Janissaries corps in what is nowadays known as the Auspicious Incident [0].

So, while they started out as a forced conversion soldier group, they ultimately turned into something very different. Heck, I'd like to think them destabilizing the Ottoman empire like they did, was their form of revenge.

[0] https://en.wikipedia.org/wiki/Auspicious_Incident
>> It's really obvious what we want the system to do

>Nope.

Hedge funds and trading firms are some of the top donors to/supporters of the formal methods community. They sponsor conferences, hire tons of formal methods experts, buy products and services from formal methods startups, and develop/use formal methods internally.

So...

Yup.

(I do understand there's a substantive point being made, and I think my reply to the sibling comment by temporal addresses that point. So maybe that's the right place to continue discussion.)
What's the solution?

My house is absolutely frigid during the winter, and I got quote for resealing it. He told me that afterwards I am either going to have to leave my windows open (no thanks!) or live with mold.

I've heard that you can install vents, but can't find useful info.
My grandparents had a chute vent, and it somehow became a breeding ground for flies and all sorts of ichies. Not sure why.

And short vents sound to me like an always open wondow, which just brings in the cold.

I want the insulation, the circulation, the breathability and the warmth. Is there any way to have it all?
They seem to have focussed on Diets but neglected diet.

As in rather than going on a Diet, adopting a different diet, a new habit if you will.

A Diet is a New Years resolution, a diet is for life.

The article says 75% of Americans are overweight. Therefore 25% aren't. What are they doing right? I doubt they're all having liposuction.
No matter what you're going to read here (and there's all good stuff), number #1-3 on my list are simple requirements engineering:

- Understanding in depth what you are supposed to be building, as directly as possible from the stakeholders. Nothing is worse than building the wrong thing perfectly right.

- Coding that understanding into a data model (read: database schema) with great, clear naming, correct entity relationships and as many constraints as possible (including correct types) early on.

- Understanding the front end part that will serve your application and how it interfaces with the users. Only that will give you the details on how to build the API that will serve it.

Iterate these three points until you're done with the application skeleton and only then write the first line of code. If there's anything that will make you insanely productive as a backend developer, it's these crucial first steps of requirements engineering.
I'm seconding 'baddox here. I binge on books harder than on TV series, and often sacrifice sleep just to keep reading.

Observing people around me and the way they interact with all kind of media, including books, I'm starting to believe there's a more general factor here. Something about how deep a person wants to immerse themselves in the fictional world. For instance, most books, movies and TV shows that have an actual plot (i.e. not sitcoms / comedies) are a solitary affair for me - because with other people around, I can't properly engage on the emotional level. But I know plenty of people who watch the same movies while doing chores, read the same books five pages at the time, while talking, etc., at no point reaching (IMO) any kind of immersion. I observed the across-media correlation here - those who engage deeply with movies, do so with books and videogames. Those who don't engage with one medium, don't engage with others either.

I believe the latter type complains most about how their not-favourite media is "addictive".
Ha one important reason why windows won was because you never had to touch the keyboard ever again.
For automotive software the ISO 26262 is the equivalent to RTCA DO-178 in avionics. ISO 26262 highly recommends that ASIL C and D-classified systems utilize semiformal and formal verification among other techniques to verify software unit design and implementation.
I agree, and there are efforts to develop formally verified implementations of Nakamoto consensus (which I'm involved in). We've published a paper a year ago about our efforts and first results and I'm currently extending that work for my Master's thesis. Others are also building on top of that work [3].

We're nowhere near having a verified Bitcoin implementation (much less verifying the existing C++ implementation), but we're making steady progress. One could reasonably expect having a verified, deployable implementation in 3-4 years if people continue working on it.

It remains to be seen whether people would switch to that from Core (very unlikely) or Core would adopt it as a component to replace its existing consensus code (interesting possibility, but also unlikely).

[1] - https://github.com/certichain/toychain

[2] - http://pirlea.net/papers/toychain-cpp18.pdf

[3] - https://popl19.sigplan.org/track/CoqPL-2019#program
> unfortunately it seems that currently it does not really work

As much as I'd like to see cancer defeated and the suffering of millions reduced to nothing, I don't think this is the way.

We have to be VERY careful what we are doing with tools like CRISPR and the like. We now wield instruments to reshape biological life. Anyone who studied biology for a period can attest to the insane complexity and interconnectedness underlying both micro- and macro-level systems in biology. It is next to impossible to predict how any biological system will react as whole over long periods of time. The complexity is akin to predicting the weather years from now.

All our approximations, models and calculations developed over decades running on the toughest new supercomputers can't produce accurate weather forecasts even just 3 days from now. What hubris to believe the same could be done in biology!

The current top comment rightfully points out the danger of giving a virus the ability to fully circumvent all immune defense systems and hand out apoptosis like Santa Claus on Christmas.
Perfectly showcasing why trying to do all simultaneously in a "balance" makes you benefit from none of them.
Blue light produced by screens is harmful and effects sleep pattern.
https://en.wikipedia.org/wiki/Fractional-reserve_banking - yes banks print money (figuratively). They make loans and the money people receive on their accounts is money just created out of thin air.
Not the first; a german chat app was hit by a minor fine because they stored passwords in cleartext in 2018.
Being a "tech company" has something to do with the ethos, I think, or how investors view the company. It has very little to do with "technology" (which is ubiquitous in any case). For example, Rolls-Royce does technology, but they're not a "tech stock" or a "tech company", I think, or only marginally, as I understand it. But perhaps there is no common understanding of the term.

(Edit: Personally I get annoyed when some stupid web programming framework gets described as "technology". Gas turbines are proper technology, in my opinion!)