skysight-inc/HackerNews huggingface dataset:
This is precisely why I wish more manufacturers would start adding physical keyboards again...at least 60% of my phone use involves writing. I still hate touch-screen keyboards, and am easily twice as slow as I used to be on physical ones.

If someone would come out with a smaller phone with decent battery life, a processor that's not underpowered, physical keyboard, a headphone jack, and mediocre camera, I'd definitely jump on it. Almost the entirety of this press release is camera based, which I just don't care about that much...but maybe I'm not the target market.
Overly analytical guide to escorting
I mean that's fair, but we're talking about airlifting some poor dogs with a cool drone, not exactly a common thing that will lead to long term problems.
SpaceX Starlink Service Will Go ‘Fully Mobile Later This Year’
The Nim compiler is pretty big.
Source? I've seen a myrid of kits that overlap heavily with different products like a DIY hearing aid would.
No, the price in USDT would rise and then as people promptly sold for USD it would collapse in USD terms.
Crazy positive implications for consumers.

California is a pretty good jurisdiction to litigate pro-consumer suits.
Most of the arguments against the use of a CLA in this essay feel like legitimate but generic laments of the complexity surrounding software licensing and employment contracts, not actually relevant to whether or not most projects should adopt CLAs.

CLAs can be written to be confusing (like anything), but in my experience they are no more confusing than open source licenses themselves. Suggesting using Apache License to avoid the confusion of a CLA is particularly weird to me since that is a long and complicated license compared to the most common OSS licenses.

Bad process can also make CLAs hard, but that’s not any fundamental problem with the concept of a CLA. As someone who also worked on improving the CLA process for a non-profit OSS foundation, I can say with confidence that the administrative burdens are insignificant when your process isn’t broken. It feels to me like saying “you probably shouldn’t use code linters” as a blanket rule because some projects use some uncommon coding style.

Even after reading this I don’t really understand why the author seems to think that CLAs mostly exist to shift liability toward third parties. It’s not as though the project still gets to use the IP-infringing code just because the person who put it there signed a CLA, and it’s not as though the absence of a CLA keeps all parties from being sued. The legal entity that owns the project would probably be able to avoid any claim of wilful infringement, but I can’t think of any other way that a CLA shifts legal blame. (However, IANAL.)

On the other hand, I’ve been involved in OSS projects where a contributor didn’t sign a CLA, contributed code, then became acrimonious after some of their other ideas were rejected and threatened to sue the project if their code wasn’t removed. While it would’ve been extremely difficult for them to do so, it created a lot of problems that simply wouldn’t have existed if there were a signed CLA to point to.

The fact of the matter is that the long tail of OSS projects are not owned by big megacorps with endless pockets for lawyers; most are either part of 501(c)(6) non-profits like the Linux Foundation or just solo developers, and for those projects having a CLA is probably even more valuable.
Scanning the passport:

1. Verifies that you have the passport

2. Provides biometric info

Of course neither of these are a 100% guarantee of identity. (1) doesn't account for stolen or lost documents. (2) is only useful if the app doing verification is tamperproof and the camera isn't fooled by holding up a photo of you etc. However _nothing_ is a 100% guarantee. These steps, plus any other verification that's going on, can make it very hard to fake ID, which is all we are really able to hope for with these systems.
Most actors aren't either.

But the top 5% take home millions
Genuily asking: what?
It works well with lisps at the very least
What kind of access do you get? Is it more about utilizing GUI (with some KVM), ssh or some sort of agent process (eg Jenkins or similar)
Massively endangering others by the thousands is not a reasonable response just so they can shave a few hours off their trip
Rails community sees this a lot. Rails is fairly heavy and there are some great lightweight solutions like Sinatra.

But what I’ve seen many times is that by the time you finish adding all the missing bits you end up with something as heavy as Rails, but non-standard. So now maintaining it is a huge burden.
Encasing algae triples the efficiency of artificial photosynthesis
> While dark matter is currently our best explanation, it is deeply flawed

Calling it deeply flawed is focusing on just one aspect of it. The name just refers to the darkness in our knowledge about what it is. We don't know. It might be a form of matter, it might be a new factor in our equations or something completely different.
I'd love to see a list of these books when they exist:

Rex Feral - Hit Man

Stick and Rudder: An Explanation of the Art of Flying
...

By the way, there is a section of the article where they mention books:

The book Blackstone’s Senior Investigating Officers’ Handbook (5th ed, 2019) by Tony Cook is a unique one-stop guide to all the processes and actions involved in conducting major investigations, presented in a clear and understandable fashion.

For my PhD thesis The Making of an Expert Detective: Thinking and Deciding in Criminal Investigations (2016), I drew on theoretical frameworks developed in social and cognitive psychology to examine the degree to which individual and systemic factors can compensate for inherent biases in criminal detectives’ judgments and decision-making.

The book The Routledge International Handbook of Legal and Investigative Psychology (2019), edited by the psychologists Ray Bull and Iris Blandón-Gitlin, explores contemporary topics in psychological science, applying them to investigative and legal procedures. Featuring contributions from recognised scholars from around the globe (including myself), it brings together current research, emerging trends, and cutting-edge debates in a single comprehensive and authoritative volume.

The book Superforecasting: The Art and Science of Prediction (2015) by the political scientist Philip E Tetlock and the author Dan Gardner offers a deeper insight into prediction, drawing on decades of research and the results of a massive, US government-funded forecasting tournament. The Good Judgment Project involves tens of thousands of ordinary people – including a Brooklyn filmmaker, a retired pipe-installer, and a former ballroom dancer – who set out to forecast global events. Some of the volunteers have turned out to be astonishingly good. These ‘superforecasters’ have beaten other benchmarks, competitors and prediction markets. They’ve even beaten the collective judgment of intelligence analysts with access to classified information.

‘Correlation does not imply causation’: for decades, this mantra was invoked by scientists in order to avoid taking positions as to whether one thing caused another, such as smoking and cancer, or carbon dioxide and climate change. But today, that taboo is dead. The causal revolution has (seemingly) cut through a century of confusion, and placed cause and effect on a firm scientific basis. The Book of Why (2018) by the computer scientist Judea Pearl and the science writer Dana Mackenzie explains causal thinking to general readers, showing how it allows us to explore both the world that is and the worlds that could have been. It is the essence of human and artificial intelligence. And just as these scientific discoveries have enabled machines to think better, The Book of Why explains how we too can think better.
```
Technically Nikola gave us the truck rolling down the hill. Hindenburg just let us find out about it.

:)
I'll believe that when you start paying corporate taxes. https://www.theverge.com/2020/2/19/21144291/facebook-irs-law...
Starlink for Smartphone?
It’s pretty early in the century
>But, the problem here is that the issuer is the British government, so, what are you proving? "Here, you issued this passport". "Oh yes, so we did". I presume the British government does own a database of the passports they issued, so this isn't news to them.

It's a (weak) proof of ownership of such passport -- it has to be present to be read.

Some id cards can also function as smartcards and provide kind of challenge-response proof, which is better compared to reading signed document (which can turn out to be a copy).

>I presume the British government does own a database of the passports they issued, so this isn't news to them.

Actually maybe the don't.
I really like this extension, but can you restrict it to only a small subset of words that grows over time? If I see lots of different words, I'll forget them, but if I see the same words over time, I'll remember them.
Precisely. It's too risky to actually short the crypto complex because if the Tether fraud is true, then they can pump it to $100k or $1m or whatever they want.

But if they contribute to the unwind of a fraud of this scale, they will go down as heroes.
It’s scanned because those are the filed copied (with signatures), not the (literal) preprint.
Why you and not CloudZero?
So what? You are not comparing the same thing.
The easy thing to do would be to tank the value of water rights first.

Taxes seem like an obvious option. I can't think of any constitutional reasons why they can't tax you for drawing from natural springs, else all new taxes would be a constitutional issue. You may not even need to nationalize then.

You might also be able to simply ban private consumption of water from waterways. Nothing is being seized, they still own the water, it's just worthless because they can't use it. Similar to what would happen if we ban coal. I don't think we'd have to go track down everyone with rights to a coal vein and pay them what it's worth.
Less denialism than caution against jumping to conclusions and "consensus". He understood that to base society off of models with phenomenally low confidence has the potential to harm more than help, despite any good intentions.
> His latest book, available December 7, 2021, is titled The Eternal Tao Te Ching, based on the meanings of the ancient Chinese characters in use when the Taoist classic was written. It is the first translation to employ the meanings of the pre-writing brush characters in use 2,400 years ago, when the classic was written, rather than relying on the often-different meanings of the more modern brush characters, as other translations have done.

Translating a thousands-of-years-old text as if the words of the time had their modern meanings is a ridiculous oversight that could not possibly have gone unnoticed until 2021. The written Chinese of 2,400 years ago has been studied thoroughly. What is this supposed to mean?
Solidity on Replit: Diving into Web3
It's funny to hear someone say so many nice things about Akka.

I work with Akka streams, actors and http every day and and while I agree that Akka is really well documented, incredibly powerful and as you say polished, it is also the bane of my existence. It has made what could have been a simple application a rather painful experience for newcomers and even very senior engineers. The complexity of a framework like Akka is a huge barrier of entry for engineers and hinders development more often than it helps.

This is all obviously very subjective.
The json module is old and probably wouldn't be designed this way today.
I tend to think that almost everybody who can work in tech, where almost everybody is self-learned, already does so or will do so once they get old enough. It's not law or medicine that have high barriers to enter. I'm not saying you can't train literally anybody, but the bulk of the population of any given country is not fungible, so if you have a large tech industry you will inevitably hire massively abroad.
>Science moves forward one funeral at a time.

Sometime it also regresses one funeral at a time.
I feel we should take a moment to appreciate the USB-C end on the magsafe charger so we can replace the cable when it breaks instead of paying for the entire brick.
The Wire. Ok, I'm actually curious did you really not remember the name but the did know the number of seasons, and it was something like rope/string?
LiFePO4 also has lower energy density, and non Tesla EV makers seem to be making really inefficient EVs (less than 3 miles per kWh in the new Volvo and BMW!) and just putting in a huge battery pack to "compensate". Which the buyer gets the privilege to pay for with up front cost, charging time, and less range than they ought to have.

I am impressed so far with my new-to-me Chevy Bolt getting 4.5 mi/kWh and squeezing a respectable range (250 mi) out of a smallish battery (55 kWh).

But when BMW puts in an 88 kWh battery in their i4 but it only gets 2.3 mi/kWh, there's no way they could accept the lower power density of lithium iron phosphate batteries.
They were /22 I believe. You can still get a single /24 as a new RIPE member, and no waiting at the moment as their IPv4 waiting list is empty.
Euro News is more complicated, it’s partially owned by EU member states but also non members like Russian and Egyptian State TV.
I see, so as a low-dimensional topologist I'm not a mathematician, thanks!*

But more seriously, if you haven't read it already you might take a look at Thurston's "On Proof and Progress in Mathematics." He had a stunningly accurate intuition, and putting what was in his mind into a form that other experts could understand and consider to be a proof gave many mathematicians a job for quite a long time. So long as you had him around, you could query him for any amount of detail for why his claims were true, so in that sense he had real proofs.

Symbolic proofs are sort of a lowest-common-denominator, serializing what's in one's mind to paper and reducing things to machine-checkable rules. It's also a rather modern idea that this is what math is.

I think it's very much worth considering math to be the study of what can be made perfectly obvious, which is closer to what Thurston seemed to be doing vs formalism.

* This is sort of a joke. At least I'm able to convince people it's math because in principle it can be written symbolically, and formalism is rather compelling as a foundational philosophy, if a bit nihilistic.
> The popular press likes to frame the debate as "dark matter vs. modified gravity", but it's really "dark matter vs. dark matter plus modified gravity", which is much less dramatic.

Honestly for us lay folks there isn't a perceptible difference in the amount of drama between the two. :)
Twittoons.com
Literally 0 people who are in limbo on an extended H1B would object to green card applications being accepted or rejected within a reasonable time frame.
> what is "two?"

Two is the property shared by all of the things that behave the same as the collection of things which contain all collections of things which contain all collections of things which contain nothing, with respect to a set of rules that allow you to make collections of things that contain some things and not other things, and check to see if a given collection of things contains some things or no things (and with the proviso that collections count as things that can be parts of collections of things).

:-)

> I'm curious if you had another idea.

See:

http://blog.rongarret.info/2015/03/why-some-assumptions-are-...

This needs some revision, but it contains the essential idea.
Simply trading on MNPI is not insider trading. You must have a fiduciary duty to protect said MNPI.

If I do some analysis and reveal some MNPI for myself, it's perfectly legal to trade on that since I do not have a fiduciary duty to any publicly traded firms.
Only if it's part of the car, otherwise it's covered under homeowner's insurance.
Additionally, that 100.2% figure comes from Tether's own creative accounting. In all likelyhood the numbers are even worse than that.
He’s actually a person to whom I applied the “opposite” of the Gell Mann effect to. I first watched his videos on the stuff I did know something about to make sure he was covering the nuances before watching his other material. Now I watch his other videos on things I don’t know about, trusting that he’ll cover the nuances of those subjects.
I misunderstood the context. OP was referring to the state of Java in 2005 and I thought the reference was to JavaScript. Whole different world, but I can't delete/edit my post now.
> The recent change, implemented without a formal announcement, is meant to present a variety of skin tones in image queries related to beauty, such as “beautiful skin” and “professional hairstyles,” as well as simpler people-related searches like “woman” or “happy family,” the Alphabet Inc.-owned company said Tuesday.

How is this not what you searched for? Is there an implicit constraint you think Google should be applying?

Note that search results have long favoured giving you an intentionally diverse selection of results in ambiguous cases, so you can narrow down for what you want more easily. Otherwise you'd probably get 12 different images of whoever the most popular celebrity is, which is probably not the most useful result in practice.
That is an unreasonably cynical take on what is happening. Reporting and tracking is always imperfect, but just to point out one improvement the 311 system greatly improved reporting. Getting the most out of police without giving into oppression is never simple, and our incarceration spree has gone beyond what we can actually afford. Sitting back and being angry and playing blame games is not going to get us out of this.
Of the Lisp Machine vendors, only Xerox had a structure editor.
> The market is evidently very confident about tether.

The market was very confident about Enron, WorldCom, Madoff, WireCard, Greensill, Theranos, WeWork, etc as well.
by "everything" I think GP is referring to the JS ecosystem
Or is that just what 'Zeke Faux' wants you to believe??? /s
It's easy to remember. C0=16Hz, C4=256Hz and so on. There any advantages to settle for 440 either. At least Scientific Pitch helps to remember frequencies based on octaves. Even calculating 12-TET (which is the standard nowadays) is calculated using roots of two.
The quote from John Wheeler is, “Matter tells Spacetime how to curve, and Spacetime tells matter how to move.”
I also only recently became aware of this after seeing a video of it happening[1]. No more diving alone for me sadly.

1. https://www.youtube.com/watch?v=GAQ64NNkaro
The mention of schemas made me wonder if David Spivak's work on functional database migration might be relevant.

http://math.mit.edu/~dspivak/informatics/FunctorialDataMigra...

Note: requires big brain
Right.. I could post screen shots but who actually cares? He's got bylines in Bloomberg about questionable finance companies going back a decade..

https://www.bloomberg.com/news/articles/2010-04-13/ubs-order...

Guess it could be the long con.. his first article for Bloomberg was written shortly after Bitcoin was first created...
Industrial Wasteland in Japan
So far I have not seen much compelling need for full backward compatibility to Intel.

Have you come across many instances where you wish you had an Intel CPU?
Is the Second Defined Arbitrarily?
They don't have obligation to ship bleeding edge off-the-shelf code but they do have an obligation to provide the operating system with security patches. If the user clicks on a tar file to extract it and it ends up writing to random places on their filesystem due to a vulnerability, that is gonna be a problem for the enterprise users.
I imagine cooling and ventilation costs (apparently ~40% of data center energy costs) would plummet as well.
Market power makes it an antitrust situation and since you can't run a profitable app business without going through Apple, that certainly makes this a hostage scenario.

We haven't seen the last antitrust case against them. I'm certainly looking forward to them getting knocked down a few pegs. Only a stool pigeon would defend their behavior.
> it's a vicious cycle of taking it home, realizing it's not really helping, and bringing it back to try a new one.

Sounds like the calibration needs to happen in the home, not the doctor's office.
> Also I never need the MagSafe port...in my life.

You only need to need it once. I know more than one person who broke their laptop by kicking the cord pre-magsafe.
The definition of the second is not arbitrary. It has deep historic roots.
this post never gets old!
Maybe we're over-stating a rare problem. It does stick in the mind. Really the point is, its freely given and its value is beyond price, in the sense it doesn't demand monetary reward, but recognition.

I would add that as a Mentor I found some of the questions really quite confrontingly hard. "what should I do with my life" is really hard. "my wife is worried I have a persisting health problem" likewise. You have to know when to say "seek competent input from a trained physician"

Oftentimes, what people really needed was an active listener. But I do like a good homily. We're all playing roles here.
I always felt like Nintendo games are in a weird category of their own though. You don't buy a Switch to play PC game (I wonder how many copies of Skyrim they sold), you buy it to play the game you listed (I'd add Mario Kart).

So I think the parent's point still somewhat stand that the switch isn't really targeting the same group as the deck.
It really can't happen this way. Between 3 and 4, you'd tank bitcoin's value significantly (assuming $1B is able to triple bitcoin's market value). Any sizeable liquidation of bitcoin at an inflated price is going to affect the price heavily and so now you no longer have 100% backing. (This of course depends on how elastic BTC/USDT price is)
> I believe the nesting shouldn’t affect it

It won't effect it, because there is no concept of nesting in an object storage engine like S3. Everything is a flat key that references an object, but we just abstract and conceptualize a directory structure because it makes it easier for us to manage our data.

But in reality you just have a really, really long list of keys and a big, flat file system of objects.
Crypto twitter's mature response, as expected

https://twitter.com/HindenburgRes/status/1450562266919841798

https://twitter.com/HindenburgRes/status/1450562260993298433
They'll certainly hold positions when they release any juicy findings they have.
> because if you are making an HTTP server, then yea stuff is going to be calling you.

Not necessarily. You could write the

while True:
request = getNextRequest()
...

yourself. A web server library would have functions for parsing headers, creating http responses, handling cookies, generating html, etc., and could have data structures that make it easier to dispatch requests to individual handlers, but your code would be in the driving seat as to what gets called.

Also a web framework could call a function to extract an URL from an incoming http request without any involvement of code you write.

A framework provides a main method; a library doesn’t.