skysight-inc/HackerNews huggingface dataset:
I agree, for most people the system is a bootloader for Chrome. But this article is about one guy's disappointment he can't hold the whole system in his head anymore, and I'm just saying the user never cared about that in the first place.

But also, if you've only used one operating system, there hasn't been any need to generalize what you've learned from that system interaction wise. We had to learn a bunch of computing conventions. Eventually you learn things like "most command line tools have -v,--verbose". Grandpa doesn't think computers work this way, he thinks Windows works this way and how should he know how Linux works.

'What games are like for someone who doesn't play games' is a pretty good video about a similar thing. It's easy for you, you know computing vernacular.

https://www.youtube.com/watch?v=ax7f3JZJHSw
My point was that heating metal over open fire and using tools to keep the fire going is what gives it that medieval allure and makes it to be a bad ass hobby.
FWIW you can apply for Apple Small Business Program to reduce it to 15% cut.

https://developer.apple.com/app-store/small-business-program...
>a pig is vastly less valuable than a human life

give just one single concrete argument that this is the case which isn't "because it just is".
Thanks for the info.

My current plan is to programming with interaction nets directly,
and to view Lamping's "optimal lambda calculus reduction" as an example.

I have not read Lamping's paper yet.
But if it uses "Interaction Combinators",
maybe I can not even do it in my implementation.

Because there are two version of inet:

(1) Lafont's 1990 paper "Interaction Nets"

(2) Lafont's 1997 paper "Interaction Combinators"

I implemented (1) where a port has a sign (input port v.s. output port).
Given two ports, I can only connect them when they have opposite signs.

In (2) there is no input port v.s. output port,
ports are not signed (Lafont called the signed version "directed" in (2)).

"Interaction Combinators" uses self interaction
(rule about a node interacting with itself),
it is not possible in signed version of inet.

Because one node only has one principle port,
thus can not connect to it's own principle port,
because the same principle port has the same sign,
not opposite signs.

------

I said "programming with interaction nets directly",
because it seems already a more practical language than lambda calculus,
for we do not need lambda encoding to express datatype and pattern matching,
we can define rules case by case directly.
> come up with a word etymologically rooted in Chinese

So here's an interesting point: etymologically, Chinese is the only evolving language other than English.
What a bloody anti-pattern.

0) business: Lets max out all slack in a finite system to make money!

...inevitably reality happens, and suddenly, slack in the system is needed to maintain operation for non-maximalist participants

1) non-maximalist part of system recognizes and rewards maximizing operator for maxing out utilization by paying them to not do it

2) Every other operator watching this transaction: Huh. So as long as I carve out a big enough chunk of utilization, I can make money doing AND not doing.

3) Every operator incentivized to maximize consumption

4) Literally everyone else just trying to get by suffer under increased grid instability and progressively more intense utilization that never actually got tested for because there wasn't a reason to transform all excess generation capability into waste heat via computation before.

Like... this is an immediately obvious pathological outcome to me. Is it really that non-obvious to everyone else?

Or am I just stuck in a headspace where the purpose of computation is to arrive at an answer as efficiently as possible where accounting for inputs extends from input fuel source to exhaust?
> My point isn't that it errors. It's completely reasonable to expect even a beginner to do basic troubleshooting. My point is that the error specifically mentions monads.

Right, and the Python errors mention all sorts of things a beginner is not expected to understand, like "builtin_function_or_method". I don't think "understanding builtin_function_or_method" is required to write the Python and I don't think "understanding Monad" is required to write the Haskell.

> If our requirements changed to now read and sum an arbitrary number of inputs together, I'd expect a beginner could change the Python program to do so. I'm skeptical they could make the required changes to the Haskell version (without understanding monads).

Where do I have to "understand monads" to write this?

main = do
iters <- readLn

let loop n total =
if n == iters
then print total
else do
x <- readLn
loop (n + 1) (total + x)

loop 0 0

I had to understand that in Haskell looping is done via recursion (which is mindbending initially, if you come from imperative programming), but I don't see that I had to understand monads. FWIW the Python that I'd write is

def main():
iters = input()

total = 0

for _ in range(iters):
x = input()
total += x

print total

This is simpler. But I could write a Haskell version that uses an IORef to get roughly the same code structure as the Python.

main2 = do
iters <- readLn

total <- newIORef 0

for_ [1..iters] $ \_ -> do
x <- readLn
modifyIORef' total (+ x)

theTotal <- readIORef total

print theTotal

I would say this requires understanding the mutability/immutability distinction to know why we use an IORef at all (but you'd get that with OCaml[1] too) and it still requires understanding do notation, but I don't see that it requires "understanding monads"!

Now, if I were writing this for real I probably would use a version with a state monad transformer so it was

main3 = do
iters <- readLn

total <-
flip runStateT 0 $ for_ [1..iters] $ \_ -> do
x <- lift readLn
modify' (+ x)

print total

That would require some understanding of monads so that you can understand how they are transformed with monad transformers!

[1] https://www.cs.cornell.edu/courses/cs3110/2018sp/l/14-mutabl...
AFAIK Israeli government audits NSO and stuff, but they are separate... And Intellexa (authors of Predator I think?) doesn't even get audited because it's "not israeli" on paper
That's not a lawful basis under GDPR. There are only 6.[1]

(a) Consent

(b) Contract

(c) Legal obligation

(d) Vital interests

(e) Public task

(f) Legitimate interests

What a lot of companies are trying to do right now is weasel through under "legitimate interests" (eg a lot of scumbag seo-monkey websites have cookie consent dialogs stuffed with "legitimate interest" switches even though that doesn't work the way they think), but it's not clear that "improving my services at the expense of people's privacy" would pass the "legitimate interest" test if that ever goes to court. Legitimate interest requires them to pass "purpose", "necessity" and "balancing" tests. The "balancing" test in particular balances the companies interests against the interest of the user in maintaining privacy. Here's more about "legitimate interest" under GDPR.[2] it's not the get-out clause that people seem to think.

[1] https://ico.org.uk/for-organisations/uk-gdpr-guidance-and-re...

[2] https://ico.org.uk/for-organisations/uk-gdpr-guidance-and-re...
“Artsy fartsy” ~= “more concerned with art than entertainment” ~= “more concerned with making a movie pretty than fitting fans expectations”

So IMO we should cut the person some slack :). I don’t agree that it’s that way because ultimately that’s a movie by Disney not a movie by Rian Johnson, but it’s weird to say that technical aspects are somehow not related to art
Yes, people back then were as smart or dumb as we are. They didn't already invent all the stuff we have. But the had the same capabilities of organization. Ancient Greece was most likely not the first democracy. Possibly not even then first in Greece.
Actually I didn't. Perhaps the 1.1.x branch is for legacy clients and only gets the occasional crucial backport, where the 1.2.x branch is the active you-should-use-this-one-for-new-stuff version, and sees frequent feature releases. It is the very treatment of semver as being equivalent to a monotonically increasing decimal that I object to.
How Telling People to Die Became Normal
Zero day prices exploit broker Zerodium is willing to pay
A lot of movies rated 0.5 or 5 just to scale the top 250. It recently happened with Across the Spider-verse.
> I think you failed to realize that 肉 just means "meat", in the most general sense possible.

Yes, I'm aware of that. (It isn't restricted to meat; it will also, much like the English word "flesh", refer to the flesh of fruit.)

> Under no circumstance is the character by itself ever directly denotes pork.

But this is just false. The character by itself directly denotes pork. It's not an unusual use.

The constructions with 肉 are not being given as examples of using a different word for the animal and the food. They all use the same word.

The example was the one at the end of the list, 水母 vs 海蜇.
Because for them these operations are part of their military and intelligence spend. And in terms of allocation from the tax pot, both are highly privileged.
This is probably fixable in Node.js, just preallocate objects and do not excessively create new ones. But yeah using Node.js is probably not the best choice for this. As others have mentioned a JVM could easily handle this with some pre-allocation strategy.
> Lean is a new open source theorem prover being developed at Microsoft Research. It is a research project that aims to bridge the gap between interactive and automated theorem proving. Lean can be also used as a programming language. Actually, some Lean features are implemented in Lean itself.
Slack AI
I'm not a Star Wars nerd (but I watched Episode 7-9 nevertheless). I think the main weakness of the "Disney trilogy" is that the plot is basically the same as the "original trilogy": powerful evil forces with a death star/planet, commanded by a truly despicable bad guy with a slightly more nuanced henchman, valiant heroes fighting them and winning against all odds - been there, seen that. And the plot twist at the end (let's not reveal it, although everyone probably knows what I mean) makes it even more similar.
Guess what's the engine that majority of those build in browsers use.
I'm a bit puzzled. This seems like it's trying to push for a narrative (communal planning) when the issue here is that there is a lack of evidence of a centralized one. I'm not sure how lack of proof of that will imply the other.

> Excavations at the town's cemetery likewise found no evidence of a social hierarchy in burials, a marked difference from excavations at other nearby towns of the same era.

Maybe these communities had a different social hierarchy structure that didn't leave much of a trace...
From what I've read from NK experts: they intentionally and intensively create hackers. If you are a child in NK who shows skills in mathematics then you will be monitored and if you are good enough you will be sent to a special mathematics school, where you learn pretty much nothing else. After that you are sent to the one technical university to study computer programming intensively for years. If you pass muster then you will be shipped to China, from where you'll use the better internet access to do anything from steal MMORPG gold, phishing attacks or find zero days. It sounds like a bleak life of 12 hours, constant pressure to deliver and living in cramped dorms. So, a bit like Silicon Valley ;)
Eva zu Beck has some interesting YouTube videos about driving the Dalton in a Land Rover Defender:
https://youtu.be/rBXh4cnTYhg?feature=shared
Trees on private property are also missing — in front of people's houses/communal areas in front of blocks of flats. There's quite a few of those around me that I would consider to be "street trees".

Pretty cool site, though!
Option to view previous days would be great.
The author gives no info about how much memory these node instances had. I think that context is very important to know.

Also as others have mentioned the js code could have been optimized.

Id be very interested in a part two testing out some of the suggestions and sharing the benchmarks!
> If those sites can't support themselves they'll more than likely disappear.

Newspapers and television (pre-digital) managed to survive just fine on advertising before tracking was feasible. There are also subscription services. Content is not going to simply disappear if tracking goes away. Sites that depend on tracking for their survival will adapt or die, but that's fine, businesses fail every day, and I'm certainly not sympathetic to businesses who depend on what I would call unethical practices.

The problem is when regulators ignore an industry for years upon years (capture). Entire industries can grow out of practices that would otherwise have been restricted. The longer it takes, the harder it becomes to implement sane regulation. Instead we just get used to what's most likely a shittier society (the political impact of tracking and nudging).
TS is lipstick on a pig
There is a nice PBS documentary about Pegasus's NSO https://www.pbs.org/wgbh/frontline/documentary/global-spywar....

It looks like NSO is backed up by the Israeli government. They say their software is only sold to governments which were previously vetted, but the reality is that most of the time they sell to authoritarian states which monitor and persecute people opposing the regime.
No in Mandarin. It's 黑手党 (black-hand mob)
That's interesting.

Are there any good sources to learn more about that?
Growing up in the UK I didn't get around to passing my driving test until I was about to move to California in my early 30s. Being able to drive in the UK is certainly useful but is definitely not necessary.

Living in San Francisco now I have pretty good access to nature by car but I still miss being able to take a train out to a stop in a tiny village, go walking in the hills, end up at a pub for a few beers and a meal and take a train home.

Driving provides a certain freedom (I really enjoy driving for pleasure in California!), but not having to drive provides a different sort of freedom.
Google has a habit of limiting changes it does not like to specific countries.

So if they are rolling out a UK mandated feature globally there is no question that Google is all for it.
The important part is export control - i.e. deciding who can buy the stuff: https://en.wikipedia.org/wiki/NSO_Group
Kindergarten to Americans: when most children start elementary school, usually age 5 (maybe 6 if their parents didn’t think they were quite ready), Grade 0. What Germans would call “Vorschuljahr” (last year of Kindergarten, where there’s less play and more learning how to count, recognize letters, and sit still at a table)

Kindergarten to Germans: usually its own establishment, available but not mandatory from age 3, usually has fees in the 200 EUR/mo range for all day with hot lunch (with further subsidies for poorer families), rather like an American preschool for ages 3-5, with the 5-6 year (“Vorschuljahr”) being more like American kindergarten.
The Servo project is joining Linux Foundation Europe
Okay, but it still gets rid of two other allocations (line and http)
US unions have flexed their muscle this past year. Are they winning?
I know, but I am still paying the 30% for every app I purchase that is not from a small business.
They had coordination between kings of different regions. They had messengers using authentication bearer tokens, for god's sake. Edit: Seems like evidence of something, though not airtight proof of centralization.

Reference: https://news.ycombinator.com/item?id=26576528

which I will modestly (/s) say if you drill into the link and think about what it's saying, will possibly be the coolest thing you read on HN today imho.
> Fixing mine requires understanding how `do` and `<-` interact, which I remain skeptical can be done without exposing oneself to monads.

I think this is the major point of contention between us.

I don't think that understanding how to use `do` requires "understanding monads". My example was to demonstrate that understanding how to use `do` for the IO monad is not really much different from understanding how to write a sequence of statements in Python. There's one big difference: you have to use both `<-` and `let`, and you have to know that the former is used to get a value out of something of type `IO a` and the latter is just normal variable binding. But that still doesn't require "understanding monads"! It just requires knowing there's a special thing called `IO` that wraps things with effects.

I do think that understanding how to use `do` for arbitrary monads requires understanding monads! But that was not required to solve the problem lmm originally proposed, nor your extension.

I also do think that most pedagogical Haskell material focuses too much on "understanding fine details" and that applies particularly to monads. My point is that another approach is possible. That is simply to use `do` notation intuitively via analogy with imperative languages (which is a perfectly fine thing to do).
Realizing that Memory & Memory allocation is almost always where the performance goes wrong in practice takes some wisdom.
> I’m all for playing with rust, but this post strikes me as engineers being distracted by shiny new things because they are only able to parse a TSV at 700kb/s?

They definitely just wanted to A.) Play with Rust, B.) Write a post about it.

This is the key line:

> As an intermediate Rustacean (I do have a fairly successful open-source project written in Rust, called fnm),

It's fine to say "I rewrote this code in Rust because I like Rust". We don't have to do a whole song and dance about why X needed a rewrite in Rust because X wasn't doing a good enough job. People do exactly this work in Node every day successfully. They just wanted to write Rust instead of optimizing some Javascript. _Which is fine_, just totally not newsworthy.
At the beginning of the book it says 'The real power of Spark is that this query can be run on a laptop or on a cluster of hundreds of servers with no code changes required.'

Is this accurate? I thought the power of Spark is that data stays in memory in each node in the cluster. Being able to run on a cluster in a fault tolerant manner was achieved already by Hadoop ecosystem.
Your best bet might still be to use Card Kingdom. I've had friends ship their cards from countries in the middle east over to card kingdom when their collections were large enough. For smaller collections Ebay, and even local game stores in the area should work fine as well.

If it were me I'd find a local game store, and go ask the guys there what they use.
Bu bu bu bu bu bu bu Bennie and the Jets
Will Will Smith smith ? Will Smith will smith.
I think it's mostly the control from the first 2 points you mention. They are often working from China, where the authorities will not help them. "Well compensated" in North Korea terms means not starving and your family has not yet been sent to a forced labor camp. Escaping means your family suffers terribly.
You see userpics though. Works for me...
Google is definitely no stranger to shutting down and killing unprofitable products - often pretty early even. They have a long history of doing just that.

And being a publicly traded company - they would have to shut down Chrome as well, if it actually were unprofitable/not worthwhile.

And they do have the data needed to actually get a relatively accurate picture of how Chrome affects their bottom lines overall. They know what they are doing, giving it away for free.
I'd rather not see ads for things I may be interested in. Do you see why?
Napi: Build compiled Node.js add-ons in Rust
It sad true that tech would make the world a better place (in some ways). But not because of the infinite goodness and wisdom of the first movers, who happened to entrench themselves at the right moment in time.

The same is true today. Eg LLMs have huge potential. What worries me are the sociopaths who draw the same conclusion.
> Why would you run something else than the latest iOS?

One good reason is that Apple doesn’t support the latest iOS on perfectly good hardware. Other ones could be that the older version takes up less space or that the new version is less useful for some users.

Also, FTA (emphasis added): “Apple has six months to implement sideloading in iOS 17 and potentially older iOS versions”
They didn't debug anything. They just stuck a job queue on it and then rewrote part of it in Rust. That's the point of my comment. Using their code in the post (gist here[1]):

$ pv lol.tsv | node lol.js
1.71GiB 0:00:07 [ 225MiB/s] [================================>] 100%
Finished reading the file.

Do we live in a world where engineers using a mature language like NodeJS with a pretty simple line-by-line file reading process and a string split think they hit a hard wall at 700kb/s, and the problem is not their bad code?

1. https://gist.github.com/orf/92bc26381e3dc00c8e96af262768591b
Just give me a filter to discard the opinions of marvel fans and we're onto something.
Last time I checked, opioids were illegal in the US. Why are you talking like opiates are legal, so the current situation is evidence that legalization is bad? If anything, the current situation with opiates in the US shows ilegalization is not doing much good to the US.

Also, the situation in China (if you are talking about the Opium Wars) are not that straight forward "legal opium bad". In fact, opium was legally consumed for centuries all around the globe. China emperors worried about "opium addiction is bad" so they illegalized it multiple times in 1729, 1799, 1814 and 1831. Opium wars started in 1839, but opium smuggling into China due to the prohibition was already rampant since 1729. It will be like saying that all the problems that arised around the Alcohol Prohibition was actually caused by alcohol and absolutely not caused by the prohibition.

It looks that drug problems are always linked and worsened to some form of prohibition than to drug usage itself, but somehow it is the only logical and obvious solution to drug problems.

Alcohol is worse than heroin (and by definition, way worse than opium) in almost every study (https://en.wikipedia.org/wiki/Heroin#Adverse_effects). Actually, "harm to others" category (i.e. affects society) is specially bad in alcohol. "Social acclimatation" is not a property of alcohol, any substance can be socially accepted (look at these cocaine ads in the 70's https://www.higherperspectives.com/these-cocaine-ads-from-th...), even opium or heroin.
Is this an ad ?
Nope. There are plenty of servers that do push 1 Gbit, my provider has very good peering, and really close to several CDNs.
Yep, even a lot of Western political demagoguery is telling people they have it good compared to some unfortunate others, so that the politicians can avoid having to actually make things better.
> "As much as we like to delude ourselves into thinking that unstructured orgmode text, or even s-expressions, represent the pinnacle of text editing and the acme of scrappy hackerdom, that mantra does come with a significant penalty to performance."

Love this in the context of native SQLite support.
spotify's homescreen does my head in as well. im paying them but they still shove ads in my face. ive been meaning to try spicetify for a while now, it let's you customise the desktop ui so you can probably hide the homescreen completely
FWIW, some tech does make the world a better place. It is just that a lot of this tech does not pay enough to put it on our radars.
Depends on the source.
If the Citizen lab didn't find it, Apple would have not patched it.
Isn't the victim unaware of being drugged when you speak of these "date rape" drugs?

With alcohol you can maybe put more spirits in a drink than you claim. It is not tasteless.