skysight-inc/HackerNews huggingface dataset:
> We have a formal theory of computers and that is why we can construct them in factories.

Formal theories and physical manufacturability are two different things, with no necessary connection with each other. People have been manufacturing tools for thousands of years without having any “formal theory” for them. People were making swords and pots and pans and furniture and carts and chariots long before the concept of “formal theory” had ever been invented. Conversely, one can easily construct formal theories of computers which are formally completely coherent and yet physically impossible to construct (such as Turing machines with oracles, or computers that can execute supertasks).

I’d even question whether formal theories of computation (Turing, Church, etc) were actually that relevant to the development of real world computers. One can imagine an alternate timeline in which computers were developed but theoretical computer science saw far less development as a discipline than in ours. The lack of theoretical development no doubt would have had some practical drawbacks at some point, but they still might have gone a long way without it. I mean, you can do a course in theoretical computer science and have no idea how to actually build a CPU, and conversely you can do a course in computer engineering and actually build a CPU yet have zero idea about what Turing machines or lambda calculus is. The theory actually has far less practical relevance than most theoreticians claim

> The ultimate endpoint of this line of reasoning is complete annihilation of the biosphere and its replacement with factories producing nothing but computers and power plants for shuttling electrons. The people who believe computers are a net positive

A very alarmist take. Personally I am at least open-minded about the possibility of an AI having human-like consciousness/intentionality, at least in theory. But even if we could build such an AI in theory, I’m not sure whether it would be a good idea in practice. And I absolutely am opposed to any proposal to destroy the biological environment and replace it with electronics. Some people may well be purveyors of mind-uploading/simulationist woo, but I’m not. Interesting philosophical speculations but no interest in making them a reality (and I think their actual technological feasibility, if it ever happens at all, is long after we are all dead)
It is standard for web elements. Very easy to set border radius
> And the church didn't even care _that_ much.

They cared enough to put heliocentric books on the index of forbidded books for centuries. Gallileo might have offended the Pope, but the works of Copernicus was also forbidden.
No, that doesn't hold. I'm not addressing that at all. For the previous commenter to be correct, the trend should start with the intervention, which occurred in/around 1900.
Nah? Thats the next MBAs bag.

This MBAs job is to get as many copilot dailyvusers as possible and to do that they need your files in their data orbit.

Remember when dropbox had to tell everone their openai integration wad opt in.

Youre a few MBAs ahead, todays MBA just needs daily copilot users and thats onlyvfeasible with the cloud.
The problem is that once it is widely accepted that death is inevitable, that number will jump up from 45.
Great. Now substitute "the absence of privacy" and listen to how it sounds.
That's not really true.

You can take the subway to JFK -- it's the A train. Or even faster, take the LIRR. For both, you have to transfer to the AirTrain for the last short stretch, but that train brings you directly to each terminal so you'd need to get on it anyways.

And you can take NJ Transit light rail from Penn Station to Newark, it's 3 stops. It's not technically the subway -- but it's better because it goes faster and there are less stops.

LaGuardia is the only airport you can't get to by train -- there was an attempt [1] but it was cancelled last year. But one of the big reasons for cancellation is that it was crazy expensive and you can already get to the airport pretty easily if you're willing to hop on bus connection from the subway or LIRR.

So I'd say the situation isn't that sad. For Newark and JFK it's totally fine, and for LaGuardia you just need to add a bus.

[1] https://en.wikipedia.org/wiki/AirTrain_LaGuardia
I have fanciful thoughts of people who have been in SWE retiring after 15 years of hard work and following financial strategies diligently to leave space for the juniors to fill as they gain more experience. Not happening though.
Dupe: https://news.ycombinator.com/item?id=40772224
> The original is more an allegory about how changing everything about yourself is actually bad than the fairy tale romance that Disney pitche

I thought the main message of the original was "mermaids don't have souls". It doesn't really matter what she does or doesn't do.
I'm a security researcher close to the field of the author. I'm usually very sceptical of what Google is doing.

In this case though, Google really did nothing wrong. They did what they should to protect their users. They didn't know they're interfering with a counter terrorist operation (according to the post), and even if they knew, who knows how many other less commendable operations they disrupted. And who knows who else was using the same vulnerabilities? I'm sure if Google disrupted Chinese or Russian operation the author would be very happy about that.

>However, burning operations, no matter the actor and no matter the reason, demonstrates a grave misunderstanding of the critical role that cyber plays in reducing harm in the world.

I honestly don't understand what the author tries to convey. What about Iranian operations targeting independent journalists? What about Chinese operations against Uyghurs? Is it also not OK to disrupt those? How should Google decide which operations are OK to disrupt? Especially since they don't really have full insight into campaigns.
Julian Assange to plead guilty in deal with US, go free for time served
As always, the problem is people.
Okay, wasn't sure that was the reference thanks.

> If Apple wants to claim their devices are computer replacements, they should be regulated like it.
I appreciate the input. I did not mean to imply I could encode a random stream of symbols/characters, that is absolutely valid. I was approaching this as a compression technique for something like a text file, where the symbol counts are known at compression time.
Well, it depends on what you consider challenging:

Most work in terms of hours spent: compilers (you had to write one from scratch)

Hardest due to inherent difficulty of the material: theory of computation. Turing Machines and the Halting Problem and such weren't too bad (well, duh) but some of the more advanced stuff was pretty challenging, at least to me.

Hardest due to the material being a collection of bizarre recipes and jumping all over the mathematical map: tie between an undergrad numerical methods course and a graduate modeling and simulations course. It wasn't conceptually difficult to write the code, but understanding exactly why it worked was a different story. I've never been good at memorizing stuff unless I understand how it works (advanced statistics suffers from a similar glut of "magic recipes", in my experience).

Edit: the compilers class was the one that's proven to be the most useful over the rest of my life. I've written specialized parsers and so on a bunch of times.

I've never used the stuff from theory of computation again, nor can I imagine that anyone would who wasn't a researcher in that area.

I could see numerical methods being useful if I did a lot of down and dirty work with the physical world, but I mostly haven't done that..
Subscriptions are 15% after the first year. Apps from small developers also pay 15%. Given the prevalence of subscriptions and the large number of indies on the app store, I really doubt 30% is close to the average. At any rate, 15% is still sizable, but it doesn't help the conversation if we are substantially overstating the fee percentage.
So, if you were thinking about using that particular app to read some feed containing something relatively private, guess what, they're reading it too.

Which one? No names were named at any point in this post.
All to sell daily users on copilot
ParaLLM: 1300 Tokens per Second on a MacBook
Very conveniently so, because if anyone ever discovered that so-called "apps" are no different from "software" we would accidentally realize that the iPhone is in fact a computer.
I think most people understood that having step 1 be "know to look up the latest Microsoft account bypass instructions" makes a process very difficult.

If we want to be really pedantic, maybe I should have said "intentionally extremely obscure"—would that phrasing be satisfactory?
I think you are confused about probabilities and realized frequencies. A probability is a before-the-fact model. A realized frequency is an after the fact observation. If you flip a fair coin the probability of heads or tails is 50% but any given single flip will have a frequency of 1 for either heads or tails and 0 for the other. (What is true is that as you flip the coin a very large number of times the actual ratio you will see will approach 50/50 but that's definitely not true for say 8 tosses. This is called the asymptotic equipartition principle but it isn't really relevant here).
And HIPPA, NDA, legal (lawyers storing client info/details), trade secrets, etc. issues.
WikiLeaks founder Julian Assange expected to plead guilty to felony charge
...yes?

Because on Windows, the CLI is used to circumvent the highly smelly patterns that Microsoft puts in your way to force you to act in a way that is financially interesting for them, even though you've paid for their shitty OS already

On Linux, the CLI (in a similar scenario) is used to... install the software. And you can probably use a GUI package manager depending on your distro.

Do you really not see the difference?
It's underrated how great Steve Jobs's taste was, and how sincere the "liberal arts + technology" line is
One factor you may be missing in the prevalence of Isekai/LitRPG/Progression Fantasy novels on RoyalRoad is that the original purpose of the site was to translate Legendary Moonlight Sculptor, a novel about a Virtual Reality MMORPG called Royal Road which was emblematic of the genre. From there, people started publishing fan fiction of the story, then their own similar novels, and more. The audience for the genre never left and is still the largest on the site, even if now there are other genres as well.
> It might be true if their sole diet was wildlife

Cats unfortunately catch and kill prey even when they have enough to eat. Their hunting instincts aren't wired to the feeling of hunger.
ws Node WebSocket affected by DoS when handling a request with many HTTP headers
Agreed. I've had to start being more selective and going to places like Agora Road and the like just to find that subculture flavor once again.

It turns out even the 2000s web 2.0 itself can have an Eternal September, who'd of thought?
Why shit on the group of people who are taking the time to create a viable alternative to the bullshit that Microsoft and Apple try and cram down our throats?

Instead of begging for help, why not be that help for someone else?
Im surprised its. Not forked yet
Assange Agrees to Plead Guilty in Exchange for Release, Ending Standoff With US
Williams College (US school similar to Dartmouth in culture but smaller) had the same requirement for over 100 years. It was removed in 2022 largely out of concern that it had "disparate impact" on non-white students. Now those students are free to graduate without the embarrassment of being taught how to prevent themselves from drowning: https://williamsrecord.com/461123/news/faculty-votes-to-scra....
I'm very happy with my Mac, but... while the key point here is the unasked for enabling of OneDrive...

Untangling synced Docs and Desktop folders between multiple Macs, and trying to revert to something akin to a default and reconcile what is in various folders, not pleasant.
yes, it just sets up a local account
And it is also not a chicken. What does that have to do with suicides increasing in the last 25 years after falling for 50.
> Formal theories and physical manufacturability are two different things

Yes, two different things are two different things. I did not equate them but made the claim that a sequence of operations to construct a chip factory can be specified formally/symbolically and passed on to others who are proficient in interpreting the symbols and executing the instructions for constructing the object corresponding to the symbols. There is no such formal theory for ecology and the biosphere. There is no sequence of operations specified formally/symbolically for reconstructing the biosphere and emergent phenomenon like living organisms.
WikiLeaks founder Julian Assange strikes plea deal with the U.S.
Yeah, that's how it worked previously with taxi medallions. They "worked together as an industry" and medallion owners extorted drivers and it was impossible to get a cab at rush hour and taxis were dirty and reeked of cigarette smoke because there was no competition.

The simple fact is, if you want enough vehicles to meet peak demand, then a lot of those drivers and vehicles aren't needed the rest of the day. That's just economics. It's not a false binary, it's simply how supply and demand works. You either kick a bunch of them off or lower the pay until they a bunch of them kick themselves off.

Or you go back to not meeting demand so that all drivers can work full time, and it once again becomes impossible to get a ride during rush hour.
Surely this has happened with this latest change? It got turned on for my work machine a few months ago and tried to upload some very large modelling files to the cloud. I have to keep that stuff in the root dir now, but most PC users don't even know what the root dir is.
> To me the only part that seems miraculous is that it seems like we can predict novel structures (previously unknown conformations) using small fragments of templates rather than entire protein domains.

Just to add a bit of context: Rosetta’s de novo methods, which had the highest success rates of template-free structure prediction before the arrival of ML-based protocols, use a similar approach. Picking small fragments from protein structure databases reduces the conformational sampling space a lot.
We have lost so much
> towards the immigrant child separation crisis

There was no _crisis_ I’m sorry your media did that to you and the potion of the population they whipped into a frenzy. I still remember the journalists using pictures from the previous administration. Effective propaganda to say the least.
I can't tell you the last time I read a EULA. Probably back when software still came in a box and they put the EULA in said box, and I was stuck on the toilet without any other reading materials.
You are describing an example of how Uber works in your region. That is not how it works in every jurisdiction. Uber often hides information from drivers to prevent them from choosing only profitable rides. Other gig companies do the same thing.
Yeah I don't wish any harm to pigeons but, the cooing... THE COOOING!!#1

At least I don't have head pigeons.
>Like it or not, in the current US Capitalist's Environment (as opposed to some mythical earlier time when corporations were supposed to have some social responsibility), in this current environment, Humans are a Commodity.

Is that supposed to be bad? "Commodity" just means something that could be bought and sold. Is it bad that I can buy people's time, or that I can sell my time? Was it better in communism where you couldn't buy or sell labor because it was all controlled by the state, and you still had to work? https://en.wikipedia.org/wiki/Social_parasitism_(offense)
ResBooker: Effortless Resy Reservations Automated
You might have heard of bots and people using scripts to get those "hard-to-get" restaurant reservations. ResBooker tries to give that tool to everyone.

I developed it for personal use but someone convinced me to make it a chrome extension.

If something appears broken, please leave feedback and I will try to fix it :)
Bill Atkinson wasn’t aware of that feature.

Also, Susan Kare didn’t know about vector graphics. That’s why all her icons ended up pixelated! But it was… quite iconic at the time.
This is the way. I've heard of the idea that you should seek to re-invent/re-evaluate your life every 7-10 years. Things change, you get older and so does everyone else around you. I find that if you don't take time off to do this consciously and willingly, life will force this upon you one way or another. I'd rather do this proactively and I really do believe taking time off is the best way to break "the mirage" and re-think your life.
Can’t tell if “clown” is an incredible typo in the submission or some comment on the owner of the offending platform, but either way I’m all about it
Sadly yes, selling snake oil does seem to work for some people.
Interactive Mandelbrot Set Viewer
Downvoting isn’t censorship. It’s disagreement.

“What about this one C project that hasn’t been a mess of exploitable vulnerabilities” is thoroughly unconvincing in a world where networked C programs are an unending source of severe vulnerabilities.
Companies are not obliged to hire people so they can feed themselves.

More nihilistically/pragmatically, reality is not obliged to ensure humans can live happy lives or even survive.

(And the difference between reality and fantasy is that reality asserts itself even if you don't accept it.)
Someone with a hacker mindset and malicious compliance would be so creative that new laws have to be created just because of what that person did
It's interesting that the article mentions Hans Christian Andersen's “The Little Mermaid” as an example of a story that was “sanitized” by removing the part where Ariel is forced to choose between killing her prince or turning into foam on the waves.

But Andersen's story was itself a sanitized version of Friedrich de la Motte Fouqué's “Undine”, a fairy/morality tale in which a water spirit marries a human knight in order to gain an immortal soul. In that story, her husband ultimately breaks his wedding vows, forcing Undine to kill him, and losing her chance of going to heaven.

Andersen explicitly wrote that he found that ending too depressing, which is why he made up his whole bit about Ariel refusing to kill Prince Erik, and instead of dying, she turned into a spirit of the air, where if she does good deeds for 300 years, she's eventually allowed to go to heaven after all.

Even as a child, it felt like a cop-out to me. But my point was: “The Little Mermaid” is itself a sanitized version of the original novella, adapted to the author's modern sensibilities.
> But I genuinely cannot figure out what Microsoft's vision for Windows 11 is.

I wondered that also, before WSL. After WSL I think they're squeezing every penny out of Windows while preparing to transition to a hybrid OS which over time could become more and more similar to Linux, except for some MS closed source sauce (module, library, driver, ...) that would make some very popular app developed under it not run, or run slower|crippled on real Linux.
Frankly, the more you idiot proof things the ‘better’ they make the idiots.

Life is at your own risk, don’t do anything too stupid.
> "No, there's no way to do that…”

This is the key line to me. It turned out it could be done and in less than a day. Even very smart and talented people sometimes need a jerk to tell them to make it happen. Sometimes it backfires and sometimes it doesn’t.
Whats wrong with debian?
I just discovered the OneDrive path last night. Bought a gaming laptop a couple of months ago. Only use it for gaming. No Office use or anything like that. Uninstalled OneDrive within the first hour of using it. Didn't notice paths for Documents et al were altered until last night when I was trying to fix a minor problem. Despite never agreeing to OneDrive and uninstalling it very shortly after the machine was turned on, all my paths to the preset folders are now \name\OneDrive\.

Found ways to change it. Have no idea if I should. It's currently working and afaik OneDrive isn't slurping any data from it. There's no data to slurp other than savegames anyways.

But it still left a bad taste. I think my laptop is well supported by the major distros. I already know my favorite games work on Linux thanks to my Steam Deck. Having a strong urge to just abandon Windows for good.
Any sign of the latest draft they're referring to? I didn't see a link in the post. The May 23 Innovation-Data-Commerce markup?

I'd be interested to see what kind of non-discrimination provision was removed. A rule against discriminating against people for exercising their privacy rights, like we see in the California Consumer Privacy Act, GDPR, &c.? Or a more general, civil rights-style prohibition, perhaps incorporating a list of protected classes?

They mention the new draft could be weaker than state laws it would preempt. I take it that's most likely a reference to California law. But it comes after discussion of a loophole they see for on-device data, not the part of about non-discrimination.

It makes sense for a civil rights organization to want strong nondiscrimination language in a federal privacy bill. But I'm not sure we've seen those bundled in one law and passed before. We have with AI-specific legislation. If the APRA is turning into more of an Omnibus Big Tech Bad Behavior bill, AI regs included, that might make political sense.
When jobs are lost in manufacturing/mining/etc it's efficiency. When it happens in tech it's time for socialism?

Maybe as a society we could amp up the empathy a little bit and the 90-99% could stand together instead of getting picked off industry by industry?
> GPT-4 is able to do Leetcode with well over 90% accuracy, and all you have to do is give it a screenshot of the question.

This is true in the way that Google Search is able to solve Leetcode problems.

GPT-4 struggles with even simple real world codebases.
Can someone explain the technical detail a bit more detailed than on Folklore...?
I assume that every EULA basically says, “we can do whatever we want and there’s nothing you can do about it. Also, fuck you. Also, you’re ugly.”
Which edition? The first edition wasn't even available in English until relatively recently, and they went through continuous change. The first editions weren't even meant to be suitable for children at the time, so it's kind of weird to insist that that's the version that kids need today.

This recent translation means English readers probably have better access to the original Grimm tales than they ever had before! Which is of course a good thing. Obviously the originals are in the public domain and aren't going anywhere, and so are lots of older 19th century English translations, presumably with varying degrees of fidelity. Nothing's being hidden from anyone; "actually the original Grimms' stories were pretty dark" is a factoid that is pretty widely known these days, I think?

But anyway, the article supposes that specifically kids should be exposed to the earliest, least expurgated versions of the story possible, which is very odd. Even in the 19th century people thought these stories were too dark for kids, which is why there was commercial success in selling shorter, lighter, more family-friendly versions, which the Grimms did. I don't think these stories would be awful for a bright 12 year old to read or anything, but the implication throughout is that these were considered kid-friendly in the past, which they weren't, at least in their original versions.

https://www.theguardian.com/books/2014/nov/12/grimm-brothers...
Why do you assume these decisions are made below c suite level?
That's literally the original iPhone sales model.

Early iPhones were sold only on special "iPhone plans", not because "special unlimited internet" (at least once iPhone 3G landed for sale outside USA and its shitty telecom market), but because there was a percentage paid from the plan to Apple.