skysight-inc/HackerNews huggingface dataset:
Thanks! I actually finished up in Australia, I'm back in Canada saving and planning for the next one. I'm building another vehicle to tackle much colder climates, and parts of the world I've never been to before.
To be fair, C++ is a pretty rough language to be productive in generally, type system aside. GC is the single largest productivity enhancement a language can offer. I'd be way more interested in how Golang, with it's much simpler syntax/types (but they're still static) would compare. Even Java would be better, as, even though it's very verbose, the cognitive load for most tasks is a fraction of C++'s.
1. Essentially, the first time they press/smash a bunch of olives they can easily slurp/ladle out a bunch of the oil.

2. The remaining crushed olive junk still has oil in it, and they apparently have various industrial/chemical processes to extract that in 2nd/3rd passes.

#1 is virgin olive oil.

#2 is almost always labeled virgin olive oil, at least in the U.S., because it's not illegal to do that. This is in addition to bottles labeled as olive oil which are actually a mixture of olive and other oils, or even other oil(s) with coloring to look like olive oil.

The companies that actually bottle #1 tend to also do other best practices in bottling, labeling, and storing the oil which gets the oil certified by orgs like the COOC.

Uh oh, the COOC has screwed up their SSL certificate:

https://cooc.com/

Help them, HN!
The heavy-handed solution looks like this:

local-zone: "api.someapp.com." always_nxdomain

Then I reach out to them and say something to the effect of, "Hey, nice application/device you have there! In order for anyone on my network to utilize this app/device the DNS would need to be put back into your DNS servers and removed from the API records." Of course they will laugh at me but that is fine given that 100% of the internet and internet connected devices are entirely optional for me. It is unlikely that a statistically significant number of people would use this heavy handed approach. Or perhaps I am OK with their API method and make use of their API that bypasses DNS. This probably depends on if this is malicious or not. i.e. serving ads or malware

Another heavy-handed option would be to force all traffic through a MITM proxy which I have done in the past. Any device that can't have my CA cert loaded would be a paperweight and thus returned to Amazon with less than 5 stars and a review that details the DNS implementation which most customers would not care about or understand but my fellow cranky network admins may find useful. If it's a website then I would just not use it. Some businesses take this approach. There are both commercial and open source solutions for this. Look for Squid SSL-Bump MITM proxy if one is curious. This requires bypasses for domains still using public key pinning which is an insignificant number of them. Most have moved away from HPKP due to the induced fragility and risks.

There are other methods but they come with security implications such as decompiling applications, shimming something into it or pre-loading libraries to do the same thing but this usually requires rooting a device and potentially compromising security as the vendor signing may be removed. I'm sure some of the mobile developers here have more elegant and secure methods.

I doubt many would do any of this of course, but you asked.
Endurance Test, Circa 1958 150k Miles Without Landing in a Cessna 172
> You can actually send from any third party address, e.g. Yahoo etc. It's literally what their page says.

Any third party _service_, not necessarily any domain.

> You don't have to own the domain.

Nowhere on the page does Google claim that you don't have to own the domain.

If the domain is already using Google for email, this feature will 'just' work. If the domain does _not_ use Google for email already, then it probably won't work, but that depends on the SPF and DMARC settings of that domain. For it to work reliably, Google must be added to the SPF policy, and the DKIM record must be created. If you do not own that domain, then you can't do that.

> I know their previous set up wasn't super safe, but they could have mitigated for this instead of just breaking the feature.

No, they couldn't "mitigate" against this. As explained, this is how email works, there is nothing that Google can change about this. As more and more domains are adopting DMARC (which is good practice), the more this alias feature will break.

This is why I called it a documentation oversight by Google. They should be clear about that the domain must either already be using Gmail, or that you need administrative access to the domain to add Google to the SPF policy and add the DKIM record to the DNS zone.
>It will still be possible to use online services for the following software but that may also end at some point in the future.

>Pokémon Bank

I have 0 hopes tbh, the writing is on the wall.

Pokemon Bank is an awesome feature, basically allowing you to play through the whole franchise from Pokemons across all games...
An obvious choice would be AWS. AWS operates fairly independently of the rest of the company, and its huge profits subsidize the retail wing.
I went on a trip to Italy a few years ago and picked up some Laudemio Castello di Poppiano olive oil on-site. When I got back home, I set up a blind taste test between that and Colavita for friends and family. I preferred the Laudemio but was astounded that everyone else (8 people maybe?) preferred the Colavita. Go figure.

That said, I did the same blind test for balsamic vinegar and everyone vastly preferred the real aged stuff over the American balsamic.
I'm with you, especially in my professional life. That said, I think Clojure is interesting and Rich Hickey has some good talks in support of dynamic typing.
Hi there!

> if you do what rust does,

The major motivation I currently have is to make it more clear that this is not actually incorrect. Rust here does exactly what Ruby and JavaScript do as well. The semver spec is misleadingly written compared to the real-world implementations that have existed nearly as long as the spec has. Furthermore, choosing these semantics for ^ (which is not in the current semver spec at all, mind you: none of the ranges are) still is allowed even with a strict reading of Rule #4: it says MAY, not MUST. Less breakage than allowed is okay.

> It's not semver until you hit 1.0.0

Semver describes pre-1.0.0 versions as well. That is what Rule #4 is about, in fact.

> and the unwillingness of some people who assign some special meaning to "reaching 1.0",

I agree that this is often an issue. I myself advocated that Cargo start projects out at 1.0.0, like npm, rather than 0.1.0, like Bundler. I lost that battle.

However, sometimes this is due to practical reasons, and not people psyching themselves out over a specific version. For example, the libc crate in Rust will probably never 1.0.0; there can only be one version of it in a dependency tree, and it's so widely used. 0.1.0 -> 0.2.0 was already a mega painful transition, and Rust's ecosystem is vastly larger than it was when that happened.

> It'd be great if the spec/site had a big, bold, "you are not your version number"

I fully agree that it would be great if people get over this, and I would like the next version of the spec to not emphasize 1.0.0 so much, but I doubt that some bold text is going to fix what is ultimately a psychological issue.
You better believe that's going to change, because COVID significantly altered the economics of vaccines.
Well... It is true of everything in that blog post.

But I am wiling to have my mind changed. I would be really interested in seeing a study that failed to find a benefit of type systems for refactoring tasks in large projects. The example I posted in my initial comment seems pretty open-and-shut to me, so I'm curious.
"Types let me make changes to code I haven't taken the time to understand" is hardly the proof you seem to think it it's.

Removing a field in a data structure is such a big problem, even in typed systems, that the most ubiquitous serialization IDLs, and customer-facing API conventions, don't even allow it.
There's a huge difference between "traditional media" (TV, Radio, etc) and Podcasts. I get why they would want to regulate traditional media, there are only so many frequencies to tune your radio to and only so many channels you can watch and you have an audience by default. None of that is true with podcasts, they only reason for regulation here is control over what people can and can't say.
Yeah but those are the crappy years at the end.

But seriously, if you're fairly sedentary and not watching your diet especially saturated fat and carbs, you should definitely get an annual blood glucose and/or A1c check. Type 2 diabetes can wreck your quality of life with eyesight issues, numbness, muscle issues, etc. on top of the increased risk of heart attack or stroke. I have two friends that have had strokes due to unmanaged, undiagnosed type 2 diabetes. One is luckily well enough to return to work but the other will likely never work again, can't drive, can barely hold a conversation, etc.
So you paid for premium for the sake of it in order to decide:

> The non-premium is awful though, you have to sign up for a proper workable product

? Ignorance is bliss, I guess, I'll stay as I am thanks.
Don't forget caffeine. People brag about being addicted to it.
Ask HN: Bluetooth non earphone speaker for highly sensetive?
Hi
A part of my job qualification, in the description as well, is to support others. 1000 programmers with sort of Google questions they cannot find answers for online. Screen and typing at certain period become extremely fatile for me in this, causing big fatigue. Frontally I can help anyone but we all work in cubicles as you know, I am coding too so 100% meeting room is not an option. Questions sometimes become very frequent and answers do remove lots of obstacles to the teams. Teleporting to everyone is not an option too. Ear or anything that touches the skin especially for long period such as earbud creates a high sensitivity with something that looks like an allergy reaction sooner or later.

Apple Watch has perfect speaker which does not disturb for such phone calls, but it’s an on hand device. Is there anything for T Shirts which can be both a mic and a low level speaker?
Rust is not a prototyping language. If you need something done quick&dirty, pick e.g. Python. Personally I don't feel like writing something in Rust would take significantly more time than any other language, provided you know Rust pretty well already.
The largest problem with this is that that this IPv6 router lives outside of your devices. It lives somewhere at the ISPs infrastructure.

And this causes a massive headache when it comes to systems that track you based on your IPv4 address. For example there are applications that track you by your IP address. And if you want to opt-out they refuse because the IPv4 address you give them is owned by T-Mobile.

Also, it completely breaks stateless applications.

When you have an IPv4 <> IPv4 UDP tunnel you can just send traffic. If one device is behind NAT you set up port forwarding. It'll work today, it'll work tomorrow, and in 2 years.

The tunnel that the NAT64 system sets up is time-bound. So while outgoing traffic re-establishes the route, incoming traffic is not stateless. It stops.

I have this issue with WireGuard and iOS. The iOS implementation sadly prefers A over AAAA. So when I'm on 5G it connects over a NAT64 route, but due to the NAT64 route dropping after x time push notifications break. When you then turn on the phone, some traffic re-establishes the NAT64 tunnel and all of the sudden you get a whole bunch of notifications.
Not really interested in discussing it. posted on discussion forum ;)
Redox: Development Priorities for 2023/24
There's lots of agencies, they hand out blocks of numbers from their allocation. Seems there's no central database for the metadata:

https://www.isbn-international.org/content/isbn-users-manual... ISBN_FAQs_to_7ed_Manual_Absolutely_final.docx

> Will people in other countries be able to search for my books in search engines in those countries?

> This does not happen automatically ... In order for your book to be listed in other countries you should contact the respective ISBN Agency and ask them for details of how to be entered into their national catalogue for books in circulation (books in print). Sometimes you will have to obtain a distributor from that country or have an address in that country before this is possible. In some circumstances in order to be listed, the book must be in the language of that country. As well as catalogues of books in circulation, you may also want to ensure that you are listed by internet retailers... . Again, you will need to contact each of these organisations directly (including each separate international branch) with details of your book.
NTFs is a particular case, for most people they were always worthless.

But if you combine a powerful brand (Apple) with (I'm assuming) extremely low number of units made then chances of price going up or at least preserving a significant amount of the original price are higher.

I'm not saying this is the case with this watch, just that I wouldn't be surprised in the slightest.
Homie you're the only one talking about Skype. How many times do they need to say "OpenAI" before that clicks?
If I have pre-existing respect for someone I will hear them about. But the bar for that conversation is high.
> There is no obligation to sell on Amazon

While true, this ignores the important point that Amazon is only able to do this anti-competitive practice due to their market dominance that effectively forces many sellers to sell on Amazon.

> nor a requirement for them to raise prices on other platforms.

That is what this whole thing is about. Sellers that sell on Amazon aren't allowed to sell for lower prices on other platforms that are cheaper to sell on.

If Amazon was able to offer lower prices for its customers by offering sellers a marketplace with lower costs compared to competitors that would be great. Instead, they abuse their market dominance to prevent any competitors from offering lower prices by being more cost efficient for sellers. This is extremely nasty as it effectively prevents any competitors to Amazon from building a market share since consumers will have no price incentive to switch and sellers will not want to switch due to the smaller market share on those competitors' platforms.

It could not be more clear that this is anti-competitive behavior achieved through abuse of a dominate market position.
It's not just features of the "health care" system, there are many features of American life and culture that put us in a uniquely bad position:

- Higher rates of overweight and obesity than almost any other country. Obesity is a top correlate of most of the most expensive chronic conditions.

- Healthy food is less available and more expensive than unhealthy, ultra processed food engineered to be hyper palatable and not very filling. Govt policy that reinforces and subsidizes this.

- Infrastructure design that discourages walking. Culture that encourages sedentary activities and lifestyle in general.

- Being overweight and out of shape has been culturally normalized. Propaganda telling us that weight is genetic, out of our control, and we can be "healthy at any size" anyway.

- Work culture that leads to chronic stress and time deprivation worsening all the other problems and leaving people unable to expend the time and energy to avoid chronic problems proactively by losing weight and being active.
wait, are you saying that any sufficiently complicated lisp program contains an ad hoc, informally-specified, bug-ridden, slow implementation of a static type system?
It's trivial to create a website (frontend and backend) that offers similar functionality to Amazon. There's nothing special about their software platform.

You can't open-source marketing and the insane delivery network Amazon has. Those, among other things, are the reason they are successful. They could release all of their software completely open source and literally nothing would change.
First off, I appreciate the edit. python is strong dynamic typing, for example.

Second, it’s a shame that the author doesn’t really speak to Haskell at all. Knowing that a variable is a `u16` is rarely useful alone, relying on the meta of a variable name, for example, to prevent me from adding `user_age` and `number_of_legs`; they both are unsigned 16-bit `int`s, so the compiler is cool with it. A better type system allows types to hold semantic information beyond the bit-width or archaic and usually unhelpful information for the computer and not the developer. Relics of a past where 8k or RAM was all you could use for your program.

Ironically, the advanced Haskell type system looks more like dynamic typing specifically because the type inference is so good. You can rely on the compiler (or interpreter) to tell you what the type should be, often times allowing for much more flexible types than you’d think possible.

Also, being able to derive classes like Show and Read is amazing.

So, +1 for loving types!
It really matters which static type system is in question.

SML or Haskell? Yep, like those ones. The languages would not be so useful without their compile time type checking.

C? Not worth the trouble. C++? Not worth the tarpit or the trouble.

Python? Definitely not keen, that language was much better without the annotations.

Typescript people really like but I haven't played with. I'm pleasantly surprised that unsound static + sound dynamic works well.

Type annotations are not inherently good. Some type systems add a lot of value, some really don't.
6 months of Fitbit Premium. Then £7.99 monthly, _unless cancelled_.

1 month of YouTube Music Premium. Then £10.99 monthly, _unless cancelled_.

They make it sound like this this strictly opt-out, which I hope is not true (or even legal).
It didn’t matter if a blacksmith “forged” a coin because the coins were worth their weight in the material used to make them.
i agree - of all of the crap-fest of diagrams one comes across, i find gantt charts one of the least obnoxious.
This and its relatives feel like such a weird positioning choice for a company. If you have resolved to use some client library to do your heavy lifting, you want one focused and hardened on the specific language you are using, not one library of a dozen libraries spuriously maintained by a startup which will most likely eventually deprecate the library if its not used with their Edge hosting service or whatever.

The huge list of languages does not inspire confidence. Like how going to a restaurant where the menu says they have amazing pizza and pho and ice cream makes one think that all three of those items are pretty bad.
languages do not exist in isolation

if I store sql with a column definition that stipulates that the value must be an int between 1 and 3...what difference does it make if I accidentally create a corresponding variable with the value "fred"? it will never be persisted

furthermore, you can run in to even more confusion with a language type that is not properly aligned with the database type...which one wins? the db obviously, since language values not aligned with database definitions will never be persisted
> People think software is like art, where freedom of expression broadens horizons

Artists live by constraints. Nobody prefer a blank canvas.
Very interesting. Thank you. That's the same answer Chat GPT 3.5 gives, but it's not likely to be optimal as it crosses over itself. Depends how you're calculating driving time of course, but Google Maps driving directions show an increase of a few hours between this and a more obvious "loop" approach:

https://www.google.com/maps/dir/Amsterdam,+Netherlands/Bruss...

https://www.google.com/maps/dir/Amsterdam,+Netherlands/Bruss...
I don't see how anybody is going out of their way to make anybody feel dumb in that situation.

They explained their automotive needs to a salesperson at a Toyota dealership and gave them ample opportunity to do some basic research to make a sale of them. Payload capacity is hardly a topic as exotic differential calculus at a car dealership.
What you say is true, but it’s also true that the person you are replying specifically made their remarks about productivity - you’re both talking about what is best at work.

It seems reasonable to argue that statements that you won’t even discuss X any more and would rather judge the person as less competent professionally are unproductive. Not saying I agree, btw. But it does seem like a pretty basic point. One of you is talking about preserving your sanity and the other about output. It’s not necessarily a disagreement even.
Yeah, we really do need software development to be a licensed profession.
Yeah I've been in that camp since like 2016. TypeScript is basically an essential for me now, and I don't debate it with anyone. If they don't get it, it just gives me a baseline understanding of how little experience they have in real world software development.
'rancidification' may be an industry term for a chemical process, but that doesn't change the definition of 'rancid', which does in fact mean 'smells bad as in rotten'
> Rotashield was subsequently withdrawn from the market. After 8 years, other rotavaccine formulations were approved and are now part of the routine childhood immunization schedule.

My point exactly. They saw some issues, paused, and 8 years later came back with another formulation. Given young, healthy children are nowhere close to the risk to the elderly, obese, or immuno-compromised, what's the push? Early on with blod clots, young males having myocarditis (my nephew had to be rushed to the hospital 4 hours after his jab - myocaridtis), but god forbid you even hinted it might have been the vaccine. I vaccinated all of my children with the typical childhood immunizations. I am sorry, but the push on the healthy and young makes me think twice about it for that group, and $40bn a round of booster for Pfizer lends some suspicion on how much is public health and how much is lining the pockets of big pharma and friends.

>> Long-term study results for COVID vaccination simply don't exist for obvious reasons; it's only been about three years since the vaccine was first publicly administered.

>This is the case for all vaccines when they first start being used.

Except you didn't have the mandates, pressure, and comments about it being safe, and censoring any remarks about it in the papers or TV broadcast news at the same time. The COVID vaccine was being touted as "perfectly safe" early on (except before its release by Kamala, and many others sending signals of mistrust because Trump). No, nothing like this before, I'd say.

>> Countries like Sweden recommend against vaccinating children 5-11 because they think the benefits don't outweigh the risks.

https://www.reuters.com/world/europe/sweden-decides-against-recommending-covid-vaccines-kids-aged-5-12-2022-01-27/

>Which vaccine are you referring to?

COVID...see link above.
An absolutely mesmerizing work that I watched when it first broadcast, now entirely unavailable on streaming in the US.
Edit: my bad you said you talk to the root servers directly. Not sure how to delete comments

It's still a valid question. You are right, one has to bootstrap the root servers. There are a few ways to do this. Assuming one had working DNS server at some point in the past they can

dig @e.root-servers.net +nocookie +tries=4 +retry=4 +time=8 . ns | grep -Ev "^;|^$" > /etc/unbound/named_hints.tmp # sanity check this

and then do sanity checks on the output prior to loading it as hints in Unbound DNS. The 3K or so root servers are Anycast IP addresses and rarely change so this file will not be stagnant for a very long time thus making thumb drives a valid way to store and transfer this file.