skysight-inc/HackerNews huggingface dataset:
It doesn't. Indeed, when it comes to libc and other system libraries (or really most C libraries in general), the Rust ecosystem relies on hardcoding the ABI of every supported platform. It's theoretically possible to use bindgen (which parses C headers) as a build step, but this is rarely done.
Geniune question: Can you name any complex software that is written in pure functions?

This is not a "discussion" question, but a "fill my blind spot" question.

I always read how good FP is, and how much better it handles all the complexity. Yet I never see it win from software written with state.

Is there any big and/or complex sofware written in FP that I am overlooking?
Yeah, that intro to Dark City was a crime against the audience. And honestly I think it was really shortsighted/cowardly of the studio. If you look at two movies that came just a year later, The Matrix and Sixth Sense, a big surprise reveal was central to both of their appeal. And this shouldn't have been a surprise to the studios... the twist in The Usual Suspects came half a decade earlier, not to mention Empire Strikes Back.

My second least favorite thing studios do is cut the trailer in a way that makes the movie seem totally different or even a totally different genre.

Aside: a friend gave me the Sixth Sense dvd as a birthday gift one year, which I had yet to see, and my idiot roommate at that time was in the room couldn't restrain himself from trying to cleverly address my friend in a way that communicated he knew the twist. Except he'd never touched on clever in his life and gave it away instantly. Nice one Paul. Nice one.
Illegal memes. Finally. Illegal Pepe will be the crowning jewel of my rare Pepe collection.
> I find it hard to believe this strategy works with any kind of long term horizon.

You are correct, to an extent.

It breaks when the stocks in question continue to go down. I happen to be a really conservative investor (I tend buy and hold, never got into the whole day trading thing during the dot com rush). Given that each 'up' blip was essentially a 10% gain on my investment (approximately) the cash gain would be banked[1] when it sold and there was a 20% stop loss[2] sale as well. But with a very cyclical stocks the returns were pretty steady.

I added the stop loss after I found myself holding stock that just became more and more worthless after the dot com crash. (when you buy on the dip and the dip keeps right on going :-). It is also the reason I had Agilent stock for a while in that I was holding HP stock when they spun off Agilent, the HP sold when it continued to tank and there were no instructions on the Agilent. So between 1990 and 2005 when I had this in place I think the annual rate of return on that part of my portfolio was about 8%? The crash wiped out a lot of gains that took a while to undo (I think if I had sold off what I was holding in 2001 it would have been like 2% annualized gain over the 10 years.

Note, I have never been, nor aspired to be, an "elite" trader. It was in 1990 when I had about $1500 in my brokerage account that was just sitting there in cash and I wanted to something more interesting with it than put it into a bank CD. Hence my foray into "algorithmic" trading :-).

[1] That cash was taken out of the pool, it wouldn't be re-invested on the next dip.

[2] Stop loss -- a 'good til cancelled order to sell a stock at the market price if it's price falls below a set value.
There's a manual (with the tomato picture) in the 7z file here: https://dl-alt1.winworldpc.com/Dan%20Bricklins%20Demo%20II%2...
Yeah, I was on the team that came up with GoKart and one of the main motivating factors was that gosec is just waay too noisy to be useful
Regulated by settlements over this specific allegation lmao

Consumers are only protected by people pointing this out over and over again
>"Based on a true story" is not what makes a film plausible to us

It wasn't the only thing that made Fargo seem plausible.

But it permitted people to suspend disbelief, because it was enough like a weird news story.

Saying the same thing about Raising Arizona wouldn't make it realistic, granted.

And it isn't license to tell any story that is true, no matter how unbelievable.

>You've misunderstood what Nicola Morgan is talking about, in that quote.

That quote was from the TV tropes link. I don't think I misunderstood it. I acknowledge the "job" you state. My point, or a point, was, that Lynch appeared to be complaining about doing that fundamental job.

If you want to be pedantic, better to tell me something about Lynch, because I have only read about him.
A Library Demand List
I have wondered about a file format where a parser could be specified for [at the start of] each line. You could even have different json parsers with different well-characterized limits and relative speeds. Formats could change over time on a line-by-line basis, without being locked into a full-file IDL or similar.
The conclusion is really incoherent: the author is promoting the standard line that splitting up Big Tech would be great, and that it should be harder to ban people with "bad politics" from the system. But then he wants the Taliban banned from all the now-more-fragmented systems!

The US has a reasonable chance of arm twisting messaging providers into banning the Taliban if there's only a few of them and they're hosted in the US. In a federated system they'd just have their own one or use a popular one from a non US country.

Not to mention the difficulty of deciding who's a Taliban (to be banned regardless of content) and who's an American (allowed to organize an insurgency in public because that's free speech).

I guess we're going to see a lot of misplaced blame over the next decade, just how Jane Fonda lost Vietnam.
Currently, it is 0.78% of the assets under management.
Problem is Google does this when I search for a very specific, weird error message too, in which case I actually mean that specific weird error message.

I've lost a few hours to Google trying to outsmart me and it is maddening: not only do I waste hours but it is not given that I find the magic incantation that gives me the answer.

DuckDuckGo.com is getting better lately but is not stable. Lately I've also started using metager.org which has seemed promising so far.
True, but if the product was to fail they'd at least have one asset that they could recoup some money from.

(Not that I think they'll fail, it looks very impressive so far).
> I actually don’t worry about my kids’ futures at all. They will excel in whatever it is they choose to do. But it has nothing to do with their grades or schooling. I can see that they have a strong work ethic, they are kind, have high emotional intelligence, and good leadership and social skills. These are things they learned from family, church, athletics, activities and video games (yes, video games).

So, dean HNers, don't worry about STEM. No need to train engineering, look into physics, think over math - no hard subjects required to get successful in the world. Just kindness and good leadership. Onwards, Jameses Kirks... wait a minute, Kirk was able to reprogram the simulation. Never mind then.
Design Without a Designer
Rust does support a surprisingly deep set of platforms, but it achieves this by baking platform-specific knowledge into Rust itself. See for example how it finds errno, it's just a big list of special cases. It is pleasant to not need the configure scripts, but a downside is that no new platform can participate without first patching Rust.

https://doc.rust-lang.org/src/std/sys/unix/os.rs.html#38
Those services will take your account through the same, if not more invasive, process if you are found with a hash match like the ones being proposed in these comments. Unlike Apple, they’ve built interfaces that surface all your account activity to reviewers.
Those are two almost identical images based off each other.

I know that that "think of the children" is a meme, but I think this illustrates the point for apple. If you have a croped or modified image of CSA the system will identify it. As long as your image is different enough from CSA, you are safe.

The point here is that Apple is specifically looking for matches against known CSA material.

If someone can demonstrate that a legal NSFW image (eg. regular old-fashioned pornography), can be collided with a legal, completely 100% SFW image then I'll be concerned.

But until then, this looks like a reasonable and supportable way for finding CSAM in real time.
... and "I'll save this picture of an hilarious kitten to my photo collection"...

Fixed it for you.

The image to be saved doesn't have to be disturbing at all to trigger a hash collision.

The linked repo has code to modify an image to generate a hash collision with another unrelated image.

That's the whole point.
I'm so glad there are people that are much more creative than you would have the world be, and I'm so glad there is push back on the creatives from just going nuts. However, I never want to live in a world where you're the winning voice in website design. So boring because of some electrons getting annoyed? Good text treatments lend itself to good graphic design. Just because you don't like it doesn't mean the rest of the world should suffer without it. I lived through web1.0, and I'm happy we can finally do things like have different fonts. If we could only get pages to flow just like in Illustrator or InDesign or Quark or whatever, that would be so much better. Instead, we have to live with sticty strict stricts like you fighting to keep things in blocks of boringness.

If you're worried about 3rd party fonts, then force the team to self-host the fonts. If the chosen fonts are not to the end user's liking, they can always override (if they are nerdy enough to know how). Just because lazy devs use 3rd party dosn't mean the baby has to be thrown out with the bath water.
We're not quite at a point where we could re-bootstrap all industrial technology using only renewable energy and recycled materials, but that might be achievable some time this century.

It would be nice if every machine more than 50 years old had to have its manufacturing (and testing) instructions released, even if the resultant tech-tree ends up being quite unwieldy.
What are trying to prove here? It takes a human not noticing that a glitchy image of cat is not the same as picture of dog, 30 times.

Yea collisions are technically, possible. Apple has accounted for that. What is your point?

Hashes are at the core of a lot of tech, and collisions are way easier and more likely to happen in those in many cases, but suddenly this is an issue for ya'll?
I'm sure you guys started at that point and realized it was not possible because the banks didn't offer it, didn't understand why, and didn't care about you

And now after you made your solution and gained traction with many fintech apps, the timeline was accelerated by FTC settlements

But don't get the order twisted, you're trying to plai us.
What is the factual basis for you to doubt that?
Shouldn't the E2EE apple walled-garden app equivalent of wiretapping be pushing an app update to the suspect's phone with a sidechannel added for law enforcement to snoop, with warrant in hand?
Ask HN: Why do Facebook and Instagram links destroy history with window.close()?
I started noticing this and thought I must be going crazy, but now anytime you follow a link to facebook or instagram (for instance, social media icons on business' websites), firefox will navigate to the link, then open a new tab while closing the old one.

Chrome avoids this, and if I try typing close() in the inspector I get a message "Scripts may close only the windows that were opened by it." which sounds like a good security feature so someone's scripts don't go closing my tabs and disappearing my back-button/history with it!

Of course I can CTRL-SHIFT-T to open the recently destroyed tab. Is this some kind of bug or does this serve a purpose?
The US Postal Service operated a telegraph service more than thirty years before Marconi was born. The US government subsequently funded the first undersea cables, and then the first transcontinental telegraph line. This was all before Marconi was born.

During the American civil war, the North's US Military Telegraph Corp ran 15,000 miles of cable.

Additionally, Marconi didn't invent the telegraph, he invented the radio telegraph.
>Attack me! Attack me! I want to retire.

If you post your whatsapp address, I'm sure someone will oblige.
This doesn't appear to be all that "modern": it doesn't support string_view for lookup without extra allocations, and it doesn't support unordered_map (or even use it as the default) for objects.

It seems they're targeting C++11?
> how long until they start scanning a device's framebuffer in realtime?

Some smart TVs do automated content recognition so the manufacturers can spy on what you're watching and sell the data to the highest bidders.
If you can prove you didn't do a crime, seems like pointing out why is going to be in your best interest if the fuzz comes calling. Remaining silent is sure a good idea generally, but this seems like one of the rare cases where I don't see the point.
"Crank out" was supposed to imply optimizing the short-term. Ensuring your next sprint has the most output as possible.

If you choose an FP language like Haskell, you tend to value things beyond that. Stability, engineering culture, retention, big rate, the ability to extend things for cheap only because you did the hard part of using Haskell to begin with, etc

It's just throughput vs latency
five bucks sez it's to do with engagement metrics
So some good finally came from that TD lawsuit. The last time I saw a Plaid login in a service I use, it was a definite phishing screen. It's good that you have moved away from phishing people, but it doesn't change the fact that a) you phished them for years, and b) you still do not in any way warn them that if they use your service it 'voids the warranty', so if their account gets hacked (not necessarily through Plaid), they will be SOL.
Thanks for linking to textbeat! :)
Various classical optimization problems are just pure functions. The sorts of things used all over the place in industry (supply chain ops for instance)

If you want real production software, Starbucks Rewards is/was powered entirely by pure Haskell code and made big bucks

Software having complex state actually makes Haskell even better than the competition. Because most state has nuanced rules about its state transitions.

Haskell definitely has more of a learning curve when it comes to dealing with state, but that curve will guide you towards a ceiling mainstream languages can't even approximate.
They are scanning files that are being uploaded. So, yes.
>if something goes wrong and Plaid loses my money somehow, is there any recourse

Wait, you mean you don't read and understand every word of every legal agreement you accede to??

Ok, well, as a responsible consumer, have you considered keeping a lawyer on retainer?
Microsoft and Google already scan all files uploaded to them regardless of your preferences.
The State Department Has Abandoned Its CH-46 Helicopters in Afghanistan
I think a key element for any potential replacement of CSV is parser simplicity. Writing a basic CSV parser by hand is not very difficult (i.e. ignoring stuff like escaped characters and quotes) compared to writing a SQLite parser. Regardless if it is binary or not, it should be possible to print out a usable grammar on a single sheet of grammar and said grammar should be LL(1) so at most you would need to write a recursive descent parser.

Suppose someone wants to do some data processing client side in the browser with an input file. How would you do this for SQLite, even a SQLite file with a known schema such as would be the case most of the time for CSV file uploads? There is sql.js which compiles SQLite to JS or WASM, but even the WASM version weighs in around 400kb.
Possible avoidance of being told how they have to do it later.

They will have to do it either way, and they the fact they are even telling how us they plan to do it is more than we can say for every other cloud services.

This is better than all alternatives at this point. Like it or not. If you don't like, you might need to get up to speed on what other services you may already be using are doing.
https://www.facebook.com/chris.jacke.13/ for the curious.
+1
After learning OCaml & experiencing algebraic data types and pattern matching, writing in other languages just makes me want to switch to OCaml
Then it boggles your mind that Go functions the way most popular languages work. You don't see so much dunking on Python, Java, Clojure, Ruby, &c, over this, even though these languages dominate the leaderboards.

Which is fine, except that this is probably the second-most boring critique of Go, one virtually everyone has heard before, and it has little if anything to do with the story we're actually commenting on, despite having spawned a huge thread about option types.

If GoKart had been my project, I'd be annoyed.
> they knew it wasn't legal

Who knew what wasn't legal? I don't think anyone is doing anything illegal here?
> will probably produce a net loss over time unless you happen to be incredibly lucky

"Buying tech stocks" is probably the lucky bit. If the stocks are cyclic but there is a upward trend it probably works pretty well.
Huge fan of Screenhero back in the day so I'm happy this is back and you have full control over pop.com's future.
So can we get rid of the surveillance crap now? Since it didn't work.
I suppose if I was to recommend some "safe long-term storage formats" I, too, would choose things that are readable in plain ASCII and/or have open source roots.

Shoutout to the Library of Congress for doing the real heavy lifting here?
Well, "breakthrough inventions" are mostly funded by the government, whether military or academic.

Silicon Valley's origin is closely tied to the military for example.

All aviation either had military R&D funding, or they were an early customer (true for most of your examples: the Wright Brothers, and rocket and jet engines in your example. Transistor production was scaled up for the US military.)

Incremental advancements and commercial production are very capitalistic though.

What patent lawyers do say is that companies do invention, not individuals, which is pretty accurate these days.

The reason you're hearing anti-capitalist rhetoric these days is that young people hope a Marxist government will forgive their student loans. We now have a Marxist government, but they've resisted that so far.

Most young people don't even know what capitalism or Marxism are, or why Marxism has failed everywhere that it was tried.
I understand your point and it is widely applicable, but the other side of that coin is studying topics others choose for you so you can repeat the answers they expect is deeply uncool.
CALEA has a carve out for encryption. I’m sure when E2EE is about to be deployed to the masses the law will be updated to force key escrow.
I haven't used Plaid, but how is this different from Mint or Quicken that have been around for years?
Scaling NestJS and Boardgame.io Horizontally
Why Robert Burton’s masterpiece speaks to our pandemic age
For sure hacker news is pretty light weight, but it also seems they didn't feel any pressure to use AMP (and also have historically not cared about SEO).
v-lang ?
https://vlang.io/
This. Facebook has a proven track record of saying whatever the hell people want to hear to feel good about Facebook. To say nothing of the fact that this report seems to omit ad views and those are occupying an increasingly large portion of peoples' feeds
You seem to be assuming a human cannot tell the difference from some random NSFW content, and some legit known CSAM, 30 times. Try again.
Only according to Marx. Tons of socialists strongly disagree with Marx.

But even if they agree, the proletariat is not a few people.
> Unlike Apple, they’ve built interfaces that surface all your account activity to reviewers.

You can't know this without independent audits.
This HN post was quite timely as I don't often need to remote control (usually screen sharing is fine) but there was definitely a case today.

One weird thing: Every key typed was doubled. So I'd type one "m" and on the remote screen would get "mm" in the input field.

I'm on Linux (Arch) and the other end was Windows 10.

Other than that, it was VERY smooth and my colleague was quite impressed. He is planning to use to for parental tech support!
An interesting question. I was a Technical Director at NetApp which isn't a corporate officer (that is VP and above), and wasn't an identified insider (there are forms to file for that). NetApp had a policy against employees trading stock during "blackout" periods (typically two weeks before and two weeks after the earnings announcement) but were okay with and knew about my 'programmed' trades.

I think the SEC could have probably made a case that it was possible for me to know that NetApp's results were going to be better than the street expected (I didn't know that but I did know we weren't hurting like EMC was). And the money involved was small. I expect it was the timing more than the amount that triggered their call.

I was surprised I didn't hear from NetApp's general counsel at the time (I'm sure they were notified).

So if I said nothing? That would probably trigger a closer inspection. Sure its my right to not speak to them, but doing so would have probably made them more suspicious. And frankly, I have seen so many times when people trying to be "tricky" got into more trouble than if they had just been open with what was what that I have rarely felt tempted to push back on that sort of thing.
I heard the acronym was "multi undergraduate destroyer" although I'm thankful I dodged that bullet only to get taken out by working too much at my "part time" job :-/
Fair enough.

There are a couple things that are nagging me though: 1) Apple has loads of legalese for each and every feature and 2) it sounds like they could just cut all that down to two points that you cited and be golden.

I definitely see your point and I guess we can leave it at that until a lawyer can explain this...
So that you are able to bypass the manual reviews. It still looks like CSAM, but it isn't.
What else is there, when the bank doesn't provide an API & the ability to do something proper, like OAuth2?
I've personally found it really good, probably better than Haskell. Not Go level though I imagine.
When end-to-end encryption is done correctly, the answer is "we literally can't access it" as a matter of mathematics, whether the state accepts it or not.

A state that does not accept it might retaliate against the entity giving that answer or forbid future use of end-to-end encryption without backdoors, but the truth of the answer doesn't depend on anyone's acceptance.
This reminds me of how the Chinese figured out that a laser could burn through the glass and ablate the glue holding the backs on the newer iPhones, allowing them to be replaced far more easily.
Starlink satellites responsible for over half of close encounters in orbit
It's well known that there are also videos. So these criminals won't be caught watching them.
Ten Years of Chess Innovation. (2020)