skysight-inc/HackerNews huggingface dataset:
I completed a MSc in Formal Methods a decade ago, and I've worked in software projects where the level of rigor was equivalent or superior to any classical engineering field. For example, railway signaling or some real time control systems. We handed in complex artifacts that have had zero defects throughout their lifetime (> 15 years).

I believe lightweight formal methods are quite promising and might let software move relatively quickly and economically while retaining some rigor. Look into Liquid Haskell for some ideas that might become mainstream.
There is no line. But unfortunately, I think Google only wants to hire people who they can accommodate easy (easy enough for the "diversity" points).

Have awkward social skills and prefer working away from other people? If you're a good programmer Google won't care. Have trouble following any instructions whatsoever? You're probably out of luck.

Honestly I think it would be nice for people with schizophrenia and more serious conditions to get employment. Even if it's hard to get them to actually contribute something, for their own self-worth. But I doubt companies like Google will do much for those people without an external incentive.
"I think they tried to remove the <?= a few years back)"

Not quite. They deprecated `<?` but not `<?=`, see here: https://wiki.php.net/rfc/deprecate_php_short_tags

Another PHP-RFC removed `<%`, `<%=`, and `<script language="php">` (I'll admit I didn't know about that one): https://wiki.php.net/rfc/remove_alternative_php_tags - but as with before, this specifically retained `<?=`.
Wonder if they'll ever get this added to Alpine/Busybox as a default package? Even b2sum is missing.
> A hybrid with a range extender and 1/3 of the battery, can better accommodate the needs of daily commuters

You are describing the Chevy Volt (hybrid).

And GM quit making them because the Bolt (all electric) is so much cheaper to produce. Consumer convenience or emissions is irrelevant.

Hybrids are, unfortunately, a dead end because everybody is assuming that they are going to get swept away by all-electric once the infrastructure is in place. They're right--but everybody is assuming that will take 10 years when in reality it will take more like 25.
> Some countries have accepted BTC as legal tender. It's only a matter of time really.

Why?
> It makes 0 sense since there's too much volatility plus it's open to manipulation by outsiders.

So what? They don't have to keep it in Bitcoin.

It makes lots of sense as they would safe millions on fees if done right.

> Amazon is perfectly positioned to create its own virtual coin

They could, and there's even a big change they would. We've seen big companies do dumb stuff. e.g. FB Libra project.
Epiphany supports PWAs, and is installed by default on Mobian. I just tried and successfully "Installed" Lyft as a PWA.
> That so many of the baby bells remain around in some form (ATT itself nowadays, Verizon, many local phone companies) seems to be a testament of that.

The Baby Bells were what happened when an entrenched national monopoly was broken up into entrenched local monopolies. Their continued existence (and the reformation of many of them into the new AT&T) doesn't really prove anything about how good the old monopoly was at running things.
Of course this would be the headline HN would pick. But read what else the spokesperson had to say: “We’re inspired by the innovation happening in the cryptocurrency space and are exploring what this could look like on Amazon,” a spokesperson for the company told CNN Business. “We believe the future will be built on new technologies that enable modern, fast and inexpensive payments, and hope to bring that future to Amazon customers as soon as possible.”

Will Amazon accept Bitcoin for payment before the end of the year, as rumored? No. Does Amazon hate cryptocurrency and think it's a scam? Also no. Will Amazon accept some form of cryptocurrency as payment at some point in the future? Given this statement, possibly yes.
Well, how about that TV show from 1979?

https://www.youtube.com/watch?v=5bNjAabLjCc

If you squint you can see aspects of both Blue Origin and SpaceX's adventures in this short-lived TV show. I remember watching it as a kid.
Dropping hard. Goes to show how you can be right yet still lose due to path dependency.
Foundry must be a no-brainer for them now given the political situation. Actually a bit surprised they didn't have more to announce on that front.
> Perhaps the French Third Republic would be better. :-)

I'm not sure a lot of people on the internet would be able to place the third Republic on a timeline. And then we'd be talking a 70-years period, close to the length of the Vvictorian era, but shifted 30 years forward ;-)
From Akin's Laws on Spacecraft Design: https://spacecraft.ssl.umd.edu/akins_laws.html

30. (von Tiesenhausen's Law of Engineering Design) If you want to have a maximum effect on the design of a new engineering system, learn to draw. Engineers always wind up designing the vehicle to look like the initial artist's concept.
Why do they have to sign their commits? Their contributions are unverified, as are any commits made in your name without your signature, but they don't have to do anything.

You gain the ability to prove that a certain commit came from your machine or someone with full access to it, they don't.

To be honest, everyone should be signing their commits in a professional environment. It takes minutes of work to set up and greatly increases the trust you can have in the code base.

If you're scared of affecting your workflow, just don't protect the GPG keys with a password (dangerous) or use your operating system's trust store to unlock them at login (less dangerous, but still suboptimal).

I sign my work commits without ever entering a password in a prompt. Some of my coworkers also sign their commits, most of them don't.
Grievance peddling for clicks. AKA Contemporary Journalism.
No, they read their minds now.
Because having a car is nice and convenient? Its great and all to be able to take the subway to a bar but the subway doesn’t get me to my golf club, the beach, the mountains etc.
> How hard is it to understand that Apple is offering a closed ecosystem, with all of the pluses and minuses that implies? If that isn’t what you want, just don’t buy it.

Unfortunately, all my friends and family use iMessage and Facetime, and Apple makes that impossible to access on an Android phone.

Also, Apple buys up huge amounts of the supply chain such that their screens, cameras, etc are better than basically anyone else's, and if I were to switch I'd loose access to every app I've bought over the past decade. (If not for Requiem and TunesKit, I'd loose access to all my movies and TV shows too.)
350€/mo*
to summarize:

- in an ancestor post, crypto skeptic asks "but what does it doooo?"

- response, "Bitcoin doesn't do much, but Ethereum does stuff"

- me, skeptical "But does Ethereum actually do stuff?"

- answer: "no, but something else in the future might"

We're 13 years into blockchain technologies, and it seems like there's still not a convincing case of it being a good, useful solution to a real need. Saying that the next thing will be better stretches credulity.
Probably just a local aphorism stemming from a sexagesimal culture. 60 year olds exist, so 2x 60 is the limit.
Makes sense. Baby wildebeests has to learn to walk in minutes after birth. Hungry Lions are literally waiting for their lunch to be born.
I imagine the PRNG they use for this is a rather thorough implementation. Unless perhaps it is even necessary to used a cryptographic chip to generate true randomness.
I’d be pretty unwilling to pay a subscription service for this because I know I’d only see the value after having it for quite a while. On the other hand I’d gladly pay $100 upfront if I knew I could have it forever as a desktop app.
This is a great alternative to me having to archive everything I do. I often struggle to recall that one article that had the data on the thing or that one message someone sent me at some point. It would be great if every app (like my browser) auto archived all that I see (removing the need for OCR) in some standard format, but short of that this is a good alternative idea. I do wonder how they avoid archiving secrets that users may want to manage in a sensitive way though.
Xiaomi dominates Russian smartphone market – Developing Telecoms
Who dismisses it? I think it's a pretty good idea. I think an enforceable law would have be more thoughtful than just paying for every breach. We need a reasonable standard for responsible security and how to assign blame.
My local PD tells me it can tell the difference, but they're also pretty well-known liars.
> And GM quit making them because

...they couldn't compete with the offerings, including plug-ins, from firms with established track records in the hybrid space; especially Toyota.
ARMv8.2 has rotate-and-xor and xor-and-rotate so that the (extremely cheap) xor can be saved.
Broadcom tried 3x in 2018. If Intel did approach Qualcomm they'd likely have to make the largest M&A bid ever.
This entirely false.

An attestation is an assurance that published valuations add up correctly. It provides no verification of the veracity of those valuations. Attestations are intended to be used as a follow-up to an actual audit, not as a replacement for one.

> One of the things to keep in mind to differentiate each of these services is that audits are performed to discover data, risks, or compliance issues that may not have been known before the audit took place, and attestation is to evaluate and review how true the data or information is when compared to a stated purpose, internal control or system.

https://www.ispartnersllc.com/blog/defining-attestation-assu...
Ah, ok. Thanks for the more apples-to-apples comparison. Sounds like the high-end California equivalent would be around $25k/yr, more than twice as much for a high-income self-employed head of household.
>vaccine immunity is superior

Here's proof that's totally wrong: https://www.cell.com/cell-reports-medicine/fulltext/S2666-37...

Most recovered COVID-19 patients mount broad, durable immunity after infection
Neutralizing antibodies show a bi-phasic decay with half-lives >200 days
Spike IgG+ memory B cells increase and persist post-infection
Durable polyfunctional CD4 and CD8 T cells recognize distinct viral epitope regions
http://chng.it/LFQSp5nc7r
Masterlock is still in business, right?
> fields where the companies are liable for bad stuff...

> * the companies and industries move very slowly

The reason the rest of us move so fast is we skip safety, security, quality, and maintainability to get to market. Those things are usually perceived "not bringing immediate customer value".
There's no clear boundary but one criteria for some mental illnesses is that it causes problems for the person's life. So a high functioning autist could be perfectly healthy in a world without informal human interaction. Pedophilia is not a mental illness unless it gets you into trouble, then it is.

I'd guess the reason for targeting autism is there would be a disproportionate number of highly capable workers hidden in that group which would be missed by normal hiring practices. You wouldn't expect that from, say, schizophrenia or most other neurodiversities.
The difference is that Facebook presented a solution in search of a problem. Even today, browsing through the Diem site, there's a ton of vague marketing speak and zero actual things I can do with it.

In contrast, "use this coin to buy anything on Amazon" is a massive product from the second it launches.
I did a public chat. It was a pain to code and a bigger pain to moderate. But it worked extremely well. A side effect is we never got bad ratings because anyone could just make an anonymous account and rant and complain where we'd see it. We ended up with two WhatsApp groups that lasted longer than the app itself.

I tried doing a Discord server for it recently but it doesn't have the anonymity effect.
define: coup

> a sudden, violent, and illegal seizure of power from a government.

That defines a coup. That's also what was attempted.

I don't believe you're posting in good faith. I won't be responding further.
Learning about Elixir Test Concurrency? Me too. Here's a good resource
Love to see a growing open source landscape:

https://www.pandapower.org/
https://github.com/PyPSA/PyPSA
https://github.com/JuliaEnergy/PowerDynamics.jl
The second oldest is 119, 100% verified. 122 is not that inconceivable . Just an extra 3 years. Especially if the distribution is fat tailed .
You can't be having requirements change while you're writing code... those happen in phases, those phases can be years, months or even weeks, but should never be less than that.

Coding on quicksand will never work out.

I was the programming/tech half of a small company back in the MS-DOS days. The first cycle was 3 months (delivery of program/hardware as specified). When it turned out to meet specifications, but was impractical in real use, we agreed to make changes. The prototype took about a month, and the customer liked it.

We then switched to a really interesting form of agile. Every day I drove out to the Will County Generating station. The customer (Russ) would bring in a random generating plant employee, and tell him "Here's a computer, I want you to do X,Y and Z... I know this isn't your job, and you won't be judged if there are problems... This is Mike... anything that goes wrong is HIS fault"

Russ was an amazing teacher, in the end. The first thing I learned is that "Press F1 for Help" should always be visible on the screen.

We quickly settled into a pattern. We'd build a list of bugs/design changes, and I'd fix all the problems in our list, and then we'd test again... after a year it was judged suitable for wide distribution. I loved that job, I supported that program for about 5 years, driving all over the place, meeting interesting people and solving their problems.
The value is really owning some percentage of the foundry market. Only a few can be cutting edge, expensive and time consuming. Better to compete now on volume and cost.
Or perhaps they simply cannot afford to live where they work or earn a living wage where they live?
Based on the “How it Works” section of their website, it looks like both the screenshot and the text are saved.
> People do not die if a Tweet doesn't make it through

True, and what you're saying is generally true. But what were the total consequences of the Equifax breach? We can't even quantify it. Snowden himself in the article mentions activists and journalists being killed because of these vulnerabilities. There are definitely counterexamples.
An Israeli military search team helped recover majority of Surfside victims
You don’t think there’d be a trust issue from showing a willingness to make unauthorized changes to your servers? From breaking their public promises about security, many of which are written into contracts?

Now think carefully about the implications of doing that to steal money. It’s not like they’re hypothetically doing that to hot fix a critical security issue - it’d literally be to profit from betraying their customers’ trust!
I concur. Managers really don't have anything tangible to show for themselves.

Enter bureaucracy, tickets, meetings, docs and more docs. More meetings. Their status report is more meetings.
Of course they didn’t do it. It was somebody else.
> … CH co-founder Paul Davison talking about opening up to all comers, and I heard him make the claim that Clubhouse has bigger potential than text-based social platforms, because talking has less friction than writing, therefore more people will use a talk-based app. I've heard others make this claim before, and it's always struck me as a deeply flawed thesis.

I would have thought, and still do think, similarly about YouTube and video vs. reading:

Who wants to Google the answer to something simple and instead of taking 30 seconds to read it, spend 12 minutes watching a YouTuber to eventually maybe see the answer read to you.

“The answer may surprise you” … everyone, apparently.

I don’t have to understand it or get it, I just have to accept that a huge chunk of today’s audience would rather spend 10x longer to receive information visually through a tiny embedded video postcard than quickly read it for themselves. So I have to design product experiences accordingly, not just for kids, but for adult enterprise employees too.
I remember taking some online test for a freelance job site that stated they had mechanisms in place to detect cheating. So I googled a bunch of stuff in Javascript then translated it into a different programming language (they wanted Python, I think.) This cheating was not detected. I didn't want the job anyway, so I bailed out after I "passed" the test.
You may be interested in Libimobiledevice that lets you sync an iPhone to Linux. That may work also with a mac?

I just found out about this tool from this (recent) thread:
https://news.ycombinator.com/item?id=27758045
Not just stdin and stdout, but lots of little tools that can be strung together in unique ways. Also text files rather than binary files for storage.
Here is a reply to this tweet thread, posted on behalf of an incarcerated person (christopherhavensmath.com):

"I don't quite agree with much of what is said, but it does also have some truth to it.

The fact is that many people publishing thesis papers are not publishing in major journals and so often have many errors. As well, one can publish a paper that is never refereed by experts in that field at all. Those are disreputable papers. It is our responsibility as mathematicians to pay attention of where the work that we build from comes from. When publishing work, there is a system which ranks the integrity of the academic journals, and my method involves beginning at the best quality journal that is relevant to your work.. the referees attack the paper and send you feedback, possibly rejecting your paper. Then you make adjustments according to their feedback and either resubmit to them, repeating the process, or you submit to the next best journal. After being rejected so many times, your article strengthens more and more until the best possible journal accepts your work.

This method assures that the quality of your work reflects the quality of the publishing journal. My first paper went down the list three notches and landed on a high level journal. But the process of submission was brutal and lasted over two years. There are no gaps in our work (Myself and my 3 coauthors). Rather there are gaps in the understanding of the concepts that immediately surround our work.

When we submit work, often we continue studying in that field and learn rather quickly that our submitted work could have been much better in the sense that you wish you would have included things that are obvious upon countless reviews of your own work. In this sense, good work can have gaps, but that does not necessarily mean that the submission contained errors.

But of course there are many papers out there published through websites or some other means that have zero academic value. The best thing to do is make sure that any research paper you use or reference comes from a reputable journal.

There is one thing to keep in mind... probably the most important part. We research for many reasons. Part of it for me is that research represents the pursuit of beauty. If you're doing math for the reason of adding another notch to your ladder towards academic elitism, then you're doing it for the wrong reason. We are the chasers of mathematical beauty. When we find such beauty the hard part is expressing it flawlessly in the form of human knowledge."
> The market of buyers will automatically reward sellers who develop more efficient devices once it starts hitting their wallet.

The point is that it's not "hitting their wallet." Idle power draw is an externality — it's negligible per individual (i.e. something people neglect to care about), yet adds up to real money at the municipal level.

And yes, you can make electricity cost more until it's not nelgigible. But you (as a tax-code legislator) don't want to do that. With economic "force-multiplier" utilities like electricity or gasoline, you don't want consumption to stay constant — you actually want it to increase, because consumption of such utilities is in the direct causal chain for GDP growth. Spending energy is necessary-but-not-sufficient to drive your country's economy; disincentivizing your population as a whole from spending energy, is disincentivizing them from driving the economy!

An electricity tax is like a corporate income tax: it indirectly disincentivizes people from making money. Which, as a tax-code legislator, is the last thing you want.

The point of this weird and arcane approach to incentivization that you object to, is to simultaneously incentivize useful electricity consumption, while also disincentivizing useless electricity consumption. To ramp up productivity, by saying "use as much of this as you can — but only in such a way as to drive the economy!"
https://twitter.com/CryptoCobain/status/1419426819405717506?...
Because the purpose is to establish how good people are at playing other people, not engines.
Written in VB5. Or in C, but we're not sure where to find the source. Or expecting to be compiled by a 16-bit compiler and run in a DOS box. Or written in some off-brand interpreted language, and the interpreter only runs on x86. Or...

Finding the source isn't free. Finding the archived compiler isn't free. Finding a machine that still can run the compiler isn't free. Re-writing the app isn't free.
(Author here) This is correct. The control box remembers my ideal standing height and goes directly to it on one button press.
probably already exists in APL
Well, you only quoted and responded to one part of my argument.

> It's identically disingenuous to suggest that such a difference in quantity does not manifest a difference in quality.

Huh? I specifically addressed that when I stated that "Nobody is asking an interviewee to have a full product prototype ready for demo inside an hour."

Are we assuming that the interviewer is an idiot who has no concept of time? That the interviewee only has some small amount of time to work through the problem they have posed, or answer questions?

If your interview process is an hour, then you're comparing a bunch of candidates who all had an hour. It's demonstrative of what knowledge you are bringing to the table and how you can work through problems. It's all extrapolation.

No, it isn't perfect. But if you find me a system that is, I've got a billion dollars for you in my pocket.

> you're leaving a lot of opportunity for people to dismis it.

Frankly, I don't care if people dismiss it. The people who dismiss are not here to engage in thoughtful conversation and aren't my target audience, anyway.
My issue with Fauci is this—why would an 80+ year old man at least a decade beyond average US retirement age, who has a microphone to literally the whole world in all of 2020 specifically choose to NOT become a whistleblower if the Trump administration was eschewing his advice (he who is the US authority on pandemics for decades) to the detriment of hundreds of thousands of dead?

Forget gain of function. Forget lab leak. Forget emails. Forget intentionally misleading mask efficacy to preserve health care supplies. All of that is nothing compared to staying silent when a single interview could have saved hundreds of thousands of lives.
An eternity ago I used a fantastic Firefox extension named "ScrapBook", which was like having your own internet archive: instead of just bookmarking a site, the extension would scrap and download the whole contents (or just sections) from the page you were visiting.

Its website seems to still be up to this day! http://www.xuldev.org/scrapbook/

This extension didn't survive the days of breaking API compatibility that Firefox went through (sigh). However, seems like some replicas exist that aim to provide the same or similar functionality, such as ScrapBee https://addons.mozilla.org/en-US/firefox/addon/scrapbee/