skysight-inc/HackerNews huggingface dataset:
In Java, the closest alternative that's part of the standard language is streams. Off the top of my head, it goes something like this:

List<Integer> numbers = number_list.stream().filter(number -> number > 3).collect(Collectors.toList())

boolean isTrue = Stream.of(boolean_array).anyMatch(Function.identity());

String checkForNull = Optional.ofNullable(some_xml).map(SomeXml::getSomeField).map(SomeField::GetSomeAttribute).orElse("nothing here");
> It's sound (Rejects all incorrect programs), decidable (There is an algorithm to reject all incorrect programs) but due to Godel's decidability problem they're incomplete (There are always correct programs which the type checker rejects as incorrect).

Isn't that the definition of "semidecidable" as distinct from "decidable"? A decidable question is one where you can determine the answer, whatever that answer may be. A semidecidable question is one where, if the answer is yes, you can determine that, and if the answer is no, you may not be able to determine that.

If you can always show that a program is incorrect, but you can't necessarily show that a program is correct, then the correctness of a program isn't decidable.
> That's a convenient way not to engage with the actual arguments

What actual "argument" did you put forth? You brought up tether and stablecoins, which is a pretty speculative argument. Nothing concrete is happening. The other two points you mentioned I directly addressed.

> seems like you have been wasting everyone's time. A good day to you as well!

lol. How am I wasting anyone's time? You in a long winded way basically said nothing can convince you. So who's wasting whose time? I literally said BTC doesn't deserve to exist if needs to rely on fossil fuels. That's where my line is. What's yours? Nothing. So yes, I am wasting my time while you are arguing religiously with no way to convince you so you are basically wasting everyone else's time.

Also let's not forget other legendary investors like Stanley Druckenmiller don't think the risks you mentioned are substantial enough to not invest. But I'm sure you understand the risks much better than them.
But people who use an expression don't always know what it means. Thus googling for it does not tell you whether they really understand what they are saying.
I am a practical man and will let others fight these holy wars. I take action when the real situation changes. I'll give you this example: on desktop I've always used Delphi and lately Lazarus to develop GUI apps. Basically instead of wasting my resources on endless stream of "how to develop GUI properly" coming from MS and changing every other year ( forgive exaggeration ) all my efforts on that front were to improve the actual products. Zero problems so far. Same on the backend. I do not have complaints from my enterprise clients about my backend servers misbehaving in any ways. If that happen I'll take action. Without it I have better idea about where my business expenses are going. This does not mean that I do not use GC based tools at all. There were few cases when client specifically requested particular toolset. Since they're paying for it I do not mind. When given free reign and this is what happens 90% I do what I believe is right.
You're assuming magit is less flexible than the command line porcelain, but it's not materially so afaik. It's pretty complete and claims to be the only actual "porcelain" besides the cli. I've certainly never encountered an operation I couldn't perform in magit.

Edit: the relevant claim from the docs is

> Magit is an interface to the version control system Git, implemented as an Emacs package. Magit aspires to be a complete Git porcelain. While we cannot (yet) claim that Magit wraps and improves upon each and every Git command, it is complete enough to allow even experienced Git users to perform almost all of their daily version control tasks directly from within Emacs. While many fine Git clients exist, only Magit and Git itself deserve to be called porcelains.
I didn’t miss that, this still doesn’t make the answer obvious to me. I’m pretty sure I’ve unknowningly replicated licensed code as well during my time as an engineer, and I’ve written way less code over my 8 years than Copilot has.
"Monkey steals the peach" is all you need to know to win any fight you're in! Buy my mail order course now, only $19.95!
Harley's and helmets weren't there then. Now if they want to ride they should wear a helmet, why make special exceptions for religious beliefs?
Reality -- nobody cares. The consumer is paying $1 in that scenario no matter what. If the Apple fee goes away, then the developer is going to keep the price at $1.
Expat in Singapore. 2 hour lunch break here in Singapore as well for me. And keep for most office work, people are just wasting time, taking care of other tasks at work, etc. I end up working much less than when I was in America, but my availability 'presence' is higher.
Although Rust compile times are rather bad, IME such astronomical compile times are rather a result of terrible code quality, a lot of code doing essentially nothing, just gluing glue, to the point where it's normal to get a 50-60 frames deep stack trace with most functions being named such that it would suggest that all of them do basically the same. Then you look at their bodies and... yep... doing the same, aka nothing.

With Rust, procedural macros add a lot of overhead when compiling, so I try to avoid them.

At work, we have a C++ project which, without using distributed builds with distributed ccache, running on powerful cloud computers, takes 3h+. Code quality is adequate. Debugging anything is a nightmare in such a codebase.
Ever heard of noise?

Bigger lenses mean more light. More light means better signal to noise ratio. That's an objective metric of image quality.

Phone cameras can try to compensate for this by taking long exposures - actually videos - and warp the frames into alignment to remove blur, but it's a losing game if there's a lot of motion. Or the camera can try and guess the textures and replace them with similar ones, like the Gigapixel AI and similar services do - but then it's starting to move away from capturing the actual scene.

I mean, most of the photos I take are with my phone, because it's the handiest available camera. I don't think people talking about quality from dedicated cameras are trying to say that they're better than phones as a practical tool for taking everyday photos. But you do lose some quality and computational tricks can't get it all back.
Kung Fu is a major tourist attraction for China and part of their cultural heritage, so they're pretty invested in it.

There is a Chinese citizen that is a very mediocre MMA fighter who goes around and challenges so called "grand masters" to show how full of BS they are. He's beaten so many without any serious effort that the communist party got upset and downgraded his social credit to where he can no longer fly to the matches to go best more phonies.

It's the same thing in any dojo though and there is sadly a bit of a cult perception of thinking each styles grandmaster is some super powerful fighter when in reality they're okay, but could never make it even in a regional MMA match. I feel bad for the Chinese MMA fighter as he sounds like someone with a lot of character, determination, and morals. He believes that Kung Fu is holding his people back I think and that embracing modern techniques is the future of martial arts.
Yeah, it's great for long haul like high tension wires, not so great for houses and electromechanical contrivances. Prone to oxidation/corrosion, so you have to usually use special lugs, or wire nuts filled with this goop.

I could be mis-remembering but I also feel like it's more prone to whiskers/pest when soldered to boards, especially lead-free mixes. Either way, ends have to be crimped, so that's more steps.

Just generally more annoying and expensive to work with than copper.
> What rules did Uber break?

Many and there's a long list.

Almost every city had strict rules about passenger transportation, Uber obviously knew this and ignore them all. That's another reason they raised $25.2B in funding over 30 rounds, to become so big even big cities became small compared to them and they could use the "See you in court" tactic, by that point yeah they lose many cases, so what? They are so big cities and governments were pressured to change the laws to suit Uber.

Nothing is black and white, before Uber the business wasn't exactly fair and clean but Uber applied the scumbag business tactic to a whole new level and it was amplified by the billions of dollars in funding.
Deserved in my opinion, although I think the EU shouldn't be trusted with that much money.

Anyway, this shows how important the protection of environment is for this group: It amounts to nothing.

There are still people that believe companies when they espouse values, being gay is currently popular, but being green/clean comes close. I think to believe them is pathologically naive.
Yeah, while I see how you can perhaps separate a weak AI from a strong AI (make it pass a Turing test), it's much less clear to me as to how you're supposed to separate "AI" from just your regular computer (or robot, which is just an embodied computer) ?

The EU is trying to, but I'm not convinced...

https://news.ycombinator.com/item?id=27766294
We do know that nicotine is harmful, whether vaped or smoked or ingested in any other way. No mysteries there.
I wish they would use the videos to detect and punish simulation. There will always be some borderline cases, but where a player is untouched (or touched in a completely different area) and then kicks off, hurtling to the ground while screaming in agony, and then jumps up as soon as the play resumes.

The game would be better without so much focus and time spent on playing to trick the referee. Having teams that are more evenly matched as ever and adding more penalties without addressing simulation will make for a boring game in the end that is just a contest of whoever can fool the referee better to get an advantage.
My prediction is that Apple will lower their fee to 5% at some point. However, using ANY of their IP will cost 25% of your revenue. Want to access Healthkit? ARKit? Etc.. 25% of revenue from both the app and in-app purchases.
"That's one of the problems with murdering all your oppressors and seizing all their assets -- at that point you have no one left to blame when things go bad over the next few hundred years."

Haiti was indebted to France for over 100 years after the revolution. They were forced to pay the losses sustained by the French, which included slaves. https://en.wikipedia.org/wiki/Haiti_indemnity_controversy

It doesn't get more unjust and wrong than that. To say they have no one to blame for their country's condition is misguided.
> The premise of this space is that the tokens hold value because of who distributed the tokens (the artist), and what they conceptually represent (the artwork), and this value can exist beyond the scope of the website or platform that originally facilitated their distribution.

So what value does a distributed, anonymized ledger add, when the artists are the central authority who determine what is and isn't authentic? In the end, the value comes from the artist saying "I made this, not an impostor", which is the same as any physical artwork in history.

Do people just want to own art without being burdened by the ownership of physical goods? That sounds rather irrational even compared to normal art trades.
What you might want to look for is a US HQ employer that already has EU based people, possibly a company that operates globally and has sales staff in your country.

That should probably clear most hurdles of taxes, benefits, etc. since they have already figured that out.
One caveat: Reputation has a long lead time on reality. I think the US university system is no longer world-leading. It's still good, mind you, but it's no longer spectacular.

The best-known US institutions -- Harvard, MIT, Stanford, etc. -- are riding based on having been fantastic institutions in the sixties, eighties, nineties, and even early 00's. I think it will be decades before reputation catches reality, but at some point, it will happen.

It turns out massive endowments and fundraising didn't make schools better; they misaligned incentives, brought in the wrong types of people into leadership positions, brought in conflicts-of-interest, and led to all sorts of corruption.

The second-tier seem to still be doing okay -- the WPIs, Georgia Techs, state schools, and so on -- but the elites populate their faculty ranks, and you can see culture slowly creeping in.

More money doesn't always make things better. Go figure.

TL;DR: If you went to top-20 school, and you're asked for donations, donate to a local state school, an HBCU, an educational not-for-profit doing good work in your community, or elsewhere.
The productivity gains from automation were almost completely funnelled into the richest pockets, increasing inequality and making the “rat race” more gruelling for everyone participating in it.

If we solve this distribution issue, a lot of people will opt to do that. We’ll lose a lot of bank tellers, gas pump operators, and insurance sellers but, in return, we’ll get a lot more poets and dancers, dreamers and storytellers. And lots of people who won’t give us anything of importance besides being part of the human family.
The 'popcorn' issue is pretty much linked to one artificial flavor... Diacetyl... anything that involves a buttery taste. Often found in microwave popcorn, hence popcorn lung.

Custards, a popular group of vape flavors, was the main source of it.

The catch?

Diacetyl is also a byproduct of cigarette smoking.

https://www.tandfonline.com/doi/abs/10.3109/10408444.2014.88...

The risk was not considered to be noteworthy among cigarette smokers and food workers who had higher exposure to the chemical diacetyl...

> Further, because smoking has not been shown to be a risk factor for bronchiolitis obliterans, our findings are inconsistent with claims that diacetyl and/or 2,3-pentanedione exposure are risk factors for this disease.

So basically... vaping causes popcorn lung = FUD.
How can “Excel macro” be still an attack vector after is issue has been known for 23 years? Or malicious email attachment?

> Below are the five unique entry vectors observed thus far in 2021.

- A user downloads a malicious email attachment that, when opened, initiates a payload that downloads and installs a QakBot variant of malware. In at least one case, the version of QakBot we observed collected emails stored on the local system, archived them and exfiltrated them to an attacker controlled server.

- In one instance, a malicious ZIP file attachment containing a macro-embedded Excel file that led to an Ursnif infection was used to initially compromise the victim network.
Several actors utilized compromised credentials to access internet-facing systems via RDP. It’s unclear how the actors gained access to the credentials in these instances.

- An actor exploited a vulnerability in a client SonicWall appliance categorized as CVE-2021-20016 to gain access to credentials needed to access the environment.

- An actor utilized the Exchange CVE-2021-27065 and CVE-2021-26855 vulnerabilities to gain access to an internet-facing Exchange server, which ultimately allowed the actor to create a local administrator account named “admin” that was added to the “Remote Desktop Users” group.
I do (though this is anecdotal data, nothing I dug into).

I have some LinkedIn job searches saved for Amsterdam, NL and I started noticing jobs from companies like Twitter, Github or Stripe where now they allow working remotely from EU countries. It's different than it was 2y ago.
In my experience, Rust compilation times aren't that different from what I'm used to in the JavaScript world. Initial compilation takes a minute or two (comparable to the runtime of `npm install` on Windows), when you make changes you usually get incremental compilation within a few seconds.

I guess you can have projects that are just huge and/or run into some pathological case that increases compile time a lot (just like with C++), but for any subsequent compilations you should get very fast incremental builds.
About damn time. Now if only they would fix their completely broken Dynamic DNS update implementation so I wouldn't need to write a cron job to make it work properly...
I work in FR. The first PR move when covid hit was to publish videos demonstrating our accuracy with both a medical mask and sunglasses on. The technology still works, with a less than 8% drop in accuracy for single images, and less than 4% drop with motion video.
It looks to me like there's a couple of things. Many of the claims are similar to the Epic vs Apple case. Perhaps they figure Epic already did the work there?

Second, many of these claims have nothing to do with what Apple does. They are more similar to the old Microsoft case. Trying to stop competition, forcing OEM's to not have their own App store, etc...
Good conclusion.
Why in Emacs/vim? Because I am already in there staring at text and it's less of a context switch than switching desktops/windows/tabs.

Why not just use cli? I definitely champion _knowing_ cli git for when you need it, but at some point the standard workflows become tedious with the amount of typing required, even using shorthand.

magit provides some super accessible and efficient workflows when paired with e.g. doom-emacs or similar mnemonic keybinds.

Other have mentioned the equivalent of git add -p and believe me using vim's visual selection instead of manually editing out that one line of the patch is a breeze.
Turchin, the guy who came up with this, applies it specifically to trump.

https://www.theguardian.com/us-news/2021/jan/17/were-on-the-...
> the sport has become more "athletic" and "mechanics-driven" (terms I just made up) as opposed to "artistic" and "technical"

I think football has made this transition a long time ago. I wouldn't argue exactly when but consider how extremely talented players with lots of showmanship rarely perform well at an elite level on guile and "artistry" alone. Ronaldinho comes to mind vs. the athleticism and discipline of CR7 and Messi's games respectively.

Personally, I like the hypothesis that tactics are now so data-driven [1] it's catching defenders unaware more often than not, a prime situation for getting an own-goal counted in your account. I think "more intricate play in the final third" (Burton in the article) is a result of this. Max the xGs in your striker positioning [2]!

I'm also certain fatigue plays a part here (so, similar to Thorsvedt in the article). Playing schedule of an elite athlete is already brutal but the pandemic shifting and compressing timetables definitely did not help. I'm inclined to think defenders react ever so slowly in this contest.

In short: It's a weird time to be playing elite international football.

[1] Can't be bothered to look up a proper link but Liverpool's PL-winning team was touted to be data-driven, with analysts informing Klopp's selection and strategies.

[2] This is just my loose claim but someone with access to the games' data could verify this.
And apparently not just that (as in more huge cars being bought). Even "small European cars" contribute.

Smallest trim/model 1999 F150 curb weight ~3900lbs

F150 2020 model ~4000lbs

(the F150 apparently can all go up to almost 5000 lbs)

VW Jetta 1991 ~2700 lbs

VW Jetta 2020 ~3200lbs

VW Golf 1992 ~2400lbs

VW Golf 2020 ~3000lbs
Isn't it also about the amount of harm or benefit for each?

The articles I saw (years ago) claimed that vaping was a gateway to smoking, but the data showed that vaping just replaced smoking for teens. That is, once e-cigs became available, the same amount of teens were doing one or the other, but more were using e-cigs than cigarettes. So, if the amount of teens doing one or the other remained stable, but e-cig use largely replaced cigarette use, I think you have to consider the teens using the e-cigs. If you removed e-cigs as an option, would they smoke cigarettes or abstain altogether? It seems to me that they'd be more likely (as a group) to smoke cigarettes.

Disclaimer: I switched from smoking to vaping in 2013 and haven't smoked a cigarette since. I use unflavored e-liquid for a few reasons, but, as I understand it, inhaling flavorings meant to be ingested is the primary health risk with vaping. Last I checked, this issue was still under debate.
Your “proof” it’s more like. No one has ever stepped on Mars. Therefore no one will.

Yet another pedantic fallacy.
I mean, coffee is an addictive stimulant which isn’t usually classified as harmful.

Vaping might have social and physiological benefits which outweigh the harm also.
From the article

> But Douban, another social-media site, has banned several online groups promoting the concept.

It’s safe to assuming in China the social media is just an extension of the state.
OP here, thanks for sharing!

Feel free to ask any questions you might have in here or in the comments of the blog articles.

The series is not complete yet but rest assured that I haven't given up on it :)
Many other languages have similar mechanisms to the Java streams API. Scheme, and probably Lisp in general, is well known for it. Then we have Ruby, Crystal, Python, D, JavaScript...

I can't think of other languages that have something exactly like LINQ, though, unless you count SQL.
The Case for Small Towns
Very early on in my vim journey, I used to use fugitive[1], which is sort of a lighter equivalent of magit for vim. However, I found that too overkill and unwieldy. I never really found any benefits to forcing myself to stay inside vim to run some git command.

These days, I just use git in a tmux split rather than trying to force vim to show some arbitrary git UI. For a nice interactive git UI, I use tig[1]. Tig is essentially like fugitive/magic insofar as it allows me to interactively view a nice graphical log, stage/commit, traverse a file's historical blame, etc. It's a nicer UI compared to something like `gitk`.

I have these mappings in my `~/.vim/vimrc` for git/tig functionalities:

nnoremap gb :<C-u>echo system('git rev-parse --abbrev-ref @ <bar> tr -d "\n"')<CR>
nnoremap gB :<C-u>silent !tig blame <C-r>=shellescape(expand("%"))<CR> +<C-r>=expand(line('.'))<CR><CR>:silent redraw!<CR>
nnoremap gO :<C-u>silent !tig<CR>:silent redraw!<CR>

[1]: https://github.com/tpope/vim-fugitive

[2]: https://github.com/jonas/tig
If you run Emacs on WSL it is way faster. Creating processes on Windows is more expensive compared to Linux. And magit suffers.

You can use a Windows X11 server for the GUI, but I think (?) there is native support for running GUI apps these days.
This study is pretty interesting:

> Smoking Trajectories of Adult Never Smokers 12 Months after First Purchase of a JUUL Starter Kit

https://www.ingentaconnect.com/contentone/png/ajhb/2021/0000...

The survey conveniently only asked about cigarette or "Juul" use, take note how it doesn't ask if users switched to a different vaping product.

Though the study was described as

> “JUUL customer online survey about JUUL vapor products, vaping and smoking.”

Makes me wonder if they conveniently left out some questions to get their p-value right.
Except for the poor souls killed thanks to US weapons, or taken into planes and interrogated in unknown locations, imprisioned without trial for years and then dropped again into a random location.

Very good example to look for, indeed.
Git front-end that runs on the Emacs platform.