skysight-inc/HackerNews huggingface dataset:
It depends on what you mean by 'math'. Calculus? Not that much. Formal logic? Programming is applied formal logic.
I had to search for a bit but I managed to find it: https://www.claybavor.com/blog/a-canvas-made-of-pixels

It's been referenced on HN a few times: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
That's the 10%. 90% is working out what to even do, and managing all the humanity in the system before you arrived to build software.
This is essentially the only solution to this sort of question that I’ve seen work bar leaving the industry entirely.

Solo development IME is 90% sabbatical or very early stage startup anyways.

Find some other malcontents OP, it generally works itself out naturally from there.
And this is Apple's first effort - Intel has been hard at work for decades and has lost. Apple will get better from here, and should make sure the M1 and successors are fully capable on Windows 10 and successors so a full Apple based ecology will emerge.
We live in interesting times.
I think he meant that we’ll not see a huge amount of increased art and beauty. Instead, and I think, we’ll see more consuming of entertainment (video games and youtube).
In general I would assume when you shorten certificate validity from 90-ish days to one the computational resources required for issuance will increase to about 90x of what it was before. So it would be a lot more expensive to run.

Also, unrelated to that argument but I think the most expensive part in a CA is not issuance but rather OCSP since an OCSP query could happen with every TLS connection (although stapling exists to solve that). OCSP would not be affected by a shortening of validity periods.
Rather the continuing story "Palantir is an extremely competent, extremely advanced company from the future that spreads secret sauce on data that can turn it into fuel for their mind control technologies" that Palantir and the people who direct contracts to them propagate themselves.

This is just another case of journalists responding to tech companies own PR because they entirely operate from press releases and marketing material. See Cambridge Analytics.
My favorite bug like this was me in my buddy's 2000 VW Jetta. The car had some electrical issues, but my buddy once remarked that the windows stopped working whenever he gave me a ride.

I'm 6'4" and always slide the seat back whenever I get in a car. Turns out the circuitboard controlling the windows was under the passenger seat and had come loose. Moving the seat back caused a short, "breaking" the power windows.

Turns out, the windows _did_ stop working when he gave me a ride.

edit: "I have him" => "he gave me"
What about all the businesses that try this or try to reinvent themselves and fail. This is why business case studies are BS and unscientific. It is easy in hindsight to explain why something worked. having a visionary CEO worked for Apple; did not work so well for the company that made the Segway. If case studies were so effective, if you be possible to find companies that meet all the criteria, buy their stock cheap, and get rich. Dominoes stock went up because for some reason there was this sudden surge of demand for pizza, and domino's pizza somehow rose to the top in an otherwise very crowded market. All pizza chains have apps and online delivery.
SoulCycle changed fitness. Its toxic work environment made growth impossible
In 1998, I literally got fired for buying IBM (actual IBM) over Apple. I don't think that me telling people this in the last 20 years has done much to counter this particular meme.
Are you saying the auditors are the bureaucracy or the FIPS standards approvers are the bureaucracy? All the auditors are saying is that you have to use a FIPS approved algorithm. The FIPS people have real cryptography experts who research this stuff on a daily basis that also help set the security standards for the entire U.S. government. The author is coming along here saying they are using something else that’s not approved by FIPS (for good reason I might add) and they’re mad the auditors won’t let them simply because “everyone else is using bcrypt”.
I realize you’re joking, but it’s possible. Learning compilation targets is an active area of compiler research with some promising results in the past year or two.
Sorry I got carried away :/
Arguing what things are based on their dictionary definition is often a mistake. The people that compile the dictionary are not experts in every field. They optimize for brevity, and their sources are not exhaustive. They are not trying to be encyclopedic and all encompassing.

Note, have have worked with people assembling a major dictionary. They are just regualr people with regular foibles.
Yes. I meant:
1) HN -> news.ycombinator.com (This is the website. Please notice the "news." third level domain name that carefully target the topic)

2) News -> Daily submitted links

I asked for: "news from hackernews" reading habits.

I will be happy to explain more. Sorry for my bad english I'm Italian.
If in your opinion the set up process was that disastrous, take it back? It sounds like you encountered a few minor issues during setup that was resolved with a restart. Not exactly the end of the world, nor unique to Apple devices. The process seems a little bit error prone but it’s still miles ahead of any competitor out there.
I say this as an Apple fan who uses almost exclusively their devices: iCloud is hot garbage. It mostly works if you stick to the default settings and use it for nothing but passive device-backup and photo-backup for a single iPhone. Anything outside of that is a mine-field of login errors, sync issues, totally unconsidered use-cases, functionality that's simply broken (not just under special conditions; flatly broken), etc.
> data files from things like 2FA or wallets

do you have example apps? Authy and Mozilla Lockwise (iOS integration with Firefox password store) both copied over to my new device seemlessly: I only needed to give an "OK" to allow them to use Face ID to unlock and that was it. I didn't have to sign in or do any authentication other than biometric.
Here's a semi-related question that maybe somebody can answer.

Why is it that despite listening on TCP 9100, some printers will just print the source code when you send them a PDF or Postscript file with netcat?

Is there some special PJL command to put it into Postscript mode? Are there any networked printers around nowadays that don't support Postscript?
> I find it amazing (in a bad way) that whenever you talk about hydrogen someone comes up and wants to talk about cars.

It would solve the battery charging problem that electric cars have (for long trips) while not polluting like conventional cars.
sci-hub.st works here (Telekom in Germany).
There are a few things in this space that might be interesting:

- https://github.com/Hironsan/bertsearch

- https://github.com/hanxiao/bert-as-service

There was another I can't find right now that looked more polished/professional. But, in short, no it's pretty easy to setup. Just need a machine with a pretty big disk and be ok with an index latency. If you're using elastic search then you're already there on both accounts!
I don't disagree with that :)
Agree. Real engineers are also personally liable when things go wrong.
We'll see how many Harry Potters vs the Bible will be printed in total say in 2300 or 2500 AD. Somehow I'm betting on the Bible.
> That data is literally given away to everyone but some people or organizations can't have it?

It's often a question of quantity. LinkedIn probably doesn't care about you scraping a few profiles, but if you're harvesting every bit of their publicly-available data, then they get a little scared that you're building something that's going to compete with them.

Same with Instagram, or Facebook, for example. Though in this case it's probably more of a user-privacy issue - at least that's what they say.

It's not really weird logic to me - seems to make sense.

> If you want to control access to it, maybe at least require people to register

Most of the time they can't do this because they need the Google traffic. LinkedIn wants a result in the SERP for Bob Smith when you search for "Bob Smith" because that helps them get signups. Google won't list the page if that content is gated by a sign-in/register page.
Completely correct, H2 either in fuel cells or burnt in turbines and battery-powered hybridization are two of the pillars of the EU's Clean Aviation R&D programme: https://clean-aviation.eu/files/Clean%20Aviation%20-%20Share...
Yep. That which is globally optimal may be locally suboptimal.
One of the big companies in corporate security compliance is literally called Checkmarx. They couldn't be any more honest about it.

https://www.checkmarx.com/
How to get hired at a startup when you don't know anyone (2016)
I do like it... but 900+ is expensive...
At the time when VC++ 6 was the standard, it was worth frigging with Bloodshed if you didn't have $$$, an MSDN subscription, or some other access. Once there were the Express Editions and now VS Community Edition, it's really hard to justify the hassle for a second-rate set of tooling, unless you enjoy shaving yaks.
As a physics prof, who teaches quantum computing, I have the opposite problem. At my university, the computer science degree is just a software engineering degree. Students barely learn any computer science fundamentals beyond those required to get a SE job. There are very good at the SE, no doubt, but I really wish the uni just called a spade a spade, and a a software engineering degree a BS software engineering.
> Maybe the real problem is that the FIPS standards are too conservative?

Quoting a professional cryptographer: FIPS compliance means that your code/system is sufficiently mediocre.

Conservative would be one thing. Stubbornly out of date would be another.
I wouldn't be surprised if the Android app is a thin webview wrapper either. Stadia is streaming content, it's not like it needs much beyond what the web browser can do.
Why do you think Math is not testable? You can run numerical experiments to validate laws, theorems etc Heck we even have numerically supported proofs nowadays
In my view, a manufacturer should work on software quality until they can state on the box "If there is ever one glitchy weird thing that requires a reboot to fix, we'll give you a full refund".

Error dialogs should say "An error occurred. Do you want the refund for your phone to be sent to the credit card you purchased it on? [Yes] [No]"
Is working fine for me.
This is also why languages such as R, F#, and many others have emerged. I’m most familiar with F#, so I’ll use it as my example, but it is built on .Net just like C# and VB. That means you not only get access to all of the features they offer, but in a functional language that doesn’t enforce any of them on you.

Microsoft was clearly going for a best of both worlds approach - .Net if you need it, just your data if you don’t. I find it a pain in the ass, but all the data guys at work love it because they can mix and match with our existing code and still do their own thing.
Not really, there are plenty of companies founded before 1937 that still exist
2020 in Review with Jürgen Schmidhuber
Materialize - https://materialize.com/

I'm very curious to try it out for incremental consistency checking (i.e. does all the data satisfy a set of predicates)
I've seen this sentiment raised in several conference talks but the follow-on question of "how do we achieve this in software development?" is one where nobody really has a good answer. The story is that many civil engineers, while taking undergrad classes, had to look at, hold, and pass around a piece of the Tacoma Narrows bridge that had failed and collapsed. There is a story that some Boeing engineers kept on their desk a part from a plane that suffered structural failure (and cost the lives of dozens of people) to remind them of the stakes involved if they weren't sufficiently disciplined in their job.

In the realm of software engineering I don't know that we've had a catastrophic failure where the infrastructure costs of repair were in the billions or there was tangible loss of life. The biggest example that comes to mind was the explosion of the Ariane rocket because the software caused the rocket to rotate in the wrong direction so the ground-controllers executed a self-destruct... maybe pieces of a Tesla that crashed while on auto-pilot would be a candidate for physical objects we can hold in our hands to remind us that software bugs can kill?
Thank you for sharing. Very interesting.
I could not edit my comment, so here it is: I forgot to include a relevant symptom I had, which is delirium. I was in a delirious state for many hours, and it left me in a disassociated state for some time afterwards.

Just to add, most nootropics are cholinergics in some way or another. Take a look at choline supplements, or racetams (from Wikipedia: "Racetams are understood to work by activating glutamate receptors that are colocalized with cholinergic receptors, thus increasing the frequency of activation of the latter."). They are supposed to help people with Alzheimer's disease, improve their memory and whatnot. There are many studies around to support this. There is also Huperzine A that has been investigated as a possible treatment for Alzheimer's disease and there was a meta-analysis that found it efficacious in improving cognitive function (see https://en.wikipedia.org/wiki/Huperzine_A for more).

But yeah, anticholinergics are known to be bad for people with Alzheimer's disease, and some cholinergics are known to be effective in improving cognition of those who have it. Of course there are other medications that are supposed to be avoided, here is more about it for the curious (it mentions DPH, too): https://www.mind.uci.edu/medications-and-patients-with-alzhe...
> minor, politically motivated detail

Describing it as this is also editorial. You just want them to follow your editorial line instead of their own.
Why not give people a choice? Push everybody but give them an option not to? There are a few devices I specifically don't want to turn 2FA on, but someone else made that decision for me.
Reading between the lines: Advertising. It's a bit silly to believe that Domino's is the only place offering fast, cheap, unhealthy delivery.
I'm a fan of the show, it was really entertaining to listen to knocking the site over "live".
What a bunch of management school BS. There is one piece of truth in this article- They started doing better because they finally improved their product after years of cost optimization (read as shitty pizza). That's it. Better pizza = more sales. Keeping it around long enough and word gets out that Domino's is good again, which means more sales and growth. The rest of this article is fluff. The funny thing is that this article is written as if management saved the day by taking "a huge risk." Since when is fixing your shitty core product considered a huge risk? That's not a risk, that's a prerequisite!

Domino's aren't currently delivering pizzas by drone or self-driving cars at significant scale, certainly not enough to affect their stock price. They aren't putting enough money into drones or self-driving cars to make investors think that they might have some head start- they will get self-driving delivery the same time as every other pizza company, because they will be buying the solution from another company that is selling to everyone. Domino's pizza tracking and online ordering is cool, but nobody orders Domino's because of it. Because regardless of their tech, they are just about on par with most pizza places when it comes to delivery times.

Edit: want a "free pro stock tip" from me (/s)? Domino's is steady/level at ~$400 right now, but they were steady/level at ~$300 in 2018-2019. They got a 33% bump in price from the coronavirus. So 30x of the 90x bump this article brags about has nothing to do with management decisions. Once the Western world has gotten vaccinated, Domino's is not staying at $400. They may not go all the way back to $300, but they won't be keeping every customer once normal life resumes.
Previous Discussion: https://news.ycombinator.com/item?id=24826746
A few examples

Direct impact on policy and government: Historical analysis of subaltern groups has been a huge component of activism for women's rights, racial justice, and gay rights around the world. Foucault's work has enormously changed the way that people think about state power and its command over violence and surveillance, for example by updating Bentham's model of the panopticon for a modern world. This is critically important to understanding the two largest political powers (US and China) and their relationship with information and communication. And for better or worse, history and political science was a huge influence on the development of socialist and communist governments and their influence on the world.

Teaching the population: The humanities teaches empathy and media literacy better than any other field I know, and 20th century work has expanded that skilset dramatically. This is very useful for people who don't end up in "humanities careers" to have some experience with these practices, especially in the modern global world with deliberately crafted narratives all over the place.

Understanding technology: There is a moment in "the social dilemma" where the main activist (I forget his name) mentions that social media is not a tool because people are worried about its ability to damage civilization and he compares it to the bicycle, which he claims did not produce such worry. This is completely false, since the bicycle was absolutely a large concern since it enabled women to travel distances without their husbands. Had anybody involved in the doc thought to consult a historian of technology, they wouldn't have put forward such a terrible analysis and weakened their argument (and the proposed solutions). There are numerous such examples of this sort of error where a little bit of humanities background would enable us to develop technology more precisely.
The author’s assertions are misleading at best, outright false at worst. Their testing is inherently flawed, and they’re misinterpreting the output from hashcat. Although their choice of bcrypt is a good one, they clearly don’t understand how to actually evaluate different algorithms, and I commend the auditor for not allowing them to do so.

The author’s process doesn’t prove that bcrypt is more secure than whatever SHA2-based alternative was being proposed (from the example, seemingly sha512crypt). It simply proves that the number of rounds they chose for sha512crypt didn’t match the timing factor they chose for bcrypt. That’s just dumb.

I could just as easily provide a counter-example by stacking the odds in my favor. The time it takes to brute force a bcrypt or sha512crypt hash is configurable when generating the hash; I could just as easily choose options that appear to support sha512crypt being more secure.

What matters here is that the company wanted to use an algorithm that wasn’t requested by their customer. Their customer had a detailed document explaining which algorithms they would prefer. Although bcrypt is generally considered top notch security, vulnerabilities have certainly be found in various implementations over time.[0] This company’s customer—the US government—wanted something they had personally vetted and approved, which is understandable. Even if you could prove that one algorithm is slower than another, that doesn’t necessarily mean it’s more secure; it’s just more resistant to brute force attacks.

Furthermore, the author says “SHA2-based” without elaborating, causing several HN commenters to assume raw SHA2 was used here. However, the author’s hashcat example shows sha512crypt. That means it’s not raw SHA2; it’s been adapted to be made proper for password hashing, including salting and multiple rounds. It’s the same as calling bcrypt “Blowfish-based:” yes, it’s true, but it’s somewhat misleading if you completely omit any mention of bcrypt. Raw Blowfish should never be used for password storage; it isn’t designed for that, much like SHA2.

[0]: https://en.wikipedia.org/wiki/Bcrypt#Versioning_history
The controversy between assuming a point of view of "creating" vs "discovering" things is as old as mathematics.

> rather than a simple constructive process.

This requires some more distinction. 'constructive' can mean very different things. Some non-intuitionists would consider their counterparts definition of 'constructive' as possibly OK, but simple - and held other cases still for construction. Anecdotally, Ramanujan received his results as an inspiration from his household deity. Thinking about it probably brings up 5 different opinions among two people.
Duff's device output cut due to length limit, but here you go:
CL-USER> (vacietis::cstr-noeval "
void send (char * to, char * from, int count) {
int n = (count + 7) / 8;
switch (count % 8) {
case 0: do { * to++ = * from++;
case 7: * to++ = * from++;
case 6: * to++ = * from++;
case 5: * to++ = * from++;
case 4: * to++ = * from++;
case 3: * to++ = * from++;
case 2: * to++ = * from++;
case 1: * to++ = * from++; } while (--n > 0); } }
int main () {
char tobuf[32];
memset(tobuf, 0, sizeof(tobuf));
char* from = \"Duff the magic dragon's device!\";
send(tobuf, from, 31);
printf(\"from: %s\\n\", from);
printf(\" to: %s\\n\", tobuf);
return 0;
}")
(PROGN
(PROGN (DECLAIM (FTYPE (FUNCTION (* * * ) T) SEND)) (VACIETIS::VAC-DEFUN/1 SEND (TO FROM COUNT) (DECLARE (TYPE (SIGNED-BYTE 32) COUNT))
(PROG* ((N (VACIETIS.C:INTEGER/ (VACIETIS.C:+ COUNT 7) 8)))
(DECLARE (TYPE (SIGNED-BYTE 32) N))
(VACIETIS.C:SWITCH (VACIETIS.C:% COUNT 8)
(1 2 3 4 5 6 7 0)
(0
(VACIETIS.C:DO
(TAGBODY
(VACIETIS.C:=
(VACIETIS.C:DEREF*
(PROG1 TO
(VACIETIS.C:= TO (VACIETIS.C:PTR+ TO 1))))
(VACIETIS.C:DEREF* (PROG1 FROM (VACIETIS.C:= FROM (VACIETIS.C:PTR+ FROM 1)))))
7 (VACIETIS.C:= (VACIETIS.C:DEREF* (PROG1 TO (VACIETIS.C:= TO (VACIETIS.C:PTR+ TO 1)))) (VACIETIS.C:DEREF* (PROG1 FROM (VACIETIS.C:= FROM (VACIETIS.C:PTR+ FROM 1)))))
6 ... )))))))
(PROGN
(DECLAIM (FTYPE (FUNCTION NIL (SIGNED-BYTE 32)) MAIN))
(VACIETIS::VAC-DEFUN/1 MAIN NIL (DECLARE)
(PROG* ((TOBUF (MAKE-ARRAY 32 :ELEMENT-TYPE '(SIGNED-BYTE 8)))
(FROM (VACIETIS:STRING-TO-CHAR* "Duff the magic dragon's device!"))) (DECLARE (DYNAMIC-EXTENT FROM)
(TYPE (SIMPLE-ARRAY (SIGNED-BYTE 8) (32))
TOBUF)
(DYNAMIC-EXTENT TOBUF))
(MEMSET TOBUF 0 32)
(SEND TOBUF FROM 31)
(PRINTF (VACIETIS:STRING-TO-CHAR* "from: %s
") FROM)
(PRINTF (VACIETIS:STRING-TO-CHAR* " to: %s
") TOBUF) (RETURN-FROM MAIN 0)))))

Once you evaluate the above, you can call main from lisp.
2FA through SMS is unfortunately the norm..

I own a "dumb" phone and a yubikey, and guess what: 95% of servies online from Jira to Uber or Instagram/Facebook will not let you use a yubikey without setting SMS as the main and first recovery process, and sometimes just not let you use a yubikey at all anyway. Which is absurd in 2020 but apparently that's still where we're at.

IIRC Github, Bitwarden and Google have done a good job with that and my yubikey can at least be put to good use there.
What DIY Couldn't Do for Me
Verizon Fios. Their customer service is terrible, my Internet is frequently out, some channels are pixelated. Monopoly in my area.
GVFS?
Premium keycaps are "doubleshot", injection molded in two passes with different-colored plastic to produce the legends on the keycaps. This makes them immune to this kind of wear.

https://duckduckgo.com/?q=doubleshot+keycaps
"why bother" isn't a very relevant question about anything PICO-8. The entire thing is about artificial limits for "because we can" reasons.

Basically, the answer would be something akin to "because that would feel like cheating"
MemexD – Xplore and Design: Create and Browse Memes
Meme xD is a one stop app for all your meme-ing needs. Choose from thousands of pre uploaded templates, or add your own and share with the community!
Here we provide you with free Indian and international meme templates, with and easy to user editor.
Give it a try, download it now from google playstore
Its a digital services platform if i'm not wrong