skysight-inc/HackerNews huggingface dataset:
Yes, the Lindy Effect is a valuable heuristic. But private equity firms love to buy a company with a sterling reputation, then run it into the ground while milking it for profits and saddling it with debts that will never be repaid, so you need to watch out for changes in ownership or management like a hawk.
New Covid variant BA.2.86 spreading in the U.S. in August 2023
Sure why not:

Mastodon: https://ohai.social/@cm30

Threads: https://www.threads.net/@cheatmaster30

Twitter: (I don't use this for my personal account anymore, only my site)

YouTube: https://www.youtube.com/c/GamingReinvented (also a site thing, and a team project)
> T-Mobile US says workers will be offered "competitive severance payments based on tenure," in addition to at least 60 days of transition leave.

could certainly do worse on the package.
If only we could make politicians and scientists wear logo-ed suits and lab costs like Nascar drivers.
Would it be better if substack has two forms of the same article? Like have the full article available only for paid members while having another one for someone just checking it out. Leave it to the author to decide what to show in a particular view.

Substack can restrict the size or types of content available in the free view of the article to reduce their server usage. I feel like this way the eventual enshittification could be delayed or even avoided. Of course this way might not be the best for getting YoY growth. And I'm not sure if any website provides such a provision
Just wanted to say I thought this was an excellent description of the Internet ad market and the recent changes that have occurred. I don't work in the ad space (though I've worked on consumer sites so I have a fairly decent understanding), so I thought this article did a great job thoroughly and clearly explaining the details.
One of these days, the police will sic the Nazis on you, or the Nazis will sic the police on you, and then you might rethink whether it's really that entertaining.
I don't see anything unnecessary about getting full body scans, especially if one has a family history of a given disease or aliment.

If I'm predisposed for ________, and I find out really early, to the point where I might be able to fight (some of) it with lifestyle changes, why not?
I can't find it presently but I read some blog post about a guy getting his MRI data. It's apparently possible but like most things in life, a pain.
The answer should be no. Though, it’s understandably ambiguous.

Black is a property of a marble. Without a marble, black cannot evaluate to true. Therefore zero marbles equals “no”
Frank Gang! So good.
Apple-1 Ad Handwritten by Steve Jobs Sells for over $175,000
I wrote a reply but since it became too long, posted it as a comment: https://news.ycombinator.com/item?id=37266563
Maybe I'm too used to Coq's higher-order theory now, but I think it's not really that bad to say that we have to be careful about whether statements have existential import.

https://en.wikipedia.org/wiki/Syllogism#Existential_import
If they are paying for it out of pocket, I assume they would have the option for the raw data. Maybe a small-ish processing fee, because...American healthcare.
I disagree.

If

lst = [True, True]; all(lst) is True

is True, and

lst = [True]; all(lst) is True

is True, I'd be very surprised by

lst = []; all(lst) is False

Basically, all(lst) is the same as `not any(not item for item in lst)`. If we inverted the value of `all([])`, I'd argue that we'd also have to invert the value of `any([])`, which today evaluates as False. `any([]) is True` would be beyond bizarre to me.
I don't have a great answer. Most modern descriptions are shallow and/or unclear. My favorite discussions were actually in Werbos's original papers.

A nice overview was Backpropagation through time: what it does and how to do it, 1990. The rule itself is stated very clearly there, but without proof. The proof can be found in Maximizing long-term gas industry profits in two minutes in lotus using neural network methods, 1989 (which I believe was copied over from his earlier thesis, which I could never find a copy of).
Especially when

Enum.sum([1, 2, 3, 4])

Exist ;)
I hope this will be a warning for others tempted by relicensing to BUSL. This will probably kill all the community and maybe the company.
Gotta bump those stock prices. Short term shareholder value at any cost to the company.
To be pedantic:

TRUE is the identity element of "and", not "all". "All" is not a binary operator, it is the (unary) aggregation of "and". That is, S.all() == S.aggregate((prev, next) => prev && next, TRUE).

FALSE is the identity element of "or". "any"/"some" is the aggregation of "or". S.any() == S.aggregate((prev, next) => prev || next, FALSE).

0 is the identity element of addition, and "sum" is the aggregation of addition. S.sum() == S.aggregate((prev, next) => prev + next, 0).

1 is the identity element of multiplication, with "product" the aggregation.

Given a monoid M<T> { combine(a: T, b: T) => T, identity: T }, you can define an aggregation operation the same way:

S.aggregate((prev, next) => M.combine(prev, next), M.identity)
There’s only no harm in more data if you handle false positives perfectly. Surely, this is never the case, so there’s always some harm in more data.
It's not clear to me what advantage this board has over a couple breadboards, jumper wires, switches, LEDs, resistors, and a handful of 7400-series chips. I've done most of the exercises mentioned on the page with my son using the material mentioned above (culminating in a simple 4-bit ALU made from discrete chips), and it was straightforward.

As others have said, the fact that this is all being emulated by a microcontroller feels like cheating. If you're going to emulate, why not just use a circuit simulator like Logisim?
No one said anything about "letting *anything* access"... use IP whitelists and keypairs as needed.

The feature you linked will only work with smart backends (e.g. VM running borg), so if I'm using S3 etc to store my backups I can't use that. That's a big caveat given the pricing difference between object storage (e.g. S3) and block storage (where I can run `borg serve --append-only`).

edit: Actually it seems borg doesn't support object storage at all.
> But the content that they’re trying to protect isn’t theirs -- it belongs to their users.

Kinda. Yes, Facebook says that content belongs to users (otherwise they'd have harder time explaining they are not liable when it's illegal), but users also agree to give Facebook “non-exclusive, transferable, sub-licensable, royalty-free, worldwide license to use any IP content that you post on or in connection with Facebook.”

For example, if a user deleted their* content, Facebook can still use it and show to their friends. That's why it's "kinda".
The problem is that very few macOS clone projects reach anything close to maturity, which means that paradigm is barely represented in FOSS desktops. Aside from GNOME (which is iPadOS, not macOS) and its prettier cousin Pantheon, It's just Win9X clones and tiling WMs as far as the eye can see.

That might not seem like a big deal, but if the goal is to get as many people switched away from commercial operating systems as possible there needs to be a healthy range of conventions/workflows represented by meaningfully different DEs so more users find one they can slip on like a comfy pair of shoes. For most people, switching desktop paradigms is something they want to avoid if at all possible because of the immense friction it brings.
It's an obsession with convenience, which doesn't have to mean single-serve or disposable. Loose leaf tea is slightly less convenient. It's very hard to argue with people to give up convenience, but if you can figure out how to make loose-leaf tea easier than bags I think people will do it.

Also, there are some cost and shelf life concerns: https://spoonuniversity.com/lifestyle/a-steep-dilemma-tea-ba...

Also, apparently here's some stats about loose-leaf vs bagged tea: https://www.statista.com/forecasts/1093592/preference-for-te...
FTA:

> But it is interesting how even extremely practical twenty-first century programming can get drawn into millennia old philosophical controversies, intentionally or not.

This turns out to happen a lot. I can't find the source right now, but there was a good essay I read ages ago about how questions that are abstract and hand-waveable in day-to-day life become cornerstones of architecture rapidly in computer science and software engineering. The cow in the field epistemological puzzle [http://www.philosophical-investigations.org/2021/09/the-cow-...] maps directly to the nature of proving code is "correct" by testing (and any practicing coder has a story of false-positive or false-negative tests, as well as times they identified one of those by a "gut check" telling them "That result... doesn't feel right; I should investigate further"). Similarly, the philosophical question of "sameness" or "equality" ends up concretized over and over again in language design; there's a reason languages end up with so many ways to say 'equals', and it's because the underlying question of what it means for two things to be the same thing is legitimately philosophically complicated!
> And I suspect you're going to see a LOT more of the left-leaning, tech-bro type of this prepper emerging due to climate change concerns…

while i’m sure we’ll see an uptick, i don’t think we’ll see anything like we did with the previous batch of paranoid types.

the modern left is much more about “we need to rely on and help each other” rather than the “im gonna become a survivalist and die alone in the woods.”

and honestly, anyone who thinks going off alone is somehow the intelligent move is fooling themselves and obviously hasn’t thought it through. we know this. we have thousands of years of evidence of this. when we come together we thrive. when we go off in the woods to show how “strong-boot-straps” we are, we die of an infected toe nail or something equally as stupid. that’s why every survivalist disaster “expert” recommends to prepare for disaster with your neighbors in your town to help each other and distribute the load. it’s not rocket surgery.

again, i’m sure we’ll see a slight uptick in every type, but nothing like we did in the past, i think we learned too much from watching their mistakes. we’ve seen too many shows and videos of people with even strong survival skills be absolutely miserable off on in isolation.
What Do Java Developers Think of the Rise of GenAI?
Survey results from Java developers about the rise of Gen AI.
Slack Similarity Search, Metal X Beam
Banning straws has to be the tiniest, least impactful change we can possibly make to reduce unnecessary plastic waste. It's a perfect representation of how we're all doomed because nobody wants to give up the tiniest bit of luxury when it comes to attempts to fix global problems.

I'm all for action against excessive packaging (as long as we don't cause food waste, i.e. by banning the plastic keeping fruits and vegetables edible for much longer) but nested plastics seems to be rather rare in my experience. Even sixpacks of cans come in cardboard packaging these days. It's been months since I last saw nested plastic packaging.

I've never seen any law specifically targeting straws. Most of the laws target single-use plastics, such as plastic cutlery and plates. The people focusing on straws seem to be "the damn liberal environmentalist communists want to make your life worse" types of media.
> Maybe as there's more evidence it's harder to convict innocent people to pad the metrics?

More likely, decreased policing in the more dangerous neighborhoods has let to more unsolved crimes.
A stoneman would be a man made of stone, not a stone shaped like a man.

It comes down to a philosophy of logic issue. A universal quantifier ("for all x P(x)") is ambiguous when there are no x's. You can take it as false, true, or indeterminant, your system of logic will determine which interpretation should be used.

In modern predicate logic, that statement is true if there are no x's. In syllogistic logic it's considered false because there's a second presumption which must be satisfied: That there are any x's to talk about.
The writers better be vegan if they're worried about wildlife impact from the launch.
Node's "experimental" stream api also leads to code with similar semantics. It gives some additional concurrency options, but of course no parallelism outside of waits.

createReadStream("file.txt")
.flatMap((chunk) => chunk.split(" "))
.reduce((acc, word) => {
acc[word] = (acc[word] ?? 0) + 1;
return acc;
}, {})
I'm really curious what Hashicorp expected here. I supposed their next move is to control access to terraform cloud by versioning. But that'd chop off a big portion of their userbase. So maybe they grandfather old tfvers in and expect new to use 1.15 or 1.5 I forget.
For example,

https://techcommunity.microsoft.com/t5/microsoft-defender-fo...

https://techcommunity.microsoft.com/t5/azure-infrastructure-...
> So your point is the laws prohibiting people from blocking major traffic highways are racist and should be abandoned,

Laws buttress/codify the current social order, and forbid shaking it up, in particular through disruptive protest. If the social order is racist, then these laws will be used to preserve racism. They're inherently repressive, not inherently racist.

If you're the government - you don't want to abandon them. If you're a social movement - you're against their existence (if you're more principled), or against their enforcement in your case (if you're more opportunistic).
maybe they should change the name

because to me this sounds like hoping linux can support newer versions of minix

or that openbsd can support newer versions of freebsd
Do you think that would still happen today (the review and reversal of flagging)? I'd guess nowadays for any operator that small, a human would never even be involved with banning them.
What if your leg is just sore, and Gary swears it's actually been blown off and he needs to operate immediately?
It's a tough decision to make even if you have the money - PET scans use a radioactive tracer injected in your blood that's like 5 years worth of radiation in one day. It can detect cancers, but yea that's an unsettling amount of radiation.

Then there's the risk of them actually finding something, which is very stressful, requires biopsies, potentially surgery, etc.. for something that could actually be benign.

My gf did it already with no issues luckily, but I haven't been able to rationalize doing it myself.
You're right, it's just that the word "abuse" is doing a lot of work in that statement. I've still never seen any example of any person being actually damaged by the "tracking", so calling it "abuse" feels pretty harsh.
This is just "Buyer's Remorse"

Value and price are wonderful, but something is worth what people are willing to pay for it.
> There's no other side of this war, just regulators issuing commands that industry tries to follow.

We know how well the industry "tries to follow" from how industry follows GDPR and how Facebook keeps pretending that it's their god-given right to use tracking data in advertisment.

> It's confusing as a war is because the regulators decided not to make the law say, 'behavioral advertising is illegal,' and instead have spent years slowly awakening to that conclusion, at the cost of zillions of dollars in legal fees.

It's not confusing. Regulators do what they always do: they let companies do whatever companies do. And when the companies keep doing shitty things, regulators regulate.
Good thing they've already fixed the problem!
Mostly speed. Form and disperse and reform. The police can be outnumbered and outmaneuvered.

The Hong Kong protesters are the ones who developed the best tactics.
Why would you post that? I'm actually curious.

The crews of two F-16s fired flares to catch the attention of the pilot of the civilian craft and escorted it out of the restricted airspace without further incident, North American Aerospace Defense Command, or NORAD, said in a statement.
Fixing Other People's Bad Repairs (Again) [video]
I think Kopia [1] is on its way to be that. I am sticking to Restic for now but it seems like the strongest contender.

[1]: https://github.com/kopia/kopia
MS-DOS 6.22

C:\>grep '^[qwertyuiop]*$' /usr/share/dict/words | awk '{print length, $0}' | sort -rn | head
Bad command or file name
Bad command or file name
SORT: Too many parameters
Bad command or file name
What else can you do? Err on the side of all the hostages being dead?

That’ll make for some spicy firing + public disgrace + jail time if you’re wrong.
Yeah - I also always wonder if they also cut the Coke, chocolate, etc.
All cell phones must be turned off before the movie will begin.

Oh wait, nobody in the audience has a cell phone. Can the movie begin?

> Without a marble, black cannot evaluate to true. Therefore zero marbles equals “no”

"Is_Black" cannot evaluate to false either, therefore zero marbles equals "yes". But that's wrong too, because it is never evaluated, because there are no marbles to evaluate it on. TRUE is the identity of AND, and ALL is the aggregation of AND, so ALL([]) == TRUE. Put another way:

If you start from a bag with N black marbles and split it up between M bags, can you say that for each new bag, all the marbles in it must be black? Yes, you can. That is, if you find a marble in the bag, it will be black. This still holds even if one bag doesn't happen to get any marbles.
The counterarguments presented in the article are silly. Of course we should have full body scans for preventative purposes. Could you imagine a utopian society where we don’t regularly have full body scans to detect problems early? Any new problems that arise as a result of this trend should be handled as exactly that — new problems.

Too many false positives leading to wasted time and costs? Raise the price for the supplemental scans and improve detection precision and recall. Unnecessary procedures that make a benign situation worse? That’s a sign to improve medical research in that area. Too much demand for MRI machines pulling away time from patients that need to use them? Build more MRI machines. This is one of those situations where the ideal end goal seems obvious, and I think we should just plow ahead and address new problems as they arise. In the long run, better preventative medicine will save time, costs, and minimize suffering for everyone. A few road bumps along the way shouldn’t dissuade us from even getting started, otherwise we never will.
Me too. (I miss the Carlton.)
Why should I consider the all function to be like that, rather than actually answering the question “are all the marbles black”?

Also, why am I getting downvoted? I’m starting to realise that HN is not the place to come for intellectual discussion anymore if you have anything to say that isn’t immediate agreement. I guess dang has set a flag on my account that encourages others to downvote me, because I’m not sure what other explanation there is for how my comments have been treated recently
Totally agree. Technically speaking it's also possible to do user interfaces in other languages via bindings but given that you can get responsive web apps out of the box with tailwind and other css frameworks, it feels like there's nothing approaching modern js frameworks in terms of speed of iteration when you're targeting multiple device types.
One option is to write your language as a transpile to Racket and then leverage the existing ChezScheme implementation for performance. Racket is usually faster than Python although initial process startup is slightly slower than CPython.
Looks cool! A bit hesitant to try it out, though. Can you talk a bit about your privacy and security practices?

Do you (or do you plan to) use customer data (or prompts/results) for training? Do you ever read any of the customer's AWS data beyond what's strictly necessary for the functionality of the tool? What data do you retain?

I looked at your privacy policy but it's pretty generic.
yeah, obviously this isn't acceptable for things like debian, ubuntu, or guix
Is the huge title background supposed to be obscured by the menu? That doesn't look right to me. Even apart from that the whole design looks off. Too many font sizes. Unwarranted visual emphasis; who cares if there are no comments yet? I'm not going to comment to 'fix it'. And "Become a patron" is capitalized but "no comments yet" is not. This is not a site I would turn to for advice.
It didn't exist before they wrote a bunch of code to make it happen.

The alternative approach I outlined is much quicker to write, so I don't see how your comment makes sense?
Given the location I'm guessing there was very little change of elevation.
> My Facebook feed has morphed into a stream of stuff from my hobbies. It’s basically replaced Reddit for me.

Is there some sort of setting somewhere I am missing? FB has ignored my follows and stated preferences and just feeds me random trash.
It’s not 4C when there’s this much uncertainty involved.

The concern isn’t hitting X temperature and everything instantly fails it’s looking for the lowest temperature where positive feedback loop occurs. That feedback temperature might be 3.4C or it might be 0.4C, this study hasn’t discovered a specific answer just a very critical threshold we are fairly close to where bad stuff occurs.

“Leaf thermocouple data from multiple sites across the tropics suggest that even within pixels of moderate temperatures, upper canopy leaves exceed Tcrit 0.01% of the time.” So it’s a rare event right now. Perhaps at +0.8C such extreme events become common enough for large local die offs to occur. When coupled with tree lifespan you actually get widespread cumulative damage much sooner than expected. Or perhaps it’s not a problem, we don’t have a definitive answer just one study.
I was referring to monad, as used in programming, as a transform that can be applied to the elements of a structure.

For instance, a transform that wraps each joining operator, in an expression tree, with a new operator that applies the original operator if all its inputs are defined, but returns a null if any input is null.

The expression tree structure hasn’t changed, but it now consistently (anvoiding error) responds to null values by propagating them.

In my example, a monad converts the list combining operation of concatenation into other list combining operations.

The result was that the identity of concatenation (the empty list) formed the basis for the new list operator’s identity.

—

Both concepts are indeed relevant.

A “monoid-to-aggregator” monad could convert 2-element operations into recursively applied list operations (which also return the single element for unitary lists, and the identity element for empty lists).

Then a structure of monoids processing pairs of values could be transformed into a structure that processes lists.