skysight-inc/HackerNews huggingface dataset:
Java JWT: JSON Web Token for Java and Android
> The amount of pre-existing respect for someone I'd need to have before I engage in a good-faith discussion on "are types good" is pretty high.

> edit: To clarify, I am on the "types good" side of things

I agree. Python 1 would have been worthless if it didn't have types.
Comparably little harsh criticism has been made for systemd the init system, most has concerned systemd-the-almost-ntp-client and systemd-the-binary-logfile, the various related xml documents, things like that.
maybe it's the industry I'm in or the languages I use, but my experience has been the opposite. Being able to filter out all the SEO gamed crap at the top of the results has been great for me and the results are at least on-par with Google.
And how would you suggest regulation to keep up with technology if we just stop regulating after a certain threshold?
Police access to passport photos 'risks public trust'
This comment has the test timing backwards, but is otherwise correct that these alerts are used way too often and are set to make phones behave way too severely. I completely disabled them after I got woken up by some garbage AMBER Alert at 3 AM, and some other time when my phone deafened me to alert me to some road flooding across town. Feels crummy to disable what could be a genuinely useful feature, but you blew it, boy who cried wolf. They're all off now and will be for the rest of my life.
There are so many benefits for a front end application (written in javascript) to just assume it will be the backend that does type validation. A new field column added to a table? Cool, update the api layer, but the javascript just gets "the object" and now you have access to it immediately. No need to duplicate your definitions in both code bases, and it's not like front end security is real anyways. Sounds to me like a lot of "I learned to code in some derivative of C" programmers couldn't possibly consider that different languages could be optimized for different use cases and just want all coding to be "what they're used to." Then they moralize it and use shaming language to push it on everyone else. F typescript. I use different languages for different things, and strong typing makes a ton of sense IN MOST INSTANCES, but certainly not all.
>The US spends huge amounts on education... for rich people

FTFY

https://nces.ed.gov/pubs/web/97916.asp
> For a box a square meter in size it can produce 5 liters of drinkable water per hour.

Let’s see if the claim is possible from physics and math perspective.

In one hour the water is boiled to evaporation and then cooled (I presume with some added energy).

Raw sun energy is 1375W/m2 directly hitting earth but after clouds, tilt, material absorption we could say perhaps ~25% efficiency of input energy is captured so 350W. That is 0.35KWh in one hour.

1 hour solar energy is 0.65kWh.

To raise 1C of 1ml is 1 joule. So 100C from 20C of 1000ml is 80K joules, which is 0.02kwh. 5 liters would be 0.1kwh of energy.

0.1 < 0.35. The math checks out. Should be possible to evaporate 5L of water and have some energy leftover for cooling via heatpump mechanics.

How much land would be used?

—-

Suppose this was put in Tampa since it’s in the sunshine state. We could say 5 hours of sunshine so 25L of clean water / m2 / day.

Average person uses 70 gallons / day or 265L/day.
https://water.phila.gov/pool/files/home-water-use-ig5.pdf

Per person we’d need (265/25)= 10m2, for a city of ~500,000, we’d need 5 million m2 or 5km2.

Land area of Tampa is 300km2. So 1.6% of land would be used to make water.

5km2 is a looooot of land in one big plot, but not a lot of divided in chunks across where people live.

—-

If we are serious about global warming and future compfortable survival of our species then we should build homes where the entire roof is harnessing the energy of the sun.

To desalinate, to capture solar into electricity, to heat water.

Shingle roofs are strong snd cheap but if every foot of roof in US sun belt region was covered with solar cells, we’d be net negative for residential energy (produce more energy than use - that energy could supply electric transport).

It would make total sense to live in a solar farm of homes and use energy close to where it is captured.

Our future very much depends on how efficiently we can harness the sun’s energy which is free and abundant.
Maybe I'm reading it wrong but do you believe there's some conspiracy to stop so many people from getting into such a field? I wouldn't think this is the case seeing as the industry is crying out for young blood atm.

I think realistically, the reason I never got into that sort of thing, and probably for the same for you, is that it requires a lot of intelligence (probably more than I have aha), but for the most part some of the most extreme levels of dedication and specialisation of any field.

I like technology _in general_ too much and I don't think I'd have ever had the mental capacity nor willpower to dedicate myself to such a narrow but incredibly deep slice in such fashion as those who are at the forefront of that field.
Maybe you'd like to see the public school system improve so your grandchildren can attend it? Maybe you just want assurance that the serfs flipping your burgers can accurately read the sanitization instructions on their equipment?

People are all different and their motivations are complex. Not everyone is angling for ultimate personal advantage and maximum externalization of downside, even amongst the wealthy.
So when and how will IPv6 become the absolute standard? I presume an act of government law would do it, otherwise, if tech companies got together to force the change en masse, that would also do it.

I don't understand why IPv6 has not become more prevalent over the coming years. Seems like we're taking baby steps and growing in our dependence on IPv4 IPs, although based on other comments here it sounds like at least Linux and Mac have a way to handle this transparently, not sure about Windows.
Yeah, I just did, thanks!
> I rolled a 15 sided dice

15 sided die? Why didn't you also roll a 58 sided die then?

> I will be reading The Very Hungry Caterpillar

Great luck! I loved that book as a child. It may have been what led me to HN...
Yep ChromeOS runs with MGLRU by default, long before it was merged upstream.
> Everyone wins except for you

Which is why your scenario here wont happen. Thanks for clarifying so well why your argument "there is no consumer harm" is bullshit, what you said here means you know that what Amazon does here increases prices.
Not so simple. Why did the argument of that one person resonate more? Likely because of some other „experience“ or data that is not necessarily expressed or codified in either of the arguments.

That experience or intuition or whatever you want to call it can itself be based on some statistical „model“.
or summer internships. check out IAESTE and AIESEC and a few related organizations
Interesting. Right at the start tho: "let's assign 0..1 scores to some intangibles and argue like we now have data". Makes the "soft sciences" such a bitch.
The law is a written thing. What is written down is the law, is an important concept for a nation of laws. If you are to be governed by laws it’s important that said laws are enforced and it’s not arbitrary, so therefore we aught to follow what the law says and not what we think the intention of the law maker was. If there is ambiguity then the law maker can and should change the law.

If there is a law that fines you for wearing a blue shirt and you get fined for wearing a red shirt, but the court says “we know the intention was red shirt” then that is arbitrary enforcement of the law, we are just at the whims of the officials in the government and not being run by the laws.
But that's not the main issue. The problem is regulating content.
Integration tests are different, but I tend to believe that a strong enough type system should be able to negate the need for unit tests completely.

If anyone can think of something a unit test could test for that an arbitrarily* complex/strong type system couldn't I'd be interested to hear it. It's possible, I just can't think of any.
Totally okay with that. I would rather follow independent Canadian media that doesn't qualify as CanCon anyways. Canadian media regulation only benefit existing large media institutions.

> Canada's current spat with Google over news is a recent example.

That was particularly hilarious.
What is your reason for saying this? The article does discuss rancid, not just mis-categorized pressing.
It depends on your ISP, but providers are slowly switching to IPv6-only connections to their customers. The customer's router converts v4 to v6, and a translator at the ISP converts back to v4.

If you do the 4-to-6 translation on your own machine, your local router doesn't need to know about v4 at all. This is already happening with mobile networks.
There's no way I would have been able to get through to him... he was convinced that the world was against him, personally.
Rancid isn't the same as rotten. Oil going rancid is about oxidation and other chemical degradation. This has nothing to do with "health" of the oil...
Clearly you are not a believer in free markets, because by the theory of free markets these prices would naturally arrive at the lowest possible price all on their own.

You are right that this policy is very simple, it's very clear both mathematically and logically. Companies cannot lower their prices lower than their costs. If costs are variable across platforms but prices are fixed to a single value than this will de-facto result in INCREASED prices. If this policy causes someone to leave a platform, that STILL doesn't result in prices any lower than they would absent the rule.

In fact, the sheer existence of the rule is a clear statement from Amazon that they believe they have significant and durable market pricing power, since if they didn't, this policy would clearly lead to sellers and buyers leaving their platform.
Lina Kahn is the worst type of politically motivated bureaucrat. Instead of executing the law, seeks new interpretations so that she impose her world view on others. She's never created or done anything of value other than be a student or a bureaucrat.

Hopefully this case will be another in her long list of failures.
In this video we learn how all the coding and data loading we have done so far contributes to the process of loading configuration data from configuration files.
End of Season 2.
Whatever you think about CNN or MSNBC, FoxNews is pretty over the top, it’s basically a tabloid at this point with many tabloid stories.

I disagree with the premise however: it’s not that American media has so much influence on American consumers, rather American media is producing the product that their consumers want. The influence is basically reversed.
The highest paid freelance skill is Kubernetes
This argument can be made at any level of abstraction I think.

For example, you can make the same case for AWS Lambdas abstracting the infrastructure away from you, or VMs that run on-top of a hypervisor abstracting away the bare-metal servers.

IMO it really boils down to the quality of the implementation of a product and also designing your product such that if users need to debug (which hopefully isn't often) you offer that visibility into the internals.
> There will be few people with the dedication to benefit us all
> The Unity move was VERY silly considering the state of Godot and Unreal

In my opinion, opposite, Unity just pulled its oligopoly strings. It wasnt bad management or desperate business choices; they knew the state of the industry.
Docker uses 172.17.0.0/16 subnet range by default.

There is nothing shitty about the network on the train for also using this same IP address range.

https://en.wikipedia.org/wiki/Private_network

10.0.0.0/8

172.16.0.0/12

192.168.0.0/16

You might be used to seeing addresses from 192.168.0.0/24 and 192.168.1.0/24 in home networks, and addresses from 10.x.y.0/24 in corporate internal networks.

But all of 172.16.0.0/12 has exactly the same kind of purpose as do 10.0.0.0/8 and 192.168.0.0/16.

The people that set up the network on the train did nothing wrong for using a subnet of 172.16.0.0/12.
Python and PHP both have type hints that are natively ignored by the language if present, but can be checked if you have enough of them, if that's what you mean.
I like this idea, give people control over where they allow others to comment. I'll think more deeply into this thanks
Its possible he also used the C# variant of Godot. I find GDScript easier for myself, though I come from a Python background. I highly recommend learning Python basics. There are nuanced differences, I think of GDScript as a Python / JavaScript type of language, has the syntax of Python but has some JS / TypeScript things to it.
Why do you assume the money would be taken away from the public schools? Is it because they suck? If so, you're right and it should be taken away from them.

You don't improve if you aren't answering to anyone. If they're threatened with money loss you better believe they're going to start doing something to make their school more attractive and that's how it should be. Right now they can be absolutely abysmal at educating anyone and still receive tax dollars.
For the moment. Failure to adapt is a weakness though.
I'm also a pretty die-hard type-system user, but I've been programming a lot of Lisp and FORTH lately. FORTH is just bad at safety period. Lisp, on the other hand, I can see why there really isn't a need for types. The macro system means you can create arbitrary "compile-time" safety checks which is, IMO, more powerful than just a type system. That being said, I would still love a strongly, statically typed Lisp, or at least one with a strong macro type system (before y'all mention it, I'm not a fan of typed Racket).
If they don't have the resources that just means they'll enforce the law unevenly, to persecute.
The new hands off voice chat that Open AI is rolling out to users. I know because your snide comment makes no sense if you have (It works). And I especially know now because people who actually have used a feature they rag actually say so after the call out, not turn the question around on the accuser.
Darwin is far more readable than any of the others you mention.

Possibly Mein Kampf could compete in short passages by a "reading difficulty" score, but it's really tedious and much longer (by a factor of 5!). Darwin could actually write. Origin of Species was intended for the educated public as well as for scientists.
Infrastructure from code is the least exciting development in the evolution of ops I've seen.

Helping manage complexity -- great. Pulumi, Terraform, the CDK, all of these infrastructure as code tools help manage complexity.

Hiding complexity behind a DSL, via comments attached to methods intermingled with code or annotations -- not great.

Some of these implementations are my business logic -> your DSL via annotations or comments -> <Some other IaC DSL> -> CloudFormation -> AWS. At some point the returns are diminished as you add more layers vs. the cost of operating what's generated and trying to debug issues.
>This will be fun for my wife who's in the hospital right now. And everyone else in hospitals trying to rest.

That this will be happening today has been publicly communicated for at least a few weeks (as far as I've noticed) now. If that's not enough time for people to realize that, if they want rest, or silence, or whatever, they'll need to turn their phones off around this time, then I don't know what to tell ya.

>Also, will this go off on cellular watches? I'm sure schoolteachers are going to LOVE this... :-/

Same sentiment as above. This isn't just happening to kid's devices, it's happening to teacher's/administrator's phones, too. It'd be no different than a timed emergency drill that folk in schools are anticipating; everyone knows it's coming, there'll be a few minutes of mild commotion, things will die back down.
Try not being born into the working class next time.

And if you're born middle or higher, pursue the arts - that's what your 20s are for.
lol the writer is from mississippi. we're forced to reckon with race there, unlike most places, hence we write about it.

there is a long racist history at the fair. it's important to know about that history.
It seemed like a good idea at the time: 9 car designs that went nowhere
Very valuable insight
I've stopped all institutional donations. Never again in this political climate. Only specific projects, events, or Substack/Patreon support for individuals.
Sounds like you'd like C#. It does type inference with `var` and similar things, so you don't always have to specify types explicitly, but everything does have a type at compile time.
works for me on 118.0.1
I never cared for attendance. If a teacher believes that parents and the the students are diligent I think the teacher should excuse the student absences.

When I was a kid, my parents would have me skip school on Saturdays (we had 6 day/week classes) to go to the beach, or, go to an important cultural event (day my dad has a business trip to Florence, or Vienna).

My teachers knew we were getting good grades and that my parents weren't having us play video games while absent. Whatever it was we were doing was as enriching as school.

I believe the teachers have a duty to the weaker kids, but they shouldn't impose those kids controls on the others.
My understanding is that everything the JD Powers person said (quoted in the CR article) is probably true but irrelevant. I believe you can get them to make a study using criteria you choose. They then do a somewhat legit, or actually legit evaluation using those criteria and miracle dictu you are the best. It could be “cars with the paint that stays bright the longest” or “small, manual transmission cars with a defect rate in the top 10 of such manufacturers”. If you look closely at a couple of car ad that displays a top JD powers rating youll usually see that the two cars are top in slightly different standards.

So yes, consulting could be independent from ratings, and their evaluators really could be judging without considering the manufacturers, all just like CR…except the criteria themselves tip the scales.

I like CR even though I often don’t buy their top choices. Their top criteria aren’t always mine, but they explain why they rank, and also measure and report other criteria that are more important to me. So their reports still help me a lot. The JD Powerses of the world: not so much.
The restaurant I worked at years ago would bust out those old slider-carbon-copy things for credit cards during power outages.
I agree location based features would be awesome, thanks for the suggestion!
And the comment said " got enough of them at 2 and 3am that i had to disable it." not directly referring to the article.
I'm mostly fine with bad TS definitions since the types are cosmetic and you can always 'as unknown as whatever' your way out of an insane type definition. If someone nests 5 generics in Rust/C++ you'll have a much worse time.
People supporting voucher programs don't want well funded public schools.
This is more a question of curiosity than one of judgment: why does it take so long to load? I guess I expected it to be very fast because of the relative simplicity. Forgive me, I know nothing about Godot or Unity. This is still very cool.
Storry.tv: decentralized video hosting site that uses IPFS to store/serve videos
In my experience whenever you put effort into making a post like this, outlining the common arguments you hear and your attempt at refuting them, people don't really pay attention and will just repeat the arguments you already addressed, ignoring your refutations.
Yeah, we need more incentive. Ipv6 is harder to implement yes, it is true, there is no point in denying this and arguing it solves tons of problem (it does). Most companies have ipv4 experience and it's just simpler. There must be some political pressure to make it move. But "hopefully" the economical pressure is starting to build up, a lot of providers are cheaper in ipv6 only configuration.

Still, for a company like discord, not even using host names to allow DNS64 is really sad.
Agreed. Especially when there's no ATM for 5 miles.

Plurality of payment methods is always more desirable and more
robust. If one is serious about business, why would you not take,
cash, cheque, credit and debit cards, contactless, NFT phone, and
bitcoin? Even if some of those are suboptimal, a sale is a sale.

The ability to negotiate and adapt is what makes the world go round.

One example; I was caught in an emergency needing to get a taxi to an
airport. On the way I explained the situation to the driver, and ended
up negotiating the fare as a mix of US dollars, Danish Kroners, and a
good bottle of wine, where the official expected currency was Euros.

The problem comes with cashiers and managers who are not business
owners and are terrified to do anything unusual. They are tied to
procedural rote and unable to think dynamically. It's all about what
they can't do even when evidently agreeable and favourable options
are on the table.
The thought experiment goes, imagine financially we crash. Everyone is on the same financial footing. There are no poor, no rich, only personalities.

In 5-10 years what happens? Literally nothing would change, the rich would be back to being rich and the poor would be back to being poor. It's a matter of mindset. The poor remain poor by decision.

Why they make the decision is their choice.
I prefer to read documentation via Minecraft chat. That way I can craft a diamond pickaxe to smash my head in.
Seconded. For normal conversation, I started using PT/MT/CT/ET. I can’t ever remember if it’s daylight savings or not, and people generally understand what you mean.
What's going on with your blatantly racist comments throughout this thread? Are you trying to be a jerk and/or get banned or is this your usual behavior? It doesn't seem to be which makes me curious to learn what has provoked this diatribe.
"Not necessarily", yes, but I know these particular people.
Why are there so many issues with the list? Descartes didn't write Meditations. Some links are dead or point to wrong item.
This is absolutely lovely, well done. I've worked with CRDT's a couple times and it's always mind-bending trying to understand the data flow; these interactive demos make it so much clearer.
MadeByGoogle 2023: Keynote [video]
If you live in a situation where the presence of your phone needs to stay secret, turn it OFF, really OFF... now.

I wonder how many battered women will die because of this test.
Be very careful with 'X of the Year' verbiage, especially at the end of the year. There are many publications that use this verbiage for awards, and stumbling upon them via Google or other means almost always results in biased and paid for opinions.
Hackers (in the negative sense of the word) are also very unlikely to be caught & face consequences for their actions. Yes it can happen, but rarely.

So from attacked parties' p.o.v., one can secure systems, mitigate attacks, take attacked systems offline, maybe counter-attack (like try wiping systems that attack, legal or not), but practically always the hackers behind an attack will remain out of reach. At most one may get lucky & identify attack as orchestrated by a specific hacking group.