skysight-inc/HackerNews huggingface dataset:
> The team tested batteries with recycled NMC111 cathodes, the most common flavor of cathode containing a third each of nickel, manganese, and cobalt. The cathodes were made using a patented recycling technique that Battery Resources, a startup Wang co-founded, is now commercializing.

That seems like a waste of cobalt. I think modern cells are usually something more like NMC811 (80% nickel, 10% each of manganese and cobalt). You could use the cobalt from the old cells to make more than three times as many new cells, though you'd need a lot more nickel.

I'm hoping most mass-market EVs switch over to using lithium iron phosphate, which doesn't use nickel or cobalt. Supposedly there are some major LFP patents expiring soon; maybe that'll increase the number of factories outside of China producing them.
cough glibc cough
I did a research paper on water, just a freshman class literature review, and... wow.

Quasicrystals? Ha! At small periods in time and space, I got the (probably mistaken) impression that water could form glass or metal or crystal: order at some scale, disorder at larger scale, the whole complex could itself repeat. Or not.
I disagree, and I believe you have made a category error: you are mistaking the description of a thing for the thing itself. I believe your error is the same as that of the one who asserts "the natural numbers are the finite transitive sets". In fact, the finite ordinals are only one possible implementation of the natural numbers in set theory, and what the natural numbers really are is "the abstract notion of the smallest structure you can do induction on". Similarly, any given symbolic representation of a thing is an implementation of that thing in mathematics, but it need not be the thing itself.

Perhaps our best (or even only) hope of automatic mathematics verification is to find a symbolic representation of a thing, and there are some areas where we have in some sense "definitely found the right symbols" which cleave very tightly to the thing they represent; and it's probably always true that if you can phrase something in the symbolic language, then you will be more rigorously constrained to say correct things by construction. But when an actual human actually does mathematics, they may very well not be manipulating symbols at all until they come to the point where they must transmit their thoughts to someone else. In fact, in some cases it may even be possible to transmit nontrivial mathematical thoughts without symbols; one possible method is simply "analogy".

To revisit the example at the start, by the way: If you choose the language of category theory, of course, you can formalise "the abstract notion of the smallest structure you can do induction on" into the symbolic representation whose name is "natural numbers object", and thereby claim that once more we are in the world of rules for manipulating symbols. But I do not believe the implied claim that "unless you think of the naturals as their category-theoretic representation, then you are not doing mathematics"!
I call that Sim City-architecture. Because no matter how you look at it, or how many design-awards some building and its architects won, it looks all cookie cutted. It's mostly the same similar style the same way you see mostly the same chain stores and franchises downtown, in malls and airports.

Utterly boring. But looks good on Instagram with auto-HDRd pretty pictures!

edit: Thinking about it, I'm mostly favouring the stuff from the Roaring Twenties as in Art Nouveau/Jugendstil, maybe some Bauhaus, but also some parts of Brutalism/Metabolic Architecture. The buildings and their architecture alone don't account for the atmosphere, the feel, vibe of a place. 'The zoning', or socio-economic distribution of residents also matters. For instance comparison of the Barbican Center in London with its public spaces and water plays is looking nice to stay a while, maybe even living there, if one can afford to. Now compare that to some buildings of Zaha Hadid Architects which may look nice, but sit in what could be a desert for all practical purposes, because the surrounding area has almost no public amenities, or even features unfriendly elements which disencourage staying there. Some stuff of Bjarke Ingels and team is getting this mixture right, I think. Hamburg tries with the Hafen-City, but I'm wary of it. Has some uncanny valley feel to it, is mostly loud, and expensive. Anyways, isn't ready yet and has almost been stopped cold in development because 2008. Maybe it's fun and good in 10 to 20 years time.
https://archive.md/CmYPj
Pre-orders come with free Pixel Buds ($99), which if you care, is a nice bonus.

With all the supply chain issues this past year, you might not even be able to buy one come Black Friday, much less at a discount or with a better freebie.
That's 12 in Google years, though.
Adding to this, we should view raw materials used in production as something we "borrow" from the earth that must be returned. And the cost of returning them - through disassembly and recycling - should be reflected in the price of the final product.

Right-to-repair friendly products would thus get an immediate advantage owing to their ease of disassembly.
> Not sure what impact he wants these tweet threads to have

They're notable stories and helpful to others who might make the same mistakes.

I'm more concerned that you are bothered by his honesty about past mistakes.
OMG. You may end up having changed my life - it had never occurred to me that a) this was a thing I could just up and buy, and b) it really isn’t that expensive.

No more worrying that I’m about to stick myself with the wrong prescription because the optician (yes, that’s who measures you for glasses in Germany) or I lost patience trying to find the boundary between spherical and cylindrical correction, or doing this at the wrong time of day, all for less than a pair of glasses costs.

Any brand recommendations?
While true, the whole point of the EU is the open market. It should be convenient to order from any member country.

Not all shops will ship abroad, but buying a smartphone shouldn't pose a problem.
"Surprise: the Big Bang isn’t the beginning of the universe anymore". Ethan Siegel, Starts with a Bang.

https://news.ycombinator.com/item?id=28851641

I can't tell whether this is just, "Actually having started with the Big Bang implies a singularity, which isn't allowed, so let's assume it wasn't a singularity and take what we get then."
This is will be inaccessible for anyone who actually starts from scratch, it spends too much time on topics that are largely irrelevant and it isn't the best resource for anyone who has the time to spend on the irrelevant parts.

I don't think there's a good target audience for it.
They already took fantastic pictures of light skinned folks.
"When is this useful?" I can't comment on specific CUE design decisions, and speaking generally about data languages and not specifically about typing thereof.

A canonical use-case for data languages is a cloud deployment consisting of many almost identical items, e.g. k8 pods, described as a series of data templates with the the property that the cost of overriding any (shared) configuration parameter over the entire deployment is O(1).

In a standard function-based language this can be done by rewriting function arguments at runtime, i.e. some form of monkey patching. I haven't seen a good theoretical explanation on how data languages (GCL, jsonnet, CUE, etc.) avoid the monkey patching trap as opposed to embracing it with good terse monkey patching syntax & semantics.

Perhaps there is a there there, but until the basic evaluation semantics is clarified, I have little hope of grokking higher level concerns like typing.
So most Americans are lazy and stupid? Only 7.7% of Americans work in tech, what about the other 92.3%, what are they? Note that's 7.7% of the workforce not population. https://connect.comptia.org/content/research/cyberstates-202...
It’s different because Tether claims to hold 1 USD for each Tether. A claim that should be verifiable.

The value of sh*tcoins is just a function of their future resale value.
> "The normal academic response to an opposing argument is to engage with it, testing the strengths and weaknesses of the differing views, in the expectations that the truth will emerge through a process of debate. However, this requires that both parties obey certain ground rules, such as a willingness to look at the evidence as a whole, to reject deliberate distortions and to accept principles of logic. A meaningful discourse is impossible when one party rejects these rules. Yet it would be wrong to prevent the denialists having a voice. Instead, we argue, it is necessary to shift the debate from the subject under consideration, instead exposing to public scrutiny the tactics they employ and identifying them publicly for what they are. An understanding of the five tactics listed above provides a useful framework for doing so."

This paper appears to recommend not to engaging with people whose opinions fit these tropes, and instead draw public attention to their divergent views and make an example of them. Essentially what we call cancel culture today. To the targets of such a tactic, what alternative recourse are they left with after being called a denialist? They can't all be funny enough to deflect it.

I'm not sure these writers understand what happens when you organize to cause the faith and humour of people to fail them. On this, Doctorow seems unwise.
Its not immediately practical... but spending a lot time learning a science like math in depth makes learning various applications very easy later.

I think sometimes educators have to let people be motivated by some particular application to teach them something more important. Perhaps that is what the author is up to?
I need to reboot my Vizio TV weekly through a hidden system menu to fix audio desync issues. Simply power cycling from the remote does not work, as far as I can tell that's a sleep mode. Absolutely terrible device and I will not be going back to Vizio in the future.
this is extremely bearish on crypto

BRB, buying puts on everything
Yes because if they're saying they have tons of USD-equivalent and buying other coins with it then they've been artificially inflating the other coins with bogus funds
Definitely not the same, hearing aids do a lot more signal processing than just amplifying sound.
No! There is nothing informal about the mathematical concept of a number. And numbers can be defined without resorting to circular definitions that include the word "number" in the definition.

It just so happens that the symbols that denote numbers behave like certain things in the real world when manipulated according to the rules that are customarily associated with the symbols. Those things in the real world have properties that correspond to the informal idea of numbers. But that has absolutely nothing to do with the math (except insofar as it's one of the things that makes math worth doing).
> Everyone derides Apple for not listening to the demands of users and then, when Apple finally does give in they... continue to deride them.

I explain such behavior to myself by keeping in mind that the internet is many people with many opinions. If one sees an inconsistent response to a topic, one is likely seeing disjoint groups of people that separately have consistent opinions, rather than a cohesive group that can't make up its mind. I find it easy to miss that when I'm not paying attention to who said what.
This I think has a lot to do with individual experiences with optometrists. I went to probably half a dozen optometrists since adolescence before I happened to end up with one who actually made it clear there's a degree of subjectivity with an eyeglass prescription.
I assume it's this. https://github.com/marcelja/facebook-delete

Found with Googling. ;-)
> Even if the origin, operation of Tether is highly suspicious: if it functions, is widely adopted and does what is expected … may last longer than people think.

I think you're right about this point, and I've been trying to imagine what might cause Tether to collapse - you really need a run on the bank situation triggered by something causing them to become insolvent.
Also interesting:

https://sciencenordic.com/chemistry-climate-denmark/the-eart...

> The Earth has lost a quarter of its water

> In its early history, the Earth's oceans contained significantly more water than they do today. A new study indicates that hydrogen from split water molecules has escaped into space.
Did they specify the time down to the nanosecond?
Quickemu: Quickly create and run optimised Win-10,11/macOS/Linux on Linux

https://news.ycombinator.com/item?id=28797129

404 points by nixcraft 11 days ago | 117 comments
It entirely depends on your perspective.

There's a difference between justifying your decisions with data, and letting data make your decisions for you.

What data would you use to justify not implementing a dislike feature that many users are asking for, for example?
I am quite happy with that "definition", not least because it's obviously not intended to be formal. But anyway, a very standard thing for a mathematics lecturer to say is "This is the only thing it could be", or "you know what this concept is already; we are just making some formal symbols to capture it", or words to that effect. It's pedagogically important to distinguish between genuinely new things that the reader is going to have to put some effort into rearchitecting their worldview around, versus things the reader already knows but might not have seen in this form before. Since everybody in this target audience already knows how to count, the treatment of the natural numbers is surely going to be in the latter category.
Letterboards: Why?
What's a Zig NIF? Googling wasn't any help.
I think that's basically their plan. In order for it to work, they need each dog to voluntarily enter the net.
Last time I got glasses I bought from them, and asked about swim goggles - which they don't carry. They then happily wrote my PD on a paper for me to use when buying swim goggles - or anything else. (too bad I lost the paper since...)
The data is one thing, but what about factoring in a prevailing feeling that nothing will be done about crimes like smash and grab? Why report if you have no confidence that it'll even be taken seriously. Further, I've read more than a few stories of people trying to report something only to be actively discouraged by the officer they're talking to.
Applied Cryptography is probably the worst book on cryptography engineering in broad circulation. It is a scourge.

https://sockpuppet.org/blog/2013/07/22/applied-practical-cry...

It's best to think of Applied Cryptography as an almanac or a work of pop science. The worst thing you can do with it is implement directly from it.
There is no quantitative way to do it as any measure will be gamed or will not be representative of all the dimensions of what makes a successful project.

High performing teams that I've been on rely on developers to meet their own given estimates and effectively communicate. It is pretty obvious when someone is repeatedly dodging as they will be unable to convincingly explain their status to their own team members.

Basically, each team member holds each other accountable. This only works if they have strong, shared incentives.
First Bitcoin Futures ETF ‘BITO’ Tops $1B Trading Volume on First Day
Google Quietly Tweaks Image Search for Racially Diverse Results
I wonder why this Reaserch firm is offering such a substantial bounty for information on Tether. What's in it for them? Where will this money come from?

From their site they provide an answer (and even a "track record") [1]:

> We look for (...) man-made disasters floating around in the market and aim to shed light on them before they lure in more unsuspecting victims.

Hence it seems they're doing it for the bennefit of the public. So much for the expression "there's no such thing as a free lunch".

[1] https://hindenburgresearch.com/about-us/
Every now and then you see anthropologists admitting that "ritual object" is just their way of saying they have no idea what it's for

Some of the Moai of Rapa Nui (aka the giant stone heads on Easter Island) used to have eyes. The fragments of the whites of the eyes - almond-shaped white stones with a central hole - were misidentified as "ritual bowls" for decades.

https://en.wikipedia.org/wiki/Moai#Eyes
>> the creators of Ivermectin won the Nobel for its applications in treating parasites, not COVID-19.

I'm assuming it's safe if it won the Nobel price and has many years of usage backing it.

That's more than can be said for these Covid vaccines.

In Vitro is a good sign that it may also be effective in vivo and worth trying especially in a drug that has proved to be safe and efficacious in other diseases.

Molnupiravir does that have many years of usage?

I think you get my point. people don't trust corporations to look out for their best interests especially drug companies.. and therefore aren't going to try medicine based on the company's promise that it's safe.
Ctrl + F "Biden", no results. That's so sad! It's the same thing Hunter did, and Hillary has been accused of. I like the morality that is seen in this thread but can we take it a bit further? FDA is mentioned a few times. What about the FTC? Ajit and net neutrality? It's everywhere!
I absolutely love the rationale for the name of the effect.
I wish I took the scorched-earth approach to deleting my FB account as well as trusting GDPR.

But there's still whatsapp and that now plugs into FB, and there's no longer an evolution to SMS and MMS, a way to message purely by having a phone number, no matter what account you have.

You can't opt out of this except by going totally off the grid.
The book that "clicked" for me is: Cryptography Engineering: Design Principles and Practical Applications, by Ferguson/Schneier/Kohno (2015) [1]

In plain language it walks through what I wanted to know, in a modern and paranoid perspective, as a readable narrative, from the point of view that we want to design each of the basic crypto primitives ourselves.

[1] https://onlinelibrary.wiley.com/doi/book/10.1002/97811187223...
Do glasses first.
I like frictionless Fi is. Phone breaks? No prob. Grab a cheap Moto phone from the Fi store listing, get it in the mail the next day, and setup in 5 mins. Go over on data? No prob. Pay a prorated price at the exact same rate.
Belgian woman wants to marry chimpanzee in zoo: 'He loves me'
This is great. I love watching stuff with my wife on airplanes.
Hey some of us live here :)
>"If this suit is successful, it'll no longer be necessary to prove sufficient standing as a copyright holder of GPLed code in order to enforce the license;"

Would such a decision have any usefulness outside of California? This specific lawsuit is filed in a California state court, against a California defendant.

/not a lawyer
CLA == Contributor License Agreement

"You can think of a CLA as somewhat of a “reverse open source license”. Whereas open source licenses are a copyright grant for users to use the project, a contributor license agreement, at its core, is the right for the project to incorporate a contributor’s code."

CLAs are bad because:

* "CLAs create a contribution-hostile developer experience"

* "CLAs require significant administrative overhead"

* "CLAs shifts legal blame to the party least equipped to defend against it"

You're welcome :)
Haha I do taxes for a living, and the number of times people have said, "My buddy does this and he says it's fine." As if the fact that the person hasn't been caught is evidence that what they're doing is legal. It's what you mentioned, they feel clever and don't think they're doing anything illegal.
I'd love to see social media, especially the 'upgrade' when FB gets rid of the timeline, leaving an uncluttered interface where you can interact with your friends without distractions.
Next 50 yrs? This will be lucky to still be an issue in 5 to 10 yrs. Soon enough, the long haul routes will be autonomous. Humans will handle the short haul from some rural / suburban hub to the suburban / urban final destination. Autonomous might not be able to do "the last mile" but that's not what cause ppl to not want to be drivers.
In California I couldn't buy anything without a US prescription when I immigrated, everyone refused it.
We don't regularly get innovation from generalists who pick up and figure out cryptography on their own. Daniel J. Bernstein is a professor of cryptography. Most of the innovations we see in cryptography come from people with graduate degrees in cryptography.

If you're someone like that, you don't need advice from random people on the Internet about whether you should practice in your field. Obviously, you should. But if you're someone who mostly spends their time writing general-purpose software and just find cryptography super fascinating or morally compelling, you do need the advice, because the cryptography you come up with is likely to get somebody hurt.
IMO, the increased toxicity of Reddit is due to user base growth. Much worse content used to be openly allowable on Reddit, but the users who posted that stuff were more content to stay in their hate holes and leave the rest of the site alone.

Unfortunately, even the small subs that are just as good as the Reddit of old still have a time bomb of when the subscriber base grows to the point that the mods can’t stop the user base from spamming irrelevant IRL political discussion in the comments.
As always, Matt Levine is shockingly informative:

https://www.bloomberg.com/opinion/articles/2021-10-07/matt-l...

Key quote:

1. You get a bunch of Bitcoins.

2. You slice them into junior and senior claims.

3. You sell the junior claims to people who want levered Bitcoin: people who want margin loans against their Bitcoins, etc., who want to gamble on Bitcoin without putting up too much cash.

4. You sell the senior claims as stablecoins: “Even if Bitcoin drops by 50%,” you say, “these coins will still be worth $1, because they are backed by $2 worth of Bitcoin.”
A good regulatory scheme will give people flexibility in how they comply with the rules so that productivity and innovation aren't (overly) constrained. If you find that you constantly need to break rules to be productive then it means you need regulatory reform, not less oversight or enforcement within the current regulatory context.
One should keep in mind that most dark matter "alternatives", including this one, actually include dark matter. It says so right on the 2nd page of their paper:

> Consider requirement (iii), that is, successful cosmology. In (2) we have a new d.o.f. φ [...] What should the expectation for a cosmological evolution of ϕ be? The MOND law for galaxies is silent regarding this matter. There is, however, another empirical law which concerns cosmology: the existence of sizable amounts of energy density scaling precisely as a^(−3).

In other words, they are saying that to get the cosmology right, they need to add stuff that behaves exactly like dark matter -- that is what they are alluding to with the "sizable amounts of energy". They make their φ field play this role. It's just like TeVeS, the other major relativistic MOND theory, where the scalar "S" field does the same thing.

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.
I think there's an aspect of whether it's expected or not here.

If the culture of the delivery drivers was that this was a perk of the job that everyone sort of knew about, then I think it's reasonable to call it a type of compensation.

Sort of like how unreported cash tips are a type of perkany rely on, even though no contract could ever stipulate that.