skysight-inc/HackerNews huggingface dataset:
I actually implemented domain driven design WITH an Api-layer ( so core, application, Infrastructure + api). They also are split on Basket, catalog, checkout, shipping and pricing domain with seperate db's.

So just splitting up the heaviest part (eg. Catalog) into "a microservice" would be easy while I add nginx as load balancer. I already separated domain vs Integration Events.

Both now use events in memory in the application, I only need a message broker like NATS then for the integration events.

It would be a easy wall ;). I have multiple options like heavier hardware, splitting up the db from application server or splitting up a domain bound api to a seperate server.

As long as I don't need multimedia streaming, kubernetes or implement Kafka the future is clear.

Ps. Load balancing based on tenant and cookie would be a easy fix in extreme circomstances.

The thing I'm afraid for the most is hitting the identity server for authentication/token verification. Not sure if it's justified though.

Side note: one application has an insane amount of complex joins and will not scale :)
Well Type Theory is actually one of the definitions of mathematics and computation[1]. Wikipedia gives a basic definition of it [2][3]

[1] https://en.wikipedia.org/wiki/Typed_lambda_calculus

[2] https://en.wikipedia.org/wiki/Type_theory

[3] https://en.wikipedia.org/wiki/Foundations_of_mathematics
How ‘big law’ makes big money
The deepest irony of all this is that they require phone numbers to verify accounts, which should cut down on fake accounts, yet they had a large amount of fake accounts using this very feature, which means verifying with a phone number may not be super effective anyway...
Is what you think you're testing actually what you're testing here? You could be threaded into hyperthreads/smt. If on Zen 1 or Zen refresh you could be hitting cross CCX communication issues. There are a number of things here that I'm just like shrugging my shoulders at, like, neat, your computer shows a behavior.

Edit: what was the CPU frequency during the single core load vs the multi core load?
Also, Apple hasn't paid Android developers anything, despite the title.
Wexner is a long time, major financier of Republicans at the state and national level. He’ll never see any investigation, outside maybe some investor suits because L Brands stock is tanking.
Here's the service promoting advertising on Government web sites in the UK.[1]

From their FAQ:

Q: "Could the data collected be used to exploit individual circumstances?"

A: "There is no intention to do this. In all forms of advertising, companies want to appear in front of the people most likely to buy their products or services."

"Just as an advertiser will choose an ad space in a publication because of its readership and relevant editorial content, so an advertiser online will use data from cookies to target their ads to people who would be most interested."

"So, a user browsing for information on a benefits webpage might be shown ads relevant for people on a budget, like for reduced price travel or supermarket price cuts on everyday items or a comparison website to find the best tariff on gas and electricity."

The Enfield council's cookie disclosure page includes cookies from most known trackers.[2] This is an amusing read.

[1] https://can-digital.net/generating-income-from-council-websi...
[2] https://new.enfield.gov.uk/privacy-notice/#6
Good grief. The current pervasive use of "SJW" as a derogation, as used by zweep above in the comment to which I directly replied, is an invention of the right. Better?
Ask HN: How to get into more specialized, interesting work?
I dont want to spend the rest of my working life doing what I do now (basically just slapping together CRUD apps and loose integrations). It doesnt even feel like problem solving, someone else has solved the problem, I'm really just implementing it. Plus majority of the problems solved are even technical problems, but business problems (yes, I realize this is mostly just how the world works, but it's not even remotely intellectually stimulating)

I've worked professionally for around three years now and have programming as a hobby for years now. I know there's more interesting work out there. I've met people who's worked on cool things, occasionally see interesting looking positions while sifting through job boards, but I just feel like I've been so stagnant. I haven't learned anything on the job really and it's all been mostly easy. Theres plenty of things od like to get into, but the problem is all the relevant positions seem to require years and years of experience in whatever specialization they are that I will never get doing the grunt work I do now. I dont want to be stuck in 10 years working jobs I hate, throwing cookie cutter insert tech here apps to move data around.

I'm not really interested in ever pivting to a management role either, although that may be another depressing reality. I've tried venturing off and picking programming to as a hobby again, but I almost always give up out of lazieness, very quick loss of focus, etc. I can sit at work and daydream all day about cool projects to complete, but when the time comes, I nornally just pass outbofnwasye my time on something else. A lot of times there's shitton of boring, but relevant prerequisite knowledge I need, but dont feel like dredging through.

What can I do to make sure I'm not stuck doing this sort of mind-numbing work forever? I have no education and fear that other fields are less welcoming to hire people whos only relevant experience is some sad side projects.
This seems similar to bootstrapping theorem provers. Here is a HN discussion on one: https://news.ycombinator.com/item?id=21358674
Why is "impacting" better than "affecting?"
> It's public information.

No, it isn't.
I use Muted Words and block accounts liberally, to scorch-earth anything that might possibly be adjacent to anything political. This filters probably 90% of what I would otherwise encounter. I don't delete my account because it's a uniquely vibrant resource for game dev and digital art, two of my hobbies.

The actual people I follow are generally really nice; it's just the people they occasionally retweet and then the replies that other people make to those retweets that get into the mud.
Whoa. Please don't reply to a bad comment with a worse one. That helps nothing; it just makes the thread even worse.

Also, personal attacks are particularly not ok and will get you banned here, so please omit those especially.

https://news.ycombinator.com/newsguidelines.html
He is clear about where he works, though the only relevance of his position is that he says university is supporting his free speech rights, which a typical for profit corporation would not feel any compulsion to do.

Certainly other kinds of businesses can require you to sign on to any number of corporate creeds, ranging from NDAs to environmental issues (an oil company probably wants you to oppose carbon emissions restrictions) to, yes anti communism (more common the the 50s and 70s) and Christianity in some cases. The CEO of a large corporation like a university of California campus is certainly gaining to be concerned with positions that would negatively impact its operations, a big one of which is revenues. I really have a hard time understanding the problem. Especially when his counter argument is being supported.
Open MLB dataset used for HR to Salary correlation analysis
I've talked about Dolt (Git for data) and DoltHub (GitHub for Dolt) on HackerNews before and gotten a lot of interest. We're nearing our v1.0 release and in preparation we released a Getting Started guide: https://www.dolthub.com/blog/2020-02-03-dolt-and-dolthub-getting-started/.

Using the desire to build a correlation analysis of MLB player salary and home runs. This guide walks through how to find data on DoltHub, pull it locally, and get data into your analysis tool of choice. The blog shows that player salary was more correlated to home runs during the steroid era, which is an interesting result.
Low-Tech elections are fraught with similar perils. Paper votes can be forged, discarded, modified and cloned as easy as pie. Not to mention impersonation of voters, theft of mail in ballots and registration of deceased voters. Then again, a single person cannot modify the results of an entire election. In addition the risk of being caught is greater because you are doing these things in person.
Data Science Salon Austin 2020
Chris from Kinvolk here.
Our Flatcar builds are already completely independent of CoreOS builds. This is quite exciting for us as we can finally start updating the included software versions. We've been doing this a while for the edge channel (https://www.flatcar-linux.org/releases/) and have been waiting to do that with the other channels.
It's great that all of those parents raised perfectly healthy children and weren't dealing with the NICU, post-partum depression/issues and everything else that can happen.
Well, isn't that a specific case though? From my experience most containerized apps use higher port.

In FreeBSD you would be able to also remove such restrictions if needed (not sure if something is also available on Linux) alternatively you could have your app listening on a higher port and use iptables to forward port 80 there.
I guess we're arguing because I deny that there has been appreciable progress. Most of what passes for "progress" in tech and ML is simply adoption of old ideas, or improvements in lithography. Along with forgetting vastly more important ideas. IMO the most important real world idea in ML in current year, defined as "being used and changing how people solve problems" is not deep learning (God Bless Yann), it is Boosting; a 30 year old idea. For that matter, the most important stuff for future progress isn't deep learning either; it's a basket of ideas that hasn't congealed into a name yet (stuff like Volodya Vovk and pals, as well as Gunnar Carlson work on).

All that said; I 100% agree with you, the fruits of supervised learning will entirely accrue to oligarchs, governments and other such dirtbags who have the databases to fit against, do not have the well being of average people in mind. If we notice at all, it will be via blackmail, creepy ad tracking and late night knocks at the door.
Yes, after all the customizations they decide to upgrade to a new version of SAP. The whole shebang can start over again. At least these days it's all SAP S/4HANA. HANA is not bad actually.
Yes, in fact the first dynasty of rulers -- the Rurik dynasty [1] -- were vikings.

[1] https://en.m.wikipedia.org/wiki/Rurik_dynasty
Quickly spin up local development environments with Lando
Astros Sign Stealing Scandal: He Did the Math. and the Graphics
If you’re in the EU they were likely disabled in 2018 as part of the GDPR prompt.
No, its only public if you choose to disclose it. Phone numbers are PII (personal identifying information) in regards to the GDPR.
Maybe next time they'll set a timeout of like 1 second when it can't reach internet based things so it just falls back to the local search quickly.
> my test of "does my application work given that the database is running" is explicitly not accommodated.

Are you working with tools where this is a problem in practice?

Most web frameworks I've used will keep trying to connect to the DB in a loop until it either connects and things start normally, or it times out after X amount of seconds where X by default is configured to some number that's way higher than it would normally take for your DB to be available, even if it's starting from scratch with no existing volume.

No "wait for it" script needed (and I do agree that type of solution is very hacky). Although to be fair the same page you quoted said the best solution is to handle this at the app level, which is what most web frameworks do.
I imagine that whole-program correctness can be represented, but is not enforced in the case of ZZ. Developers are not obligated to declare typesets for their own code or can rely on other libraries being fully typed
Another way to bypass the paywall is by redirecting through Facebook (works without a Facebook account): https://facebook.com/l.php?u=https://www.wsj.com/articles/th...
Or Puritanism. And the various anti-Communist flaps.
The underlying evidence in this case is clearly fragmentary and unclear. When doing historical research, one should always be wary of finding precisely what one is looking for. Any definite statements about these items will require more research, more analysis, and most of all more data.

That said, the idea that Vikings of this era would possess important items with Arabic lettering on them should by no means be seen as a surprising discovery. The Vikings and Arabs of this period were engaged in a truly staggering amount of travel and trade, and the southernmost parts of the Viking area overlapped with the northernmost parts of Arab expansion--particularly in places like Sicily.

For just one hint of the kind of intermixing that was going on, I would recommend skimming the "Viking Age" section of the Wikipedia page on the history of Sicily:

https://en.wikipedia.org/wiki/History_of_Sicily#Viking_Age
It's really great. iPad + Apple pencil feels better for making marks, and the Cintiq Pro is just a bit behind in drawing feel but more capable overall.
Show HN: Safeciphers.org, a fork of Cipherli.st
That ringing in your ears? Don’t assume it will just fade away (2015)
Thanks! I'll give Mint a try too! :)
Hacker 'News' is completely unfit for purpose
Yes, I have no plans to shutdown sandcats. I do have plans to rewrite the server side to use Let's Encrypt and Cloudflare Workers* in order to make it easier and cheaper to operate, but even with the current implementation it's no big deal to keep running.

* I'm also the tech lead of Cloudflare Workers.
The difference is the beholder. If the beholder's income is threatened when people are educated about risks, they'll invariably declare it fear mongering.
Why are there ads on a website funded by taxes?
Taking the curl of a noise field will get you a divergence free flow field[1]... which is an easy way to get something that looks like fluid dynamics, but isn't.

I've use this to great effect on the surface of a sphere to generate textures for gas giants[2]. Some example output: https://imgur.com/a/9LipP

1. https://www.cs.ubc.ca/~rbridson/docs/bridson-siggraph2007-cu...
2. https://github.com/smcameron/gaseous-giganticus
Software has replaced relationship banking
Explainability -> gradients

"How much does this input seem to confuse this output? What is the pattern across inputs for how this model is systematically confused?"

Causality -> counterfactuals

"How would the outcome be different if x was different? If I acted differently, would I get a more favorable outcome?"

You're right to say these are two different things. They are.

And they're different still from interpretability, i.e., "What are the explicit patterns that this model is seeking in the data?"

DL practitioners routinely mix up explainability and interpretability but I would never in a million years have seen LeCun be so intellectually dishonest as to lump causality in there with them.
Love it! Good job Twitter
Industrie omni robot – partie 3
Do you have any evidence of this? How do you know someone closer to home wasn't playing a prank on you? It's a bit of a stretch to assume it's a member of a three-letter agency messing with an email you were drafting.

Can you answer my question about what incident you're a whistle-blower for?

I'm really trying to take you seriously, but I feel like sneak is right, and you may be suffering some sort of paranoid delusion. Hard evidence of your claims would go a long way...
Show HN: My ML applications book, which HN helped me write (sample chapter) [pdf]
I heard Epstein wanted to have tons of babies in some weird Boys from Brazil scenario. Did he end up doing that? Is this money going to support them?
I think it has more to do with one's definition of "doing fine". Boeing lost money. They can continue as a going concern since their 150k employees have a ton of other things going on that investors expect to make money, aside from one particular flawed product.

It seems wrong to me to require punishment to scale with the size of the company, as opposed to the size of the "wrong doing". If Boeing has ten other subsidiaries doing defense contracts, satellites and whatever else, that should require them to be fined ten times more?
What’s your phone number? If it’s public you don’t mind sharing it. My address book is filled with people who would be very sad if that were made public.
Assembler – A Jigsaw Experiment
Ouch! Thank you for pointing out my shitty presumption.

I’ll leave my shame in place by not editing my comments. That will help me be more careful in future.
It was vague - like "hint, hint". She told quite a few people.
I recently published my first book! Writing a book has been a personal goal for the longest time, and Hacker News is the main reason I got to do so.

Reading interesting posts on HN daily eventually inspired me to write my own, and posting my own writing to HN showed me there was an audience for the topics I wanted to write about.

I started blogging about Machine Learning in 2017, and posted some of my writing to HN. Many posts did not do well, but some made it to the front page, sometimes even to the top spot (see https://news.ycombinator.com/item?id=18147710 , https://news.ycombinator.com/item?id=16224346 and https://news.ycombinator.com/item?id=17257143).

As a consequence, my posts ended up getting over half a million reads, which was enough to put me on O'Reilly's radar. They reached out and asked me to write a book for them. I decided to write something that follows the theme of my blog posts, and focus on practical Machine Learning advice that isn't often covered in ML classes. The book took 18 months to write, and is now out. I couldn't have done it without HN.

You can find a longer description of the contents at https://www.mlpowered.com/book/.

Thank you HN!
If you read a little further in the article you cited, you'd see:

Among other goods, Lend-Lease supplied:

58% of the USSR's high octane aviation fuel
33% of their motor vehicles
53% of USSR domestic production of expended ordnance
(artillery shells, mines, assorted explosives)
30% of fighters and bombers
93% of railway equipment (locomotives, freight cars, wide gauge rails, etc.)
50–80% of rolled steel, cable, lead, and aluminium
43% of garage facilities (building materials & blueprints)
12% of tanks and SPGs
50% of TNT (1942–1944) and 33% of ammunition powder (in 1944)[55]
16% of all explosives (from 1941–1945, the USSR produced
505,000 tons of explosives and received 105,000 tons of Lend-Lease imports)

And that is to say nothing of foodstuff.

So had the the British and Americans turned on the Soviets, they would have faced Zhukov and 6.5 million soldiers, but with limited supplies fuel and bullets.
CNCF Containerd Project Journey Report
By "breakage with upgrades" do you mean bugs introduced due to compiler/library bumps or just PVP constraint violations?
Did Asp.net Web Forms Need to Die?
I think it’s kind of crazy that we have 64 core processors available, but still need so many servers to handle only a hundred thousand users. That’s what, a few thousand requests per second max?

Having many servers gives you redundancy and horizontal scalability, but also comes at a high complexity and maintenance cost. Also, with many machines communicating over the network, latency and reliability can become much harder to manage.

Most smaller companies can probably get away with having a single powerful server with one extra server for failover, and probably two more for the database with failover as well. I think this would also result in better performance and reliability as well. I’m curious to know whether the author tried vertical scaling first or went straight to horizontal scaling.
I'd be interested to hear in what ways you think it's similar to the 1920s and 1930s.
It's not public information, and it's considered identity-tied enough to be used in many forms of two-factor identification.
Your identity is not public information on Twitter. Posting someone’s phone number and Twitter handle, if they did not explicitly share it anywhere, would be doxing, against almost any site ToS, and potentially even illegal.
Where America's climate migrants will go as sea level rises
Get in the sea!

I prefer to make sure we use a different signing authority, just to be sure. But I didn't give enough context to clue in the reader that that was an option :)
The real issue is that voting anyway doesn't solve the problem of not having a truly representative candidate, and a two party system which has a duopolistic stranglehold on the moral character of the nation.

The correct approach is to run and compete, but the disparity in financial amplification created by the two established parties keeps anything from being able to take root.
Not sure how literal your statement was meant, but some parents are non-gendered, non-binary.

We shouldn't exclude them either.

Every mention needs to include a long list of every possible combination, no matter how rare and edge case. /s
Having started numerous tech companies myself, interviewed hundreds of others who have, and started a community that instructions others on how to do so, I will say that HN's perception of how easy, profitable, and common it is to have a business model focused on selling data is overblown. I'd wager the vast majority of data collectors (e.g. Google Analytics accounts) just want it for their own internal decision-making and analysis.
Svetlana Jitomirskaya's letter [1] supporting Prof. Thompson is a worthwhile read. From that letter:

> "I think that the often present push to increase percentage of women beyond what is currently reasonably warranted by merit, only multiplies the biases, is very damaging for the community’s perception of women as a group, and thus is very harmful for the climate. As one example, I was recently on a committee to select the winner of an important prize. It went to a female mathematician. I am sure that most people who don't closely know her or her work, when learning the news, thought “of course, they wanted to select a woman”. Yet her gender had zero influence on our considerations, there was no push on the committee, and she was selected from all the applications purely on scientific merit according to the prize criteria. The value of this well-deserved prize is not at all the same for her as it would have been if she was a man."

[1]: Pages 21-22 of https://www.ams.org/journals/notices/202001/rnoti-o1.pdf
(A now-deleted comment said it's disappointing that ZZ doesn't support whole-program correctness-proofs. I'll hang my reply here rather than delete it.)

I should point out it's possible I completely misread the project summary. Perhaps it does support that after all. [0]

I still like the idea though, and might try it out at some point. There's a lot of value in guaranteeing no undefined-behaviour in my code. Imagine how much more secure our systems would be if they had these guarantees. There's also a lot of value in transpiling to portable, standard-compliant C code.

If you want a language that supports full proof-of-correctness, we do already have SPARK and Dafny, but they're no walk in the park. I'm an optimist about this though - I think they'll continue to slowly get more approachable.

A brief aside: SPARK strikes me as already being more approachable than the Event-B formal specification language, which starts with the formal specification in math (set theory), and ends in imperative code (after 'refining' the model into an implementation). That's despite that Event-B is a more approachable derivative of B-Method, itself a more approachable alternative to Z Notation. Annoyingly I couldn't find a great one-page summary to give the flavour of Event-B (there are a lot of beautifully crafted PDFs, as it's from academia), the best I can do is [1].

[0] https://news.ycombinator.com/item?id=22249135

[1] https://www3.hhu.de/stups/handbook/rodin/current/html/tut_bu...