skysight-inc/HackerNews huggingface dataset:
Where did I say anything about relying on anything "indiscriminately"? Avoiding repetition at all cost is definitely a mistake. Avoiding repetition where it's justifiable could be a sensible choice. Though in your case I'd just say:

u32 machine_id = readl(mgr->regs + OFF_MACHINE_ID) & 0xff;

and be done with it.
True, but its dependency support is much simpler than that of competing tools. I don't think it has fancy version resolution stuff and I don't it needs it.

It's usually dependencies on other programs, eg scoop itself depends on git (to pull install instructions from GitHub). That's different than having a system wide shared libffmpeg.
There were some attempts at that kind of development experience, most famously ExtJS. So you could just use JavaScript once the authors took care of the HTML/CSS in their component library. And one step farther some attempts at using another language to generate that JavaScript, eg Vaadin or Google Web Toolkit.

Right now we're seeming to approach that again, only not exactly in a better way (you don't have to type HTML/CSS, but still know it all!).
Imagine there are two or three key variables, and a bunch of repeated blocks of code that modify some or all of the variables. (That sounds messy but it’s the kind of thing that could easily come up in an embedded controller.)

If you turn all those code blocks into functions, it’s no longer easy to visually inspect the code to see all the places where variable X is modified. It might not be a net win for readibility.

Personally, I wouldn’t define a function purely to contain a repeated block of code; I only do it if the code is related, i.e. all operating on the same data.

In my first example, before trying to wrap things in functions, I’d try to figure out if some of those variables can be tied together into a single object with a nice clear interface.
Most of the answers already given are good, but there is a simpler one: It's too expensive.

It's so expensive that even the highly regulated and safety aware aerospace industry avoids formal verification for non-essential systems when they are allowed to.

Moreover, formal verification only makes sense in combination with certifying the software on some specific hardware, because it would be a pointless waste of time to run software that is guaranteed to behave well on hardware that makes no guarantees that it will execute the software correctly. Consequently, even small changes in hardware may force you to re-evaluate the whole system. So the maintenance costs of high integrity systems are also very high.
The 'meat glue' is Transglutaminase.

https://en.wikipedia.org/wiki/Transglutaminase#Industrial_an...
Do you think it is feasible, for a poweruser who can setup and debug linux installations, to setup and use GenodeOS or sel4 as of today as a main workstation with X applications on the level of Xfce, Firefox? (days, or months, or not at all?)
I might be missing something obvious, but from my (small) reading about TLA+ (and the lamport video course), my biggest concerns were:

A: even if you understand the spec you want to write, it's possible to get the implementation of the spec in the spec language wrong (see the Die Hard exercise in the course) ; isn't there some kind of recursive catch-22 there ?

B: even if you understand the spec you want to write, and manage to write the spec you want to write, and get its model checked, etc... Than you still have 0 lines of working code, and (unless I'm mistaken) you're going to have plenty of occasions to not implement the spec properly, and still get all the bugs that you proved would not happen if you had written the code right (you dummy.)

So it seems like the interesting part is the "game of thinking harder about what you want to do", and it is (arguably) done (at least in part) by writing automated tests beforehand, and the tests also have value after you've written the production code.

That at least could explain why the jump to formal method is not natural.

Looking forward to being wrong, though.
When I just need to read some response content I chuck some JSON on pastebin.com
Ask HN: Donation button: how much to expect?
Managing an online service with a good little number of users who are pretty happy with the service, I am considering adding a "Donation" button to partially cover my expenses.

Since this is some extra work to implement, and this can provide a deceptive experience, I wonder if it is worth it.

Has anyone implemented this before?

How much money / user did you receive?

Would you do it again?

How does it compares with ads revenue?
Amazon FreeRTOS Documentation
automated zombie bot is still paid, automated zombie bot does at it is told
I'm not sure that is necessarily true. I think of the modern typechecker (especially with generics, algebraic data types, and other advanced features, including sometimes dependent tpes) as basically formal-verification-lite, and it tends to work really well with changing specs. You can aggressively refactor and change code and just let the compiler catch errors as you go. A practical formal verification language would function much the same way.
This can also be done in a Jupyter notebook, I'm using this for scientific visualization of 'stuff': https://github.com/maartenbreddels/ipyvolume
Can you send me or post the build errors? As a guess, you could try commenting out includes of <Sound.h> and calls to SysBeep().
> It could easily be argued that women are "responsible" for this via setting up the incentive structure that men responded to in the ancestral environment.

I was saying that this argument by ThrustVectoring doesn't hold true, as neither men nor women (at least not the bride or the groom) made the partner choices themselves.
Any recommended print for this?
You seem like a novice and I think a lot of the other answers here are focussing on fairly random/advanced concepts that are probably a bit difficult to takle in a meaningful way without getting your head around the following:

1) Get a grasp of what a "back end" _actually is_. When learning- be mindful of what you are going to tackle, and what you are going to leave alone so that you don't get overwhelmed. (In heavier technology environments, you don't really talk about "back end development" since the back end is subdivided into so many separate disciplines. Therefore "back end development" tends to be something that smaller web shops use to encompass everything that is going on on application servers- DONT FEEL THAT YOU HAVE TO BE AN EXPERT IN ALL OF THIS STUFF)

2) Have a reasonable grasp of all of available hosting platforms and their relative pros and cons: Windows/Linux, cloud/local, aws/axure, etc.

3) Get familiar with the lumps of code and/or services that you need to make an application server available to actually do "a thing".

4) Get familiar with standard software development workflow- version control, bug tracking, testing and deployment.

5) Develop a healthy attitude towards application security- understand that it takes a lot of knowledge and effort to make an application 99% secure. Learn how to do what you can with the resources you have at your disposal. On one end of the spectrum you need to know stuff like "never store a password in cleartext", on the other you have to be aware of essentially unsolvable problems like 0-day exploits and social engineering.

6) Get good at communication and teamwork. A backend, by its very nature, needs to talk and get along with other systems so therefore a back end developer needs to talk and get along with other humans.
This is not a single country -- as the article mentions, this decision is valid for the entire EU. Obviously, there will still be some kind of limit for individual businesses, but a 50M€ fine is nowhere near enough for a company like Google to stop doing business in the entire European Union.
To me "current ML" in the parent comment meant deep learning. Open a computer vision paper from this month and the prior art section almost only contains references from between 2014 to 2018.

Yes the NN layer architecture might be based on ideas from the previous era, but the way the algo actually solve the problem is completely different.

And that's just because it's the only way we can do it right now. When we can apply deep learning to itself it, to select better architectures and hyperparameters, will find strategies we didn't think about or didn't consider worth trying.
This 'just try harder' approach doesn't work for everybody. For one, an affirmation might feel strong and decisive when you first make one, but it can simply lose its hold as the novelty wears off. You can say the words to yourself but they'll begin to seem more and more hollow. I don't see how this is a choice.
Beam Blockchain Stop Event 01/21/2019 – Post-Mortem
I think you're agreeing to disagree. His viewpoint, to me at least, is opposite to yours. Or at least parallel. He never said that today there's no foundational research.
There are other known viruses with the same afinity to cancer cells. See the Newcastle virus affecting chicken.
Same problem: usually human immune system does clear it up from the blood, so it can not reach cancer cells and wipe them out.
But N.virus-related cancer patient recoveries have been described. Small number studies so far.
"[I]ntermittent fasting diets may actually damage the pancreas and affect insulin function in normal healthy individuals, which could lead to diabetes and serious health issues." (https://www.theguardian.com/society/2018/may/20/fasting-diet...)

The National Council Against Health Fraud "strongly advises against the use of prolonged fasting for health purposes, and believes that requiring children to fast is a form of child abuse." https://www.ncahf.org/articles/e-i/fasting.html
MEMORY EFFICIENT: ECLIPSE OR INTELLIJ?
If you're not looking at it from the point of view where weight is about the food you eat, and health is about the exercise you get - you're bound to run into trouble at some point.

The only way to control your weight is to control your diet. It doesn't matter what your basal metabolic rate is. Will it play a role? absolutely, but it's not what you adjust to keep your weight in check. If you can manage your weight with a low metabolic rate, you can manage it with a high metabolic rate. Gaining muscle mass will make your body signal for more food, so it can be counter productive if you want to lose fat.
Sounds like an interesting book, the Rust Programming Language book was a great read (https://doc.rust-lang.org/stable/book/)
"500 year flood" just means that in any given year there's a 1/500 chance of it happening. In theory history has nothing to do with it.

In practice it's calculated with models that are tuned with historical data (among other things), so if you fail to notice some important changes and update your models you might be wildly off.
For real though- this should be the top answer
That was unexpected, but great news. Did it run?
Engineering-free programming is the future of software development
I hate to be the source of all the bad vibes in the room, again, but I'd be careful with claims about "learning arithmetic". It's obvious that the trained model in the article is only memorising its training data, rather than actually learning arithmetic functions, in the general sense. If you gave it any numbers outside the range it was trained on, those graphs would start to look real silly. This is probably the (actual) reason why no testing split was used- because the model is too weak to generalise to held-out data [1].

The point to keep in mind here is that addition is a recursive function [2] and as such cannot be learned by learners that cannot model recursion, which is basically all statistical machine learners. The best thing that can be done is to approximate it within some range, at which point you're only memorising which pairs of numbers X and Y map to which third number Z - like the model in the article does. And it doesn't even do it very well, hence the need for noise (which allows it to luck out and cover more XYZ triples).

So let's say that a better title would be "Can GB approximate arithmetic functions over a tiny range of numbers?". Which is not that exiting, for sure [3].

____________________

[1] The only good reason I can think to not validate on a test partition is that you only have a single example. I can think of one use case, trying to learn plans from examples of starting and goal states. But arithmetic? How can you claim to have learned "arithmetic" when you can't show that your model works on even one pair of numbers it hasn't seen in training?

[2] https://en.wikipedia.org/wiki/Peano_axioms#Addition

[3] This is also a good example of the limitations of statistical machine learning, in general. Having "learned" addition, a strong learner should be able to use it to learn the other three functions. Except, statistical machine learners can only learn one concept at a time, and they can't reuse their models as features to learn new concepts.
Perhaps considering "tolerance" purely by itself is not the best approach?
I guess the Taliban are somehow different from everyone else and evil, then. It's the most reasonable explanation.
On the digital forms of museums
Couldn't find any solution that match my requirements (manage checks with YAML files, dynamic headers and release or infrastructure deployment monitoring), so I've made my own :/ It's in beta test actually, but I would love to have opinions on pepperReport.io
Man, that brings back memories, my first Mac was a IIsi running on a b/w monitor. Thanks for your efforts, you are doing really cool projects.
This is where mesh networking comes into play for LWAN fallback.
I think the parent poster was referring to the fact that Cron jobs can act purely on local state, and that's OK.

For example, if I had a traditionally deployed (i.e. not in K8S / a PaaS / similar) backend app that accepted file uploads, then passed those off to something else, I'd be streaming the uploads to a temporary holding directory on disk. I'd then have a CronJob that clears stale items from the temp dir. If the server fails, that's OK that the CronJob didn't run.

There are still plenty of use cases for traditional cron.
I think it's worse than that.

I did a course on formal methods at university. The 'spec' ended up being a lot more complicated than the actual program.

I wasn't really confident afterwards that the "proved" software actually did work.

I think it's possibly a suitable method for building very low level code (e.g. sorting methods) where the spec is going to be exceptionally simple but it's effectiveness drops off quickly the higher up the stack you go.
Of course that should be

const uint32_t conf = read1(mgr->regs + OFF_MACHINE_ID);

and the 'mgr' argument should be const:ed, too. :) That makes it much more clear that this kind helper is just reading something out, and not poking stuff around. Always const all the things.

Have you even bothered checking if your compiler inlines this? It sure looks like a very likely candidate.
I think the issue with the way people try to promote the use of formal methods, is that they assume that people will want to model their system formally before implementing it.

I feel like there'd be more productivity in showing people what their code could do, and helping them narrow that down to what it should. It is, of course, hard to do this.
The person you are responding to isn't necessarily wrong about metabolism being real. I wouldn't say fat people "store more", it's just that if you see thin people eating a ton (and not moving much) and being thin the odds are good that they have a very fast metabolism (by which I mean their base metabolic rate is significantly above the average, to the tune of 4k+ kcal per day). I know this because when I was in university we did at-rest calculations with a hood over the head (to calculate oxygen usage, which we used to calculate BMR). Notoriously thin people had outrageous BMRs like I mentioned, while most people were around the average. I don't know about people who are fat, as I didn't have them in my class.
Cool, I thought about building something like this years ago. I wish the idea could be taken further, that is, all the information I consume (reading, watching, listening, etc) should be available to me for recall. Changes and current availability of the source must not affect my copy.
That isn't addressing the underlying problem of eating too much. There was quite a study at Odense University Hospital where they enrolled women that had tried everything to lose weight. They was asked to meticulously write down everything single thing they ate. They they was admitted to the hospital and they was fed exactly what they had written for the past month.

Every single woman lost a significant amount of weight.

So if your friend have counted calorie counting without losing weight she didn't count correctly or truthfully.
https://news.ycombinator.com/item?id=18959577
A useful productivity hack
https://news.ycombinator.com/item?id=18953291
A couple of these questions would be at least yellow flags for me as an interviewer or hiring manager, as they indicate a strong bias for throwing away existing systems ("ignores the framework", "rewrite the build", "original code").

There's a great quote from Lou Montulli[1]:

> I laughed heartily as I got questions from one of my former employees about FTP code the he was rewriting. It had taken 3 years of tuning to get code that could read the 60 different types of FTP servers, those 5000 lines of code may have looked ugly, but at least they worked.

Those frameworks and existing components most likely have a lot of hard-won experience embedded in them, and I would be uncomfortable hiring someone who did not appear to understand or appreciate that.

See also: Chesterton's fence[2].

[1]: https://www.joelonsoftware.com/2000/05/26/20000526/

[2]: https://en.wikipedia.org/wiki/Wikipedia:Chesterton%27s_fence
The linked pdf copy has kinda mediocre quality. Google’s scanned copy looks a lot better. I wonder if it would be possible to get google’s pdf to share instead since there is legal permission?
Although it is not self evident from looking at most modern software, prgogramming and proofs are (in some instances) direclty related by the Curry-Howard correspondence. Apart from such instances one can also try to assert temporal relationships between variables in a program that have to hold under all inputs (one example would be “valid until ready”, which is a typical requirement one would have for a queue interface: the producer can not revoke the claim that the data is valid until the consumer has accepted it). Such assertions can be verified with TLA+ or in System Verilog with tools such as Formality.
Which distro are you using? I am particularly interested in the auto-install of normal updates.
What is difference between Conscious AI and General AI?
You have now a knowledge of a range of tools. What takes a long time, in any craft, is to know the canonical way to use each tool. Then, after an even longer time, you come to know when to use tools in surprising ways.

It just takes time, for all of us. Some are faster, but I bet for these people it still feels like a long time, just because they are sooo smart and see even more possibilities.
As someone who grew up in a restaurant, this seems crazy to me.

This appears to be a restaurant that tries to make every kind of meal, and deliver it.

"Restauranteur" might well be the second oldest profession. There should be dozens of people in everyone's network who could tell you how the business works. The Everything Delivery is also a business model that most people in the business could critique.

A friend of mine runs a very popular sushi chain in central London. It works, but only because everything is highly controlled. They know exactly how much fish people are going to want, and they know when. They know where to deliver to as well. Having all this knowledge means they are able to cut that fine line between the minimum cost and the revenue.
Firefox uses Readability.js for its reader mode

https://github.com/mozilla/readability
Is it not that there are 2 sides to every argument?

The final section is very anti Janissary, and paints the Sultan in a positive light, despite executing and exiling previously loyal subjects.

What is their story of their 'disbanding'?
But then they won't be 10 lines or less anymore.
Can you provide link to resources for this? Searched, but there is no proper place to learn it online.
An intelligent black box can still be "useful". It could help cure diseases or get original insights in many fields for example. Even if we don't understand how it thinks.
> I don't think they're in the must-know, 101-level tier of back end knowledge.

Fair enough, I admit I am looking at things from behind glasses tinted in a certain way.

But I do believe some kind of familiarity of the concepts is essential. Even at relatively small scale. Read contention in particular is really easy to hit the first time you have to deal with an increase in traffic (doesn't need to be external, could be a minor change that triples the number of cross-service calls). Simply because the first observation is that worker systems are running hot, the instinctive reaction is to add more workers.

The two core problem areas in backend development - which in this context can mean anything that requires non-trivial server side processing - are I/O latency and processing capacity. Regardless of scale. Being unaware of (or worse, ignoring) them is not tenable.
The only problem at that level of musician ship you lose the fun and can end up with some very sterile music that's only of interest to other people who have degrees in music theory.

Btw years ago I did work with a top session guitarist (top 10 hits) who after an accident taught himself to program from his hospital bed.
Here's the best layman explanation by Bank of England of what is actually meant by "money" in the current economy[0]. Think it can be helpful for the discourse.

[0]: https://www.bankofengland.co.uk/-/media/boe/files/quarterly-...
The situation I'm describing is different from what you call 'citizen by descent'.

I'm describing a situation in which:

- grandparent was a UK citizen born in UK

- parent was born outside UK, but had UK citizenship at birth

- child was both outside UK, and is not automatically a UK citizen, because parent didn't ever live in the UK

The US has similar rules. They determine what happens to a child if at least one parent is a US citizen, but that parent was born outside the US. If the parent lived in the US for many years (I don't recall the exact #), then the child gets US citizenship. If the parent never lived in the US, then there are other conditions that may or may not result in the child getting citizenship.
Tech Event Calendar 2019
How to Download Magisk Manager Latest Version
Counterpoint (maybe?). For munchery, because meals are expected to be delivered cold, you have all day to cook.
Build Logistics for the Fortune 10 – EasyPost Hiring
Excessive socializing is the default, though - if kids have nothing better to do, they "hang out".
Once I interviewed at a large fashion company for a Python programmer position. I asked to see IT offices (no way, even if I had required a second interview expressly to see them; the building layout suggested some sort of overcrowded basement), I asked about salary (matching my current one would have been a stretch), about benefits like a car (oh no, only for top management!), about training (studying their software after hours, on my own time), about lunch (internal mess hall only, and nobody can leave), about their software engineering approach (overtime, and proud of it).
They unconsciously went out of their way to demonstrate a corporate culture of paranoid secrecy and to show that IT had very little consideration within the company. I tried hard to find a reason to like them, and when I found none and refused their offer I got an angry call from the manager: I wasn't "motivated". He thought I had wasted their time.