skysight-inc/HackerNews huggingface dataset:
Another area being visited over days and the most advanced military in the world, at the most secure faculities, and we don’t even have a fuzzy polaroid.

These bases are patrolled by 18 year olds with loaded machine guns. I’ve know aircrews afraid of interacting with them. But somehow they’re reliable witnesses.

Extraordinary claims require extraordianry evidence. It hasn’t ever happened once in 70 years. At some point you have to stop believing.
Eating higher quality meat will always be healthier than factory farmed lower quality, quantity needn't be part of that statement; it's what else you eat that causes problems, not unprocessed, high quality meat.
^ Africa video by TOTO
Thank you for your work. Best extension ever.
I wonder why this post was downvoted? I have the same experience for 25+ years of development experience.
> Note that the upgrade pain with Java was not due to typing; rather, it was due to using a library directly instead of creating a class to interface with it. In other words, inadequate abstraction.

I'd look into what Jersey actually is before you say something like this, because what you've said really doesn't make sense.
Well, I’ve been involved with an outfit that involves fairly regular speaking gigs (from just a couple, to a couple hundred) for 40 years.

I’m not consistent, so I’m not on anyone’s shortlist for keynote speaker, which is fine by me.

For classes, though, I practice for hours. It seems to satisfy people.
Canada isn't as big as you think it is.
Disappointed this isn't about vertical farms in cities.
Gotta say, I do enjoy seeing all the old Bell System manhole covers around my area. That's more as a telephone enthusiast than as a manhole cover enthusiast though.
I live in Australia, in an area where Sulphur-Crested Cockatoos are common. Those things are amazingly intelligent, curious and fearless, traits which serve them well in their continuous hunt for food (preferably ours). Three anecdotes:

• In high school, cockatoos always clustered around the lockers (which were outside, of course), so they could eat any food someone had foolishly left unattended. There was a story going round that the cockatoos had learnt to undo the zips on backpacks so they could get at the food. Admittedly, I never saw that with my own two eyes; however, I do know that they had learnt to puncture plastic bags so they could eat any food inside.

• Later on, in university, I had a habit of eating lunch outside in a grassy area. One day, a couple of cockatoos landed near me, looking at my food; this continued until about 8–10 cockatoos were clustered around me, all carefully eyeing my food. They then started to move forward — slowly, so as not to frighten me off — until they were all just a couple of centimetres away from me. Quite sensibly, I had by this time placed the lid on my container (though foolishly had not locked it in place) to stop them from eating it. I thus felt safe in moving away from all these nasty-looking birds — at which point, one of them reached out and tipped the container over, so the lid fell off and the food fell out! (I actually have a picture of the moment.) Of course I quickly gathered up the spilt food, but they did still get a bit to eat. It annoyed me, of course, but I am still impressed by the intelligence required to realise that this is the best way of getting food out of a box with a lid.

• At the same university, I once saw a cockatoo creep up to an unsuspecting man sitting on a bench and have a nibble of his pant leg! It’s unclear why it would do such a thing, but I’ve since come to the conclusion that it was simply curious to know what clothing tastes like.

Moral of the story: do not underestimate Australian wildlife, for it is cleverer than you would expect.
I remember in the late 80s when I started professionally ... the impending obsolescence of the programmer due to 4GL code generators was upon us. Those stinking edge cases though. Where 90% of the problem/requirement can be addressed by said tools, but the final 10% (the part that really matters) can't. I'm not so sure we are any closer now than we were then. Needless to say, I've had a fruitful career.
I'm not your parent comments OP, but I don't like to use -e for similar reasons, and I do have public bash scripts written with explicit error handling [1].

I've tried using -e on multiple occasions, but always had to disable it again because it lead to even worse classes of errors. It hurt me more than it helped, but I also consider my explicit error handling quite pedantic and probably not the norm.

I feel that instead of fixing the problem it just shifts it around, because an exit code != 0 does not generally indicate an error:

* `((i++))` must now be written as `((i++)) || true` or it will probably kill your script, and short hand conditions become foot-guns:

* Statements such as `[[ $i -gt 3 ]] && continue` must now be written in long form in their own ifs, or `|| true` must be appended.

* Want to save the return code? Guess you have to use `command && ret=$? || ret=$?` now.

* Subshells with errors may exit independently and won't notify you of the error at all, because ylur parent is still alive afterwards.

The list goes on and on. Lots of strange edge cases appear. I recommend reading http://mywiki.wooledge.org/BashFAQ/105 which highlights some of them.

In the end, set -e requires you to think just as much as not using it to not randomly crash your program. It just shifts the problem to other statements. I already learned to handle errors in normal bash, and the only thing set -e requires me to do is to change my error handling style in those cases, which to me generally seem more obscure.

If I still have to use set -e, I always use something like the following snippet, so that I at least get a message:

```
set -e
function eerr() { echo "error: $0:$1: command failed but status was never checked!" };
trap 'eerr "$LINENO"' ERR```
```

[1] https://github.com/oddlama/gentoo-install/blob/develop/scrip...
Calm down please this is HN.
Maybe they could live in Elysium.
Dragging Indonesia around was very illuminating for me. Somehow I know the least about Indonesia of all places.
I have a Soviet marriage watch remade all except the back case and movement in Eastern Europe that has a blindfolded, collared, naked girl face on it. Even my regular, super by-the-book post office lady thought it was awesome.
> That's pretty different to Taiwan which has never been under the sovereignty of China.

You see, if China agreed with your statement diplomacy would be a lot easier. But few things anger the Chinese more than asserting that it does not have sovereignty over Taiwan, the only other one I can think of is that Tibet should be free to be its own country.
How do you know that 'retraining' your brain has any effect on dopaminergic activity? Have there been studies? Did you or others measure dopaminergic activity somehow?
"test prep has little effect on scores"

You can consider SAT performance reflects:

A) SAT test prep

B) Other things that only more wealthy/affluent parents can easily provide.

C) Other stuff.

It's possible that A (test prep) has little effect on its own, but that A+B has a massive impact.

The linked article talks only about the impact of test prep. I can't access the cited sources, so don't know whether they've attempted to control for any correlation between those students who received test prep, and those students who received other special advantages that may also have increased their SAT scores.
What would those regions be ? The Sahara isn't overpopulated if you look at the density of population, but it can't really sustain anybody.
I'm sure there are some rain forests left to cut so we can grow more food for 1 or 2 billions extra people, but what's the end goal ? The world is overpopulated.
After C and DasBetterC (safer C) have officially become the subsets of D language [1], it will be very interesting what languages will be the de-facto superset of D. With excellent support for metaprogramming and CTFE in D (amongst other features), these supersets language can be very flexible and fast at the same time.

Kudos to the TIL's author for trailblazing this idea based on TCL. It will be very beneficial and handy for scripting commands and shell like behaviors. Just wondering is this type based TCL like language similar to Little? [2] Will it eventually support compilation similar to Emacs Lisp? [3]

Personally I'd love to have superset language in D for data science. It should be also easily embeddable and support prototyping like Lua. On top of that it should have excellent support for array, ndarray and dataframe like R [4]. Since it is based on D, then it can fulfil the the requirements for both type A and B data scientists [5].

[1]https://news.ycombinator.com/item?id=27102584

[2]https://wiki.tcl-lang.org/page/Little

[3]https://arxiv.org/abs/2004.02504

[4]http://adv-r.had.co.nz/Data-structures.html

[5]https://www.quora.com/What-is-data-science/answer/Michael-Ho...
Interesting bit about relaying the ball/strike call to the umpires using walkie talkie or iPhone solutions. I’d have thought the hard part would be making the ball/strike determination, not getting it to the ump in a timely fashion. I wonder if they considered having a couple of big lights in center field for the ump to get this info visually. Also, are there any deaf umps? Will MLB need the ability to make accommodations if so?
> This is why it makes sense to subsidize the transportation of goods.

Subsidise ecological transport, not diesel fumes blown to my face when I walk to my market to buy local produce, not hauled from across continent (I don't really care, but know people who do and they don't seem to sacrifice ton of their life quality by living waste-free).
This trick didn't work out so well for the ESA Rosetta scientist guy publicly speaking to the press.
As someone who is not very optimistic about the near term future of self driving, regardless of the fumbles I’m actually impressed that Waymo has support and intervention process. This seems much safer when compared to Tesla which markets auto pilot but…..
In the world of phenomena, appearance is everything.
I read that ground penetrating radar only really works well if it is really close to the ground. It also only gets a thin slice of the ground so you need a rover that can move in order to image a volume.
What same evidence?
There's nothing stopping you from doing it, but part of the reason a library like React achieves such widespread use is the ecosystem that builds up around it, and if everyone else is using hooks to expose whatever functionality they're building, you are now excluded from the benefits of all of that work.
"Wernher von Braun, a German physicist and a friend of Goddard [also a PhD physicist; emph. mine], instituted the German Rocket Society in 1927, following Goddard’s March 1926 launch." [0]

Goddard's early launches were made possible by a Smithsonian grant of $5000 by Charles Greeley Abbot from the Hodgkins fund. After being ridiculed in the NYT in 1920 he got more cautious about PR. After a Lindbergh visit, the Guggenheims helped him find another $100,000.

Germany didn't need 'help' from Goddard; they had Oberth, who did a PhD thesis on rocketry in 1922, and published The Rocket into Planetary Space in 1923.
"Space historians typically name three pioneers as the founding fathers of astronautics: Tsiolkovsky [a Russian teachr when Goddard was still a teen], the American Robert Goddard, and the German (although Romanian-born) Hermann Oberth." [1]

[0] https://www.famousscientists.org/robert-goddard/
[1] https://www.airspacemag.com/space/russias-long-love-affair-w...
It's the mark of a rigid parser that should not impose such limitations.
Queen?
How about a criminal. Any positive description of this sociopath should be avoided unless its exposing the author's moral compass.
Sheesh
Part of me is sad about this. Of course there are horrible calls that sometimes result in runs being scored, but the game loses a lot with robo-umps as well. The dynamic of the pitcher and ump would go away, the pitcher learns what the ump likes and doesn't like, and has to pitch for them. The inconsistency can be annoying, but its part of the game to me, you really never 100% know whether a pitch will be a ball or strike.

Also catchers framing pitches would go away entirely, something I really enjoy watching, heres a video on that.

https://www.youtube.com/watch?v=kQdkeYXHh6Y
The usual lies and demonization of Jews continues. All this hate speech in the supposed service of "human rights".
I’ve never been in a Waymo. Do they have a stop button in the cabin? Like the “big red button” on industrial machinery?
$650 for seven weeks of half-day school? If they ran regular school, 35 weeks of full day school would cost $650 * 2 * 35/7 = $6500 per student per school year. That’s like half of what the government spends per student in regular public schools. If Jiechu is so amazing that its students get significant boost over public schools, maybe we should abolish normal public schools and instead send all kids to Jiechu, to both get better results and save money at the same time.
Maybe just stop having so many babies.
They are unguided munitions. They're an accelerated cannon ball and even then they don't seem to put much effort into aiming them at all.

It is a futile exercise to try to hit anything with these rockets. They will occasionally hit something by pure accident.
Electric Submarine from Alibaba
How do they train you to become stronger?
No kernel updates in that many days?
Animal welfare doesn't move people who want their Big Macs and don't have to think about how it got to their mouths.

Climate change, pandemic risks, and antibiotic resistance are the main existential risks of animal agriculture. That's why I don't eat meat: because it's immoral to put others and yourself at unnecessary risk.

It's like FF ICEs: there's no innovating our way out of something that's fundamentally irredeemable.

No one has to eat meat. It's a choice, be it laziness, willful ignorance, or selfishness.
How Bank Failures Contributed to the Great Depression
As a poor Asian who got their education from a small, ill-funded school district, the above narrative doesn't stand up to examination. The whole point of the SAT and ACT, as an at least reasonably objective measure of educational achievement, was that people like me could compete with wealthier but less talented/motivated students by using our hard work and what intelligence we possessed to master enough educational material to excel on them. Even back in the pre-internet era and even in a poor school district, high school level educational material was plentiful and teachers more than willing to answer questions and provide extra instruction (it's their profession after all). The SAT levels the playing field for the poor but smart.
> Casio terrorist watch

https://spectrum.ieee.org/consumer-electronics/gadgets/the-c...
Great writeup, these new features are a godsend for JS developers.

That said, on some level it's all just lipstick on a pig. I just want a type-safe strongly-typed language in the browser. Maybe Java, Kotlin, Scala, etc. Mark my words: Someone will make a browser where a Java VM is a first- citizen like the JavaScript VM is, and people will start writing apps specifically for that browser.
Most fediverse services have a website that provides a list of instances with statistics. The site is usually named "join" + the name of the service. For Pixelfed, the list of instances is at joinpixelfed.org and it's in beta:

https://beta.joinpixelfed.org

That list omits the largest instance (https://pixelfed.social).

There are also third-party websites that provide statistics on fediverse nodes. The-Federation.info has a list for Pixelfed:

https://the-federation.info/pixelfed

If you want to choose an instance that will last, one of the most popular instances is usually a safe bet. On the other hand, if you are mainly interested in certain topics or if you want to interact with users from a certain region, some smaller instances may have like-minded communities that would be more appealing to you.
Amazing. I wonder what's the worst, cheapest or simplest thing we could gorge on if we embraced MSG the way Asia does?
This projection seems to really skew shapes. For example, Alaska looks skewed diagonally, Brazil looks really stretched east-to-west, and the west half of Australia looks too big compared to the east half.
well that's the difference between a company at a stage where it's trying to get more popular by getting approval from people and one where's it trying to squeeze what it can from you because it's established well enough.

I hope we can get a less closed corporate web in the future by some miracle, but I'm not optimistic about that.
The author is referring to the case where you have multiple traits, and want to provide implentations like:

impl<T: Cat> Animal for T { ... }
impl<T: Dog> Animal for T { ... }

This is impossible without specialization, since there's no way to express the constraint that no type implements both `Dog` and `Cat`.

Having multiple blanket trait implementations like this can be used to emulated inheritance, whereas a single blanket implementation cannot.
> I think SAT/ACT is a tragic waste of time. If you add up all the hours that all the students spend practicing questions that are not relevant to any college major or job, it's just such a sad way to force kids to spend their time instead of learning actual things. All this time wasted so that the adults can point to a number to decide which kids get in and which don't.

Exactly the same thing can be said about the college itself.
Oh jeeze, I feel old if the EV3 is being described as "the older one". I have horrible memories of writing some "Not Quite C" for RCX because the compiler didn't support modern amenities like stack frames.

Being able to just run Linux on the thing sounds like a god send.
You mean the language is case insensitive and drops _'s or something? Doesn't that break searchability with command line tools (or make for much more complicated regexes)?

Or do you just mean use a mixture just like you could in most other languages?
Wow... you picked up just the right example. I mean, hex values are just a perfect scenario - was that simple integer values I probably would disagree (I don't like the possibility of messing with diffs in the case some variable receives a big name, for instance).

Now I'm thinking about math, also. The assignment with "=" is not a thing on Tcl-like languages in general, but maybe some "formulas" would benefit from more spacing, like

set x 1 + 2 + 3
set y 1000 + 2000 + 3000

(or something like that. YMMV)

Okay. I'm changing that as soon as I can. Thank you very much.
Surprisingly, one of the plaintiffs in this case is an organization that represents some Asians: Chinese for Affirmative Action.

You can see their reaction to the success of their action here:

https://www.facebook.com/68134933006/posts/10159313850238007...
will never stop. where else do you get smart people willing to work for free?

the wolrd might be running out of those.
I'm definitely getting better at choosing my projects; I was raised in a family of do-everything-yourselfers with a bit of a complex about never getting new/nice things. Since buying a house of my own I've come to accept that I have neither the time nor expertise to handle every project by myself, and whenever a new project rears its ugly head I do some calculations of time vs money vs experience and fun.

I'm currently waiting on a dryer solenoid in the mail. It's a project that got slightly out of hand, over time but (as of yet) under budget, and I've learned a lot about what's going on inside my dryer which is the best reason to take on a project like this.

At the end of the project the greatest satisfaction comes from knowing how my home appliances function, and understanding them well enough to be sure they are operating safely and efficiently. That, and being able to tumble-dry clothes and towels.
Show HN: Kind, a minimal, efficient, practical proof language
"at which point, one of them reached out and tipped the container over..."

That reminds me of this video:

https://www.youtube.com/watch?v=Ag5JIlOE6as
All of the answers you've received seem rather unsatisfactory. Here is my take on it: Chiropracy is a complex nonsensical system of commercializing a simple principle: cracking your back feels nice. What did people do before chiropractors? They cracked their own backs. I can crack my spine from my tailbone up to my skull. From this, I experience temporary relief from general back discomfort (which is the most chiropractors are capable of.)

To the commenters calling it quackery; you're never going to convince somebody who experiences relief from cracking their back that their experience of relief is fraudulent crackery. Subjectively, it's as real as it gets. Skeptics handicap themselves with this sort of over the top rhetoric.
I thin WASM will help with the GUI problem

Everyone wants to reuse their web app on the desktop, but soon it could flip the other way around if you can suddenly run your native app in a browser
> like you did just now.

Did what? Made something up? What specifically?
This sounds like a terrible deal.

In the US - your effective income tax rate could be as low as ~24% on $60k. There is nowhere it would be higher than ~33%.

So your tax rate is AT LEAST 22% higher - and all you're getting is "free" education and healthcare.

=FV(0.075, 40, -13200, 0).

That's $3M by the time you would retire if you invested the difference in taxes in a total market index fund and got average returns. Adjusted for inflation - that's $822k. You could reliably drawdown the equivalent of ~$3.5k per month forever. That's 50% more than you make after taxes now...

And in the US - you would already be getting $3k+ from social security... Plus you'd have free healthcare via Medicare...

Individually, you are unquestionably better off with the lower tax rate in the US. Unless you went to Princeton to study underwater basketweaving without a scholarship. Even if you had ridiculously expensive chronic conditions - there's plans you can get cheaper than $13k per year.

And as a whole you are also worse off.

The cost of "free" education is estimated at $47Bn in the US. That would increase taxes by about 1.1%.

The cost of "free" healthcare is estimated at an additional $1.6Tn. If evenly distributed - that would increase everyone's taxes by about 43%.

That means your tax rate would be as low as ~31% or as high as ~41% -- depending on which state you lived in.
I would much rather be recognized as a pedestrian than a cone. Hitting a cone isn't great, but usually fairly harmless, the same can not be said about hitting a person.
IMO the issue isn’t solving a problem with the game, it’s implementation of systems that enable sports betting.

At least I hope so. The folks running baseball now like to twiddle with stuff.
Doesn't look like a rendering at all... /s
Lot of immaturity out there in that case.
This is very much a question of reference points, I'm sure even the Belgians will insist there are sparsely populated areas in their country :)

Scrolling around on a map of Germany, I could find a forest about 10 km across in the eastern bit that only looked to have a few roads marked on the map. Go into northern Sweden and you'll be drawing completely empty circles 50 km across...
YouTube gets rid of ads on their premium plan. Blocking ads eats into their model, so it's understandable.

Twitter gets rid of features that in my, and I'm sure many others opinion should be given capabilities.
While this is true in general, in this case recycling the waste is more profitable than discarding it, even without regulations. Of course, you could still produce more pollution during the recycling process, a point touched on in the article.