skysight-inc/HackerNews huggingface dataset:
The article covers software approaches (more energy-efficient algorithms) and mentions GPUs but not TPUs or ASICs.

Specialized chips (built with dynamic fabrication capacities) are far more energy efficient for specific types of workloads. We see this with mining ASICs, SSL accelerators, and also with Tensor Processing Units (for deep learning).

The externalities of energy production are the ultimate concern. If you're using cheap, clean energy with minimized external costs ("sustainable energy"), the energy-efficiency of the algorithm and the chips is of much less concern.

Could we recognize products, services, and data centers that were produced with and/or run on directly sourced clean energy as "200% Green"; with a logo on the box and/or the footer? 100% offset by PPAs is certainly progress.
Agreed. This is 100% unfair to the innocent.
Mr Cook and Apple are good to make money but not anymore good techs. It is a shame.
Well, technically you can find now a nuclear plant that with all the overruns ended up being 10 times more expensive.

My point is that with cheaper than coal it becomes viable co2-less source of energy for,among other things, vertical farming.

it will allow growing regardless of the weather and clouds above.
On one post people are saying: FB should not exist!
On another post people are saying: country X is bad as it bans FB!

It’s just so funny to see this.
Redirects through Facebook

https://www.fullwsj.com/articles/tim-cook-apple-steve-jobs-t...
Looking for early feedback before I build the product
Hi, i want to build a user feedback & feature request management tool.
But i found out that there are already so many tools for collecting & managing user feedback.so i would like to know what fraustates you about the most options available in the market? I want to know about your requirements and if i can differentiate my product with your valuable feedback, thanks all :)
The I/O pins have a resistor and diode to ground as protection. I didn't see any diodes to VCC. The outputs use a chain of successively-larger transistors like modern output cells, to get from the tiny internal current to the large external current.

The pins have a variety of implementations, depending on if they are tri-state, input only, output only, bidirectional, and other factors.

The 8086 has a two-phase clock. It's all one clock domain. The asynchronous input pins (I think reset and interrupt) have clocked latches to synchronize them.

What's DFT?
Mozilla needs to come more around to Apple's way of thinking. These things need to be done locally on the device, not farmed out to some cloud. Use the cloud (CDN) to deploy the software, but run the software locally.
I think it means when coming to this page directly vs getting to it by clicking the link on the HN homepage.
there was even a project to do direct IDE drive emulation using pee https://hackaday.io/project/20774-netpi-ide sadly seems to have stalled
> Vine

The secret sauce of TikTok isn't the availability of short video. Its short video with the world's library of music. TikTok is about music videos.

More importantly, Twitter would have messed it up. If Vine would have lasted until 2020 it would be filled with riots, violence and left wing politics - a reflection of Jack Dorsey (and staff's) attitude. Just like twitter.
Reddit launches Ethereum based Community Points
Interesting question, but the 80386 is way beyond my abilities and my microscope.
But without typechecking I still have to run a separate tool during development (which is where single pass performance matters the most me) - so suddenly it's not a single parse all-in-one solution.
This is wrong.

High trust societies where individuals can be expected to fulfill their obligations tend to prosper. Low trust societies where individuals cannot be trusted in this way tend to languish.

Paying back debts according to an agreed upon timetable is one of the important ways that high trust societies are built.
Don't think Falcon Heavy launches from Vandenberg yet. Delta IV Heavy does.
Type checking is undecidable for type theories that are Turing-complete. Type theories are Turing complete if they can simulate a turing machine. Roughly, type chicking for a type theory is undecidable if its not decidable whether every term has the type assigned to it by the programmer. The halting problem is the connection, which the website states but the author is inviting bug reports, so maybe its a good idea to ask them to clarify it.
Can someone explain why you can’t just have three masks, and circulate through them? We’ve been told that the virus dies after 3 days just sitting there. Why do I need to decontaminate it ad in TFA? I don’t get it.
New Electrocatalyst Turns Carbon Dioxide into Liquid Fuel – SciTechDaily
There are many. Most have been mentioned. Didn't see these mentioned yet:
Gladiator, Ip Man, The Last Samurai
Not me, but someone I know well.

There's a primitive 2D limited actions per day (I think these were a thing once?) web game built in the later era of Temple Ov Thee Lemur (if that name means nothing to you that's fine, if you laughed at the pun that's also fine) http://cities.totl.net/ -- there is also an HTTPS version but er, wow, TLS 1.0 and ancient insecure ciphersuites, I think you may just as well use the plain HTTP site in terms of functional security, maybe one of us will fix it some day. I am pretty sure it's all one terrifying Perl hairball so fixing it might be unexpectedly tricky.

Big parts of Cities are just archaic memes, but one of the main things going on there is that Chris, who built almost all of it, and is named 'King Chris in the game (it's short for Fucking Chris) was courting a woman who now lives with him and she played that game a lot when it was first built. So e.g. she abused the hell out of an addictive in-game amphetamine analogue, to get more actions per day, and he added a mechanism to somewhat undo the dibilatating effects of that, for her.

In the past few months her/their cat died and I believe Cities now has a late-game cat quest in memorial to that cat although it's possible that the subsequent arrival of new kittens in the house added a distraction which means that work wasn't actually completed, I don't play any more so I don't know.
Redirected through FB for me (asked to verify that was the link I wanted to go to) and then WSJ still showed me a couple paragraphs and a subscribe button if I wanted to read the rest.
TypeScript is a frontend language. "Frontend" is the category of languages we plan on supporting. It doesn't say anything about your usage of those languages. Where you run the code does not matter.
Well, in the link above there is a very clear take as to why that happened; in particular regulations were pushed to be way over stringent than needed by nuclear service companies themselves.

regulations were changed retroactively as well, for already approved projects.

Ill look around for better links to clarify this.
actually this link worked for me thanks, I could read the article.
China only recognizes patents applied for and granted by the China patent system. I believe you engaged a Chinese company to handle the JV. I worked in China 8 years. The amount of obfuscation and outright theft is beyond comprehension.
This New Zealand man gets paid $10,000 a year to be a city's official wizard
How about gorillaz?
> Are they taking necessary steps to mitigate ddos

I am not sure how this would happen in this case. If you want to flood the system you will have initiate a lot of payments which will be costly.

Both sender and receiver are authenticated with bank, so there is a traceability.

Also, you need a bank license from the central bank to act as a bank and each UPI is linked to an bank account which itself is linked to details. To add, it is now difficult (not impossible) to have anonymous bank account because they are linked to a central ID called Aaddhar number [1] and other KYC procedures.

One will have to really execute an elaborate scam like in Ocean's 11 movie to make this work.

[1] https://en.wikipedia.org/wiki/Aadhaar
You can use https://nginx.viraptor.info if you want to test it too.
tl;dr: Every Turing Complete system is undecidable - i.e. for every Turing Complete system which answers "yes" or "no", you can't determine in finite time whether, for any given input, the program will accept it or not.

Long version:

Being Turing Complete means that a system can compute everything that a Turing Machine can compute.

For a long time, it was an open question whether there was a way to determine whether, for a given statement, one could determine whether it was universally valid.

Alan Turing's creation of the Turing Machine was originally in order to try to answer this question. The idea was that to determine if a statement was universally valid, one would need to be able to mechanically derive the statement from the axioms of logic - i.e., there would be an algorithm (which Turing formalized as a "Turing Machine") that would be able to take the input and decide whether it was universally valid.

Turing then proved - likely his greatest claim to fame - that such an algorithm could not exist - as one can always build an input for which it will be forced to give the wrong answer.

Hence, Turing showed that for any Turing Machine - or any system equivalent to a Turing Machine - which answers "yes" or "no" to some input, it is impossible to decide whether it accepts its input in finite time.
over 20 years ago using PIC16 microcontroller http://www.codepuppies.com/ben/sens/pic/mp3/
If your type system is turing complete, then it's undecidable. This is easily seen through rices theorem [0] which states that all non-trivial (not always true or always false) semantic properties (i.e. about what inputs it maps to what outputs) of turing complete programs are undecidable. In particular what type something is going to be is undecidable.

Intuitively you should probably think of this as a slight extension of the halting problem, you can't always tell whether or not something (your type checking) halts. It's not that much of a leap to say that you can't tell whether it will halt after an even number or odd number of steps if it does halt (this doesn't immediately follow from the halting problem, but it is true). Imagine if you had a type that said "if it takes an even number of steps for some given computation to halt, I'm 'type A', if it takes an odd number I'm 'type B'". That's something a turing complete type system can do, and since you can't tell whether it will take an even or odd number of steps you can't tell whether or not the variable is 'type A' or 'type B'.

If it's undecidable it's not necessarily turing complete, but it's very easy to be accidentally turing complete, so it probably is.

[0] https://en.wikipedia.org/wiki/Rice%27s_theorem
Jonestown and CIA: Interview with an aide to Congressman Leo J. Ryan
Per the guidelines, I’m sharing this link to help HN read this article.

https://store.wsj.com/shop
Correction: Java’s type system has been unsound since version 5; version 8 (which TFA describes as the start of the issue) just happened to be the latest version at the time it was discovered.
Opera had this a decade ago. RIP
Have they tried nanonets?
Rare Footage Taken by 'Flying Train' Vividly Captures 1902 Germany
TBH, the whole datatypes section needs a revamp. Will put Steve's blog on my weekend reading list. Cheers!
Clearly the large corporations disagree.
We are actively working on this one as @ctalledo mentioned. Please ping us offline if want more details.
Are you trying to frame that as a bad thing? Twitter's been fantastic for seeing raw footage of police brutality and protest documentation, as well as organizing demonstrations.
Not to mention the fact that if both card and phone (associated with the card) are stolen at the same time it is a headache to block the card since now you don’t have the phone to log in to your account to block it which requires 2FA. Calling customer care is possible but if they ask for verification then again you don’t have your phone.
The United States' brand is that we are an open, dynamic, stable place to do business in. If you have capital its safe here because of our respect of the rule of law, and private property rights. We should strive to be the best place on earth to do business in. We are an open country and we benefit from being open. We benefit from competition. We are literally richer by definition - when business like TikTok choose to operate in the United States.

The decision to force transfer of business undermines our country's brand and our reputation. It's sad that Twitter is participating in this shake down.

I posted this in another thread and colorfully illustrates that Twitter is no better than what they accuse TikTok of being.

https://news.ycombinator.com/item?id=24095334
"Unlearning" is one algorithmic approach that may yield substantial energy consumption gains.

With many deep learning models, it's not possible to determine when or from what source something was learned: it's not possible to "back out" a change to the network and so the whole model has to be re-trained from scratch; which is O(n) instead of O(1.x).
Microsoft x TikTok = Bing Bong
VPA based on just the phone numbers may be convenient, it can lead to frauds. At least in India where - for most part - phone numbers aren’t treated like one’s personal data. Apps like Truecaller make it worse. Imagine receiving tons of involuntary charity requests on your UPI app, waiting for you to pay.

If not fraud, it will clutter the whole experience of UPI payments.
Clippy clop
TLDR The effect exist but is very slight.
The fact that risker loans command higher interest rates and lenders making calculated bets is obvious, but it does not follow from it that borrowers do not have moral obligations to repay loans. Risk-surcharge just reflect the fact that even if borrowers have full honest endeavor to repay debts, they may sometimes fail.

If we considered to be ok to not repay debts because a borrower just does not feel obligated to do so (and does not need more loans from that lender), then risk-surcharge would be extremely larger.
There's not much there for hobbyists past toy ISA design and basic digital logic design exercises unless you really stretch the definition of hobbyist. It's a steep increase in learning curve for power that most people will never use.

Electronic warfare is most commonly the disabling of enemy radio frequency equipment (radar, communications, targeting, etc).
> Maybe there should be a carve out for situations like this.

There already is one, it's called hourly billing. You come up with a reasonable plan, and you decide when to call it quits later if the bill gets too high.
> the deployment is mediated through a fragmented and diverse political economy.

Not to mention that bizarre toxic mindset of "I'm losing money (taxes) if someone else is getting comfortable."
There are other things other than SARS-CoV-2 that can get trapped in those masks that ought to be decontaminated by some means.
Resistance-era password storage (2017)
Borland's ObjectVision
It looks like it got lost in crossposting, but the original thread includes statements from CS drones that Linux won't be supported anymore. Plus lots of customer reports in the parent posting.

https://www.reddit.com/r/HBOMAX/comments/i484wx/hbo_max_has_...
What's the saying? If you have to ask, you can't afford it.
Sure, but they may well have looked at the state of it and concluded that it would need to be rewritten to get it to do what they needed—in which case doing that in a new project is actually less effort, since you don’t need to support the existing uses. (I agree it’d be interesting to hear from the creators, since this is a somewhat unusual result.)
> When he wants more thrust, Ivan doesn't look for a fancy propellant with a higher specific impulse. He just builds himself a bigger rocket

On the other hand the Soviet Union did develop syntin... (also from Ignition!)
Duplicate: https://news.ycombinator.com/item?id=24051655
Pretty sure it's because water was naturally hard to get and keep clean, meanwhile the body adopted ethanol since it's fermented and therefore killed many unhealthy pathogens.

Water history and alcohol history have pretty interesting histories.

I just dislike the taste of alcohol and I don't see how it's pleasurable.
I wonder to what degree you need to hedge against Elon being a crazy person? 3% chance he one day decides he’s out? Wonder how quickly and easily they can eminent-domain the company in the interests of national security if Musk bugs out
The Next Step in SSD Evolution: NVMe Zoned Namespaces Explained
What are the costs of this fantasy? How much more expensive per tonne, 10 fold?
Right, quality of material posted to HN should be no higher than any website that is primarily funded by a plethora of ads.
Just to be clear, the government literally does lie to you about what’s in the water.
https://www.washingtonpost.com/national/health-science/flint...
No, but if only one side is actually debating and the other is just trolling for reactions, there's no possibility for "good" ideas to ever even meet bad ones, much less defeat them.
The headline made me hope for an article about ergonomics.
Do you really believe every person has functional critical thinking capacity and won't be convinced by dangerous lies?

What a world that would be to live in.
Made my high school girlfriend a motorized cat picture as a graduation gift. It was a picture of Pusheen eating a tassel; I swapped the tassel out for a real tassel and wired a servo with an ATTiny to make Pusheen “eat” it with a press of a button.
Why Netflix is in 190 countries of the world?
Never saw yours before, but I discovered "Handsfree for Web" a few months after I started - and thought he had ripped mine off. But I no longer think so. Yes, seems like many commands are the same. Shame that so much wheel reinvention is going on. One thing that makes LipSurf "special" is the deep integration with sites. I wanted to use Duolingo, Reddit, HN and some others more with voice - so they get special plugins. Doing Duolingo with voice is a game changer for language learning - and if it weren't for usecases like that I would have likely lost interest like you long ago.
This really scares the crap out of me. I dont know the potential number of people who will end up voting by mail, but given Covid, I assume that would be significant. Messing with that system will really screw Americas voice and essentially block democracy. What can we do to make sure that our government know that this is unacceptable
Making Poverty Fashionable to Millennials
When I get vague medical bills in the mail, I ask for an itemization. After about 3 times, I asked if they can flag my account as always wanting an itemization. Apparently that's impossible, so I had to call every time.

Super frustrating, but medical billing is so complex, it feels like it's intended to make the patient give up and simply accept whatever charges are present, and not even attempt to verify bills are correct.

Nobody would accept a single line bill from a mechanic for "car repairs", yet somehow that's standard for the black check of financial liability we sign up for when we see providers.
Why do some submissions get auto flagged as duplicates but others don't?

https://hn.algolia.com/?q=oatly+coke
There are already separate apps for China and non-China users (and android is split across Europe).
They can also work less than they used to and still collect unemployment.
I suspect Twitter would curate TikTok differently from the current Chinese teams. More tolerance for non-cisgender, less for politics.
Read the repository on Github. I like it; keep expanding the source code, this could be the next concept one day!
Posts like this break the site guidelines. Please read https://news.ycombinator.com/newsguidelines.html and stick to the rules.

For plenty of explanation, see

https://hn.algolia.com/?sort=byDate&dateRange=all&type=comme...

and https://hn.algolia.com/?sort=byDate&type=comment&dateRange=a...
It is definitely not a perfect system. The problem is society in general accepts this behavior. It is an absurd claim on its face. They should face social pressure for this behavior. The only thing that I think could make our various systems better is to change what we accept; outside of those systems. The media we are sold and consume should reflect what is important to us. If cases like this were blasted across the twitter verse and people actually cared, it would stop once the spending decreases following the exposure. We are seeing that in other arenas.

I remember reading about a culture in east asia or the pacific where farmers did not have written contracts and usually had very little problems. Everyone knew what was expected and fell in line. If a farmer were to break with the norm, I am sure it would have resulted in them being ostracized.

I hope one day we expect more from each other, and expect more from ourselves.
The Mortgage Bankers Association defaulted on its mortgage.

Everyone from the bankers themselves to the POTUS knows that paying off debts is only for suckers.

Let the billionaires pay their debts and their taxes first.

https://en.wikipedia.org/wiki/Mortgage_Bankers_Association#D...
I understand, just for the very unlikely case that a clear depiction of the control register file comes up somewhere or something like that.

Thank you for the great series! I’ve been a long time reader, and the 8086 and its more immediate successors have a special place in my heart.
Plenty of "right-wing magazines" have had articles on HN's front page. Please do some research before posting like this.

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
Such a boring forgettable man. Sounds like he has no human contact. All large corps have such hyper effeciant corporate robots keeping the factory lights on. Nothing to see here unless you study robots.
Slightly related but some Redditor "created a NSFW TikTok clone, with just portait-mode porn gifs, some with sound. (works best on mobile)":

https://www.reddit.com/r/SideProject/comments/enn048/i_creat...
For what it’s worth; my Apple Watch is my favourite Apple product since the iMac G4, and seems to only be improving, iteration to iteration. Cook has at least brought a truly wonderful, innovative new product to market.

Big Sur seems decent. I’m interested to see how the ARM transition pins out.

However; we can’t ignore the butterfly keyboard debacle; a number of unstable iOS versions; the ludicrously-priced $6000 Mac Pro, (those wheels...) - and a very un-generous axing of 32-bit support with Catalina.

I absolutely refuse to upgrade on my personal MacBook beyond Mojave as I have legacy audio plugins that are 32-bit I’ve paid for that do not have upgrades I use as daily drivers. However I’m an iOS developer for a living; so my work computer must be up to date.

The road with Apple has always had its ups and downs. I think; for Mac users especially, the decrease in cost/lower price point that ARM should provide will determine quite a bit of the future of growth of MacOS in the amount of market share.
But we've been told that mail-in voting is "completely safe and secure", have we not? And now it "scares the crap" out of you. How come?
State benefit in Hawaii is $5 per week.
If someone borrows money from you, is it moral for them to not return your grocery money?
Byte never really took off [1]. I’m not a user so I can’t tell if it’s the experience or the existence of TikTok...

[1] https://appfigures.com/resources/insights/twia-20200807
Considering about 20% of mail-in ballots have already been disqualified for one reason or another, a drastic change could be exactly what's needed.
It easily is.

I spend more than that on rent, but between my wife and I, we could easily cover all expenses on $600/week each. If I left the California coast, I wouldn't want for anything material on this budget, and I think I could maintain 2k/month of savings beyween the two of us while covering all other expenses.

And as I understand it, the 600/WK is on top of other normal payments.