skysight-inc/HackerNews huggingface dataset:
If #2 os true, then why don’t any of the other similar app or features of other apps work as well as TikTok from a technical standpoint? My experience with TikTok is that purely from an execution standpoint of showing a video, being able to manipulate it (scrub through, alter speed, show/hide comments, etc), and then show another video immediately, no
other applications - or the similar features of Instagram and YouTube - come close. Not to mention how successful the TikTok shop is.
If it's mostly only online then why did left leaning papers self censor, on the orders of their rich owners?

Which side is often going to court (and losing) to dispute facts (like election integrity or sexual assault allegations)?
I'm learning today that black boxes don't have any sort of built-in emergency battery power, apparently. For a device that is meant to be a data gatherer up until the "last gasp" of the airplane, that seems like a pretty obvious design flaw to me.

Does anyone know why?
Hello,

First of all, thank you for your response!

My target market consists of wholesalers and companies seeking raw materials, as well as suppliers looking for merchants like me who can purchase their products in volume.

For more information, please feel free to visit my website: [ebastiban dot com].

Regarding Exim, in the trading world, "Exim" is shorthand for Export/Import.

As for your domain suggestions, all of them are good. I especially like Obsidian Sail and Ocean Divide, but I feel they might sound a bit unfamiliar to customers in the trading industry.

I’d be happy to find a name that combines "global" and "trading."
We are letting the most pathological idiots — incels, femcels, masculinity grifters, misogynists and misandrists, trolls — shape a whole generation’s views on gender dynamics and relationships.

Of course I guess it’s like other fields. Antivaxxers and people who think you can cure cancer with a juice cleanse lead health discourse. Conspiritainment grifters and unhinged fanatics shape politics.

Why?

This needs to be etched somewhere on a giant stone monument: trash maximizes engagement.

If you optimize any media for maximum engagement by the maximum number of people, you get trash. Two people walk past you on the street. One says “hi,” and the other smears themselves with peanut butter and clucks like a chicken. Which one maximizes engagement?

Edit: I forgot porn. That’s a factor too and another way to maximize engagement that gives people ridiculous unrealistic views on sex.

This has always been true. It’s why “yellow journalism” was a term and why tabloids have always existed and why so much TV was always trash. But we’ve gotten so good at it with personalized feeds and algorithms that it’s become far too addictive and powerful. It’s becoming reality for too many people. This is an existential risk to our civilization at this point.

Banning TikTok is a start. Now do all the other ones.
Show HN: Go port of lc(1), an ls(1) alternative from the Coherent Unix clone
I code Rust just fine without any fancy IDE you should give it a shot. The languages I find hardest to code without fancy IDE features are C and C++ due to their implicit casts. Rust is typically easy to code without IDE features due to its strong type system, lifetimes and few implicit casts.
Why do people keep saying Steve Jobs invented the iPhone? He at best could have pushed people to do the best but that alone should not let him steal all the credit.
Some minor edits:

> Humans are tribal. [...], I don’t think just pretending we’re all one [tribe] will work. [...] I hope we can build [a] common [tribe].
I tried it with --frame-rate=60 but there was no change, still selection noticeably lags compared to fzf.

Maybe your preview is async but it feels like it is updated for almost every item while I scroll through the list. Fzf preview is debounced and updates after selection stops.

Also when I test it in a dir with a 100 MB text file fzf will become slightly less smooth when scrolling selection, kind of like tv. However in that dir "tv text" will completely fail and not find any string in that file.
I understand this is just the last instance of a series of (L)GPL violation on the part of AVM. The irony is that with each lost case, AVM strengthens the reputation of the Germany legal system in copyleft cases.
https://archive.is/jQRhn
You're using the word 'discrimination' in the neutral / identifying-distinction manner of the word. To discriminate ... between red and blue, or hot and cold. In relation to racism, I only see the word 'discrimination' in the negative.

Thought experiment: two candidates are completely equal, one is black one is white. If one made the decision to give the job to the black person for reasons of diversity or some other possibly positive reason, that wouldn't be a decision made in the negative sense of the word. And so it fails to meet the definition for me.

However, at this point I accept we're straying into generous nuance, and this is no place for that.

So, let's say I give you that.

It's moot. Why?

I'll repeat for the third or fourth time here. I don't, and have never, supported giving someone a job based on skin colour (or racial group) as your last sentence states, nor do I believe it is common or widespread.

DEI, for me, is only about encouraging a more diverse pool of candidates and hirers, where possible. The end .... Scandalous, right? Racist? How? It's just been weaponised by the usual suspects.

To them, DEI means the assumption of just automatically choosing black over white, or female over male ... and it's just ... boring at this point.

For example, if I'm not mistaken, I understand that the Supreme Court has explicitly ruled against quotas based on skin colour.
These implementations are definitely broken when the specification goes like "you just pass in your array here and it will perform binary search on it for your value." Yes, you could constrain this spec, but come on...

It's such a blatant example for a bug, that I struggle to believe how can anyone even remotely conceive and pivot to the idea that "nuh-uh, this is a bad spec not a bad implementation!".
It’s a mystery, and according to a cousin post, black boxes from planes manufactured recently do have backup power.
I think so too. Any new features can be implemented as a plugin and one they're proven useful/stable enough, they can get refactored in the main project a la emacs.
Relationships have always been work, and people have always worked hard. So what's changed?
But nobody in this thread thought it (simplifying assumptions) stopped. You seem to be making an assumption that someone thought that and then posting long explanations that nobody asked for. I read the "P.S." of grand-grand-parent comment as good humor. Nothing there implied that they really thought that simplifying assumptions would/should stop.

Imagine a world where every bit of humor is interpreted literally and then refuted pedantically! What kind of a world would that be?
And on machines with finite memory, right? Which would be every actual computer ever built?
Great! I added it into awesome-fsrs, a repository with implementations of FSRS in different programming languages and different software: https://github.com/open-spaced-repetition/awesome-fsrs
> Typical unit tests are existentially quantified propositions

That isn't quite right, though I know it's become a meme of sorts. An example, such as an automated test, can serve as a proof of an existentially quantified proposition but isn't itself one. For example, 3 > 2 is a proof of `∃x∈Int : x > 2` (because P(C) ⊢ ∃xP(x)) but isn't itself an existentially quantified proposition.

We can see that because if unit tests could express existentially quantified propositions then they could also express universally quantified ones by negation, which is available to tests, because existential and universal quantifiers are equally powerful, and can each be expressed in terms of the other as `(∀x : P(X)) ≣ (¬∃x : ¬P(x))` (we don't even need to resort to classical axioms because all domains are typically finite). [1]

Of course, unit tests could in principle express existentially quantified formulas (and consequently also universally quantified ones) through exhaustive loops over the domain, though the proof -- i.e. the execution in this case -- is not tractable in practice.

> Unfortunately we can't prove universally-quantified statements just by executing their function body, but there are many paths open to us, with different costs/benefits

Right, but there's another fully automated method that in some situations can serve as a full proof, though not a deductive one: model checking (indeed, there's a tool that offers it for TLA+). Contrary to some beliefs, model checking can efficiently exhaustively check infinite domains without symbolic techniques in some cases (though certainly not all, as that would violate computational complexity theorems; also, some model checkers use symbolic execution). For example, TLC, a concrete state (i.e. non-symbolic) model checker for TLA+ can fully prove, in under a second, some propositions quantified over an uncountably infinite number of executions, each of infinite length.

Of course, many interesting properties involve nested interleaved quantifiers (i.e. interleaved ∀ and ∃), and such propositions are strictly harder to prove (or be convinced of) than propositions with only a single quantifier.

Also, note that the correctness of a software system, unlike an abstract algorithm, can never be actually proven as it is a physical system for which there is no notion of proof. Even a complete proof (deductive or model-checked) provides confidence up to the belief that the hardware will behave as expected, something that can only be true with high probability. That is, indeed, why balancing cost and confidence is important, since complete confidence is never possible anyway.

[1]: Indeed, in some logics, both existential and universal quantifiers are not primitive and defined in terms of another operator, epsilon (https://en.wikipedia.org/wiki/Epsilon_calculus), which also exists in TLA+ and other formal logic languages.
Cross-Cloud Access: A Native Kubernetes OIDC Approach
Goal: Setup a minimal working example where pods in GKE and EKS can access two buckets, one in S3 and another in GCS with no static credentials or runtime configuration. In other words, running the below commands should just work from within a pod in both clusters:
People were always lazy. What changed is being okay with being single compared to dealing with the least effort the other part puts into it (you yourself always put enough effort of course).

Call it unrealistic expectations and blame social media or empowerment and celebrate it or whatever. In the end somebody finds a way to feed on the resulting discontent and everybody is worse off as a result.
>Spelling it out like that sure gives some perspective - It's a frighteningly low number!

Yeah, it's very common for computers to have byte addressable 4 exabytes of storage...
> Tbf, Rust is catching up fast to become the same mess (especially in the stdlib).

I've never seen any users who avoid using Rust's stdlib on principle. The closest thing is the use of the parking_lot crate over the standard Mutex types, but that's getting better over time, not worse, as the stdlib moves closer to parking_lot in both implementation and API. Other than that, there's only been one "wrong" API that needed to be deprecated with a vengeance (mem::uninitialized, replaced by mem::MaybeUninit). Especially compared to C++, the fact that Rust doesn't have a frozen ABI means it's free to improve the stdlib in ways that C++ can only dream of. While I do wish that the Rust stdlib contained some more things (e.g. a standard interface to system entropy, rather than making me pull in the getrandom crate), for what it provides the Rust stdlib is quite good.
> Until fairly recently

What do you call "fairly recently"?

Plenty of non-Americans have been on the internet before 2000, many even from the early 1990s though I'm not sure how much earlier than that had widespread non-US usage.
Good. The fact that TikTok has basically two different apps. One showing pedagogical content in China, and another fine tuned for disinformation and dissent they show in the west, tells me they are a tool from the Chinese oppressive government to undermine democratic countries.

I’m glad they are about to be shut down.

https://www.deseret.com/2022/11/24/23467181/difference-betwe...
> I wanted logs, traces and metrics support locally but didn’t want to spin up a multitude of Docker images just to get that to work.

This project is really nice for that
https://github.com/grafana/docker-otel-lgtm
Or they are just saying this now, as strategy to try to trigger intervention.
You can pretty much ignore Lua and still use neovim, but I see your point. Lua is a big part of the appeal of neovim to me, and I'd probably have stuck to Vim without it. (Another big part is its embeddability - I can have a real neovim instance processing my commands from VS Code when I need to use that).

I agree with you about treesitter too: it's not really better than the old regex way in terms of (non-)bugginess in my experience, and I've been hearing more and more reports of it being much slower than it's claimed to be.
You can also be smart about memory with lexing for great winnage. Have a struct for your tokens that has an enum for your token type and either pointer or indices or a string_view (or a &str but lol lotsa luck with the borrow checker). You can then have a vector of your token structs for fast allocation and iteration and you have a slice for the token back into the original input, no substring copying.
> Internet personality … posted to his 141,000 followers on social media platform … that photos showing standing trees provide proof that the U.S. government "is PURPOSELY setting fires using Military grade DEWs [direct energy weapons] in these areas to initiate a MASSIVE LAND GRAB."

People have to stop seeing this kind of thing as misinformation. This is, pure and simple, the modern scam business model. You are getting people to self-sort into groups: the marks and everyone else. Nigerian princes want to steal your money but can’t invest so much time per person to a random sampling of humans - they need to get the humans that have a 0% chance of success to drop out on their own. These conspiracy theory folks are only slightly more honorable. They are selling advertising space to the people selling snake oil, dubious supplements, prepper shit, garbage pillows, etc.

The advertising-based business model would never work out in normal channels; getting the audience to self-sort is the only thing that makes it work.
Same thing as with teen girls mental health. Everything is not enough, everything is a red flag, every partner is toxic, every parent is a narcissist. All men are rapists, all immigrants are stealing jobs AND leeching on welfare. Echo chambers everywhere to divide and conquer.

And the worst part -- we chatting here and being smart are the ones who built it all to pay our own bills.
Surya is a great open source toolkit for table parsing, layout analysis and OCR: https://github.com/VikParuchuri/surya
Meh. Thats not the algo but int type used. I did not like this title, it was a scamm by ai.
Looks super cool, but also super impractical. Seems like this design would work better for a stand alone desk unit than a watch.
There is also the game "Scuttle ", which is Cuttle on a deck of cards printed with the different abilities.
There's the way we think about the problem and it's solution and there's the way that the machine can execute these solutions. More often there's no direct mapping other than a tower of abstractions. The issue is that the problem and our model are too fluid and it's best not to rely that much on a certain paradigm.
Or 3. They think the ban will eventually be overturned, and in the mean time some percent of those who want to use it will simply find work-arounds.
I'm using NotePlan (https://noteplan.co) and loving it.

It's a macOS/iOS app (there's a somewhat limited Web version). IMO, the best balance between PKM and task manager/calendar management.

I've also tried Amplenote (https://amplenote.com) that has some of the features you want but the tagging concept lost me.
> surrounded by 4 empty houses

They'd happily sell but for 1mln PLN.

> people looking for something better they already have, preferably free money

They'd rent but they are also aggressively sly, dismissing every perfect tenant. In the end they indeed end up renting to another non-paying sly who will tell them exactly what they want to hear.

At this point of the real estate the market, it's the owners who want free money.
This seems to be, for China, a break from the plaza accord era. China has a lot at stake (more than tiktok), and they are not capitulating at cars either (they have been warned by Janet Yellen about "over-capacity"). If Tiktok gets banned in the US, this will accelerate the conflict.

It doesn't help that today's politicians are not saving face either. You have gangoons who have nothing to do with tech that wants to buy-out the falling cow.
Noting you seem to be the only person on the team surprised when important news is shared more broadly later.
I think it still needs the wheel, and all the related parts in the middle like an upright/steering knuckle, which probably cancels out any mass of the motor that is acting as a structural part of a wheel. Other things like brakes would still be required. These should allow for regenerative braking normally the braking torque of a motor is nowhere near the acceleration torque, plus they don't mention braking function anywhere so it's safe to assume there's no special performance there. In all, I would assume for now that a 40kg motor would add approximately 40kg to the overall wheel mass, possibly even more. It would be interesting to see if there's a concept for an inboard version of these motors and compare to others.
So many people in these comments are arguing some form of:

“Let’s first figure out if the homelessness is actually the person’s own fault. If we can really be confident that they’re repentant and sober, then we should perhaps consider helping them find housing.”

This is the approach that Finland had in the 1950s! And it didn’t work. Hundreds of young WWII veterans were dying under the bridges after years in the streets drinking illegal booze (and many also abusing stronger substances, since e.g. amphetamine was given to soldiers during the war). Post-war Finland was not some socialist wonderland but a hard, poor, unforgiving place.

Finland’s U-turn on treating homelessness came after the dismal failure that left so many of these deeply traumatized men and women to die. For the past decades, the policy has been to try to get everyone off the streets into safe and private housing, and then sort out the rest. And the numbers show it has worked.

Many of America’s homeless are also war veterans, just like 1950s Finland. They deserve better.
Scout Wants to Build EVs You Can Fix Yourself
Without telemetry: https://vscodium.com/
Why the Singularity Is Impossible – Or Why It's Just a Bad Word in General
My personal experience is yes. Hardware provides a substrate of reality, and software developers are asked to implement aspirations.
I'd have to argue the function typedefs are not useless, I've come across two uses.

The obvious one is rather than a function pointer typedef, such the subsequent use in a struct is obviously a pointer. Which helps when others are initially reading unfamiliar structures.

typedef int handler_ty(int a);

struct foo {
handler_ty *handler;
/* ... */
}

struct foo table[] = { { /* init fields */, /* init fields */, };

The other case can be somewhat related, namely as an assertion / check when writing such handler functions, and more importantly updating them.

handler_ty some_handler;
int some_handler(int a) { /* ... */ }

When updating code, it allowed for easier to decode compiler errors if the expected type of handler_ty was changed, and some specific handler was incorrectly updated, or not updated at all.

Basically the error would generally directly call out the inconsistency with the prior line, rather than with the distanct use in the initialisation of 'table'.

As I recall this mechanism has been around since at least C89, I don't recall using it in K&R.
What do you mean?

We could implement a version declaration system that removes and fixes elements of JavaScript when properly declared.
Apartment rental prices have dropped for the last three months in a row in Canada.
I still have my L702X in my closet next to me! The machine lasted me 7.5 years. Thanks for the throwback reminder.
A hosting service is not a publisher. They don’t want to restrict speech, but still want to punish hateful sites, and this is the compromise they came up with.
> the "middle of nowhere".

*"snow-where"

That being said, yes Helsinki has been a magnet for employment at least since the Nokia boom years, but its population has ebbed at least once in lulls since then when rental demand cannot meet overpriced supply.

Outlying regions do have a big overstock of housing. Even with low rents, I don't think you can keep any even moderately ambitious young person out in the sticks and away from Helsinki/Tampere/Oulu. Long ago one might think that maybe the country's policy of universal high-speed internet coverage might counter that tendency, but... no.

FWIW some stats on population age by region here: https://www.statista.com/statistics/529458/average-age-of-po...
In most cases, it’s not so much that they’re a family, but rather a group of folks with somewhat aligned interests that can fight together for those interests.

The ‘black community’, ‘Irish community’, ‘catholic community’. And those do often work - frankly, it’s often the only thing that works when that community does have some specific interest.

It’s for lobbying and other pressure tactics, yes?
But here that mass is the driving force: the further away from the center you put your magnets, the less force (the less magnet) you need for a given amount of Newtonmeters. When you move that mass away from the center, you need less mass, changing at the same factor as rotational inertia changes. So no improvement or drawback in terms of rotational inertia, but improvement in terms of total mass (and improvement in terms of unsprung mass when comparing to a wheel motor in the hub).

In a way this is a transfer of semiconductor miniaturization to motors: when your power transistors can switch fast enough, you can replace fewer bigger coils with more smaller coils (that switch more often per rotation) and moving it all rimward gives you more torque per Newton. That ice skater effect? It's on your side.
This reasoning is correct but still has to assume that both indices are non negative, which is reasonable.
Why give up your cash cow lol
If you really needed it in memory you’d use one of the file APIs that will map it and present a direct byte buffer view over that memory.

Those APIs use long as their offset unlike the 32 ints used by arrays, and would avoid having to copy the data into some other object.

There has been some discussion over the years about how arrays could be changed in the JVM to support longer lengths, but doing so without breaking existing code and while providing truly useful functionality without providing obvious footguns isn’t as easy as you might think.