skysight-inc/HackerNews huggingface dataset:
Hah, I was going to post the same quote when I read the parent comment. Glad to see I'm not the only grump who remembers TDR quotes.

But he's right. And with the endless stream of leaky CPUs and memory (spectre, rowhammer, etc) he's even more right now than he was 17 years ago.

There are all kinds of things being done to mitigate multi-tenant security risks in the Confidential Computing space (with Trusted Execution Environments, Homomorphic Encryption, or even Secure Multiparty Computation), but these are all incredibly complex and largely bolted on to an insecure base.

It's just really, *really*, hard to make something non-trivial fully secure. "It depends on your threat model" used to be a valid statement, but with everyone running all of their code on top of basically 3 platforms owned by megacorps, I'm not sure even that is true anymore.
That is a great point, the things I value most from my time in FIRST are the friendships, connections, and soft skills I built. The engineering is fun, but I definitely use my teamwork, leadership, research, and presentation experience more on a regular basis.

Additionally to the OP, if you want this to be something that you and your kid do together, you can volunteer as a mentor for the team if your schedules align. You can have a very large impact beyond just your kid by doing so.
I agree, that you've pointed it out to me makes it obvious that this is not the norm, and we should celebrate this.

I'm reminded of Casey Muratori's rant on Visual Studio; a program that largely feels like it hasn't changed much but clearly has regressed in performance massively; https://www.youtube.com/watch?v=GC-0tCy4P1U
A version, or two, ago they've introduced their own rating system where you can thumb's up/down certain criteria (which elude me, right now. but, of the "ambiance", "food quality", "service", etc. variety). So, I imagine they're looking to ween off of Yelp for their rating's system.
If the OSI members wanted to "clarify the terminology" in a way that permitted them (and you) to exclude others, trademark law would have absolutely been the correct way to do that. It's too late, however. The ship has sailed.

Come up with a new term and trademark that, and heck, I'll help you out with a legal fund donation when Facebook and friends inevitably try to appropriate it. Apart from that, you've fought the good fight and done what you could. Let it go.
> I never suggested anyone will/should die for my convenience.

And I didn't suggest that you did.

What I was trying to say is, if you (some "you", not you username tracker1) advocate for clearing out the encampments but don't have a clear idea of where they're actually going to go, you're going to be unpleasantly surprised by what happens.

Note the word "actually". Not what you want them to do in some idealized world. What the actual homeless people we have are going to actually do.
Calva is way better than Alive, currently. It pretty much does everything you need.
> How would a business like this get started?

The one I know, it just started out with some people who were all equal co-owners. When a new employee joins, they get the same share as everyone else. When someone leaves, they lose their share. Shares can't be sold, everyone has the same amount. It's a cooperative.
I live about a dozen miles from the Googleplex in the Santa Cruz Mountains and Apple Maps has roads all around me that do not exist: at best jeep trails but mostly logging roads from 150 years ago that are nothing but forest today, barely hiking trails at this point. Apple Maps is a joke outside of major cities and has been since its debut.
Which is exactly what the smoking lobby said for 20 years
Uber, Lyft, DoorDash Prevail in California Gig-Worker Ruling
Prewar Poland was a military dictatorship(mild but was) in the permanent state of crisis, on a brink of a civil war with all of its minorities. And it is a wild take to blame communists for the nazi atrocities.

But communist solved most of the problems that prewar Poland would have problem of solving. Yeah Polish tech was amazing especially if you consider the resources
Instead of a cap, I'd like to see merchants able to add interchange fee as a line item such that paying Cash, or whatever form of payment, and effectively let the consumer opt out CC fees.
Yeah, one of the most notable thing about the HCOL US areas is that service employees are paid very well. By comparison, in India, 15 minute delivery at 3 AM costs relatively nothing.
Many people use macros as a poor man's inliner, to generate code in a way that adds no benefits over a good compiler.

You rarely actually need syntactic abstractions, but when you do you need macros.
If they're literally the same MP3s, it's because modern software sucks. You can still play them with mpg123 with an immeasurably low cpu load.
It necessarily has a unit of account, but you can undertake all kinds of transactions under a credit system with nobody involved exchanging, or intending to exchange, that actual thing (silver coins, goats, bails of flax, abstract “favors”, whatever)
Government of Edward Gierek had no problem with buying foreign licenses for products which required western components so it was not a problem.
5th Circuit court upends FCC Universal Service Fund, ruling it an illegal tax
no, search is not extrapolation. Extrapolation means taking some data and projecting out beyond the limits of that data. For example, if my bank account had $10 today and $20 tomorrow, then I can extrapolate and say it might have $30 the day after tomorrow. Interpolation means taking some data and inferring the gaps of that data. For example, if I had $10 today and $30 the day after tomorrow, I can interpolate and say I probably had $20 tomorrow.

Search is different from either of those things, it's when you have a target and a collection of other things, and are trying to find the target in that collection.
> we want the labor market to not be skewed like this, we will need to allow (and even force) laborers to unionize.

We already allow workers to unionize; a practice with which I don't agree. If we were to force workers to unionize, then we take away worker atonomy. I fail to see that as a benefit.

I don't have anything against unions generally and am happy for companies to decide they will exclusively deal with unions to reduce their costs of negotiations, but I absolutely do have a problem with laws saying employees can decide to take away atonomy from their employer and force their employer to negotiate only with a union.
CSS Grid Areas
On the back-end application level programming side:

* Look for O(N^X), that is nested loops even when they are not necessarily expressed as loops on the language level.

* If possible, get rid of ORMs in favor of raw SQL. Not because ORMs are very bad but because almost nobody bothers to learn them; they often start causing issues with any non-trivial amount of load.

* Study data access patterns and figure out where and what composite indexes might help. I am saying composite indexes because I assume regular indexes are more or less always there, often even too many of them.

Especially with the last one I have achieved impressive results without any kind of impressive effort, just setting aside some time to understand the code.
> To be maximally charitable

Yet you proceed to build a strawman.

I want the freedom to exchange my services for money without having to care about all the bullshit ownership ensues.

It takes a sociopath to conclude that idea is somehow equivalent to being stabbed or sending children to mines.
i don't know if Google was primarily responsible for pushing for it before (after all Firefox has ALREADY gone further than Chrome on this?), but I'm no expert in the history.

When w3.org wrote that statement after they threw in the towel, it seems bizarre to me to suggest they wrote that statement only to do Google's bidding?
Yes. (any cultures that have a purely lunar calendar could do away with all the date fiddling? but then again, I guess they'd just know when the next full moon would be...)

[If that constant is only a minute off, it ought to be good for a few centuries more, and I'm not planning on being around longer than decades, so probably good enough for my purposes.]
Evolution of the Italian pasta: the first steps toward scientific classification
Woah, that’s bad. I live on the same coast so I’ve never experienced that. They’ve gotten better at discovery, but it’s far from what Spotify has.
Arch is a gateway drug to NixOS
This might give some background; the FHA is mentioned quite often : https://www.history.com/news/housing-segregation-new-deal-pr...
There are many/most of us for whom getting bulky/heavy consumables aren't even on the radar but they certainly are for some.
Oops. Updated to be less wrong.
"Free markets" and "planned economies" don't encompass the breadth of possibilities of organisation of politics and economics. Case in point: TFA...

This post is precisely about a free market economy where the (imo unnatural) disconnect between working in an enterprise and owning the products of that enterprise doesn't exist. That's all.

Not sure what "command economy" has to do with it.
Cool! Related to code bubbles: https://dl.acm.org/doi/abs/10.1145/1753326.1753706
You could probably get away with just forbidding software license agreements that disclaim liability for any and every kind of negligent stupidity.
Amusingly does not work for safari on iPhone. Ok ok I have the maps app and that’s what they want me to use but if I am on mobile now and I want to click to check it out right now… well, maybe I won’t come back to try it later, guys??

Feels a little like they rushed it to meet some Q3 launch timeline?
no I don't use the Echo. but I was not playing devil's advocate. I was just arguing against some people's statements on the basis of logic as I see it. do you think there is anything wrong with doing that? I see it happening on hn all the time. and I think it is the only basis for rational discussion. otherwise what should we go on, emotions?
those have their place, but I think are out of place in debates.
What amazes me that none of this is surprising, all this behavior (not just what's described in the post) is on par with what the companies are doing, and have been doing for decades... And yet there will be many people, including here on HN, who will just cheer these companies on because they spit out an "opensource model" or a 10-dollars-a-month subscription
If you've ever gone outside in certain parts of the world, there are many humans who treat other humans like animals. It's sad and cruel, but true. Pretty sure I know what they would choose.

That being said, I hope that eventually, we will grow up as a species.
I think mathematicians will still care
I can't imagine how it would be possible to do it any other way for a flash storage device.

A mechanical hard drive could at least theoretically have a physical lock attached to the drive head which prevents it from approaching the platters if it is engaged.
Olympics: New Zealand report Canada for flying drone to record training
Oh nooooo, this is MacOS only? This is amazing and I need this so badly.
The cool part of Napster (and the value added by the p2p architecture) was that it let you decouple the problem of delivering songs on the computer from the much more difficult problem of having to license them.
Coops work where they work and don't where they don't. Mutual insurance coops also have to fight traditional banks and single-owner insurers and they do just fine. State Farm is huge. Co-ops are just not good at some kinds of markets and so they lose there.
The original title for this article is "North Korean hacker got hired by US security vendor, immediately loaded malware"
Do you plan on adding an API? I already have an inhouse knowledge discovery, annotation and search system that could be augmented by your service. Not super critical at this point, but a would be nice.

And yes, Semantic Scholar is a wonderful part of the academic commons. Fingers crossed they don't go down the jstor/oclc path.
The legendary Ryan dahl is actually working on solving the exact problem you described by creating a new package registry called JSR.

Essentially what it does is allow you to upload your typescript code without a build step so when other devs install it they can see the source code of the module in it's original typescript instead of transpiled JavaScript.
beanstalkd might be what you are looking for. It's ancient but solid af. I know of systems still running today that use it. For something more modern, check out Nats—and if you are using Go, you can embed the server in your executable.
A User’s Guide to Statistical Inference and Regression
Sam Altman doesn't interact with far right German politicians. Unlike Musk who does this regularly.
Best we can do then is keep ourselves up to date and give our support!
This fits my mental model when coding so well. I love it!
I would argue that no actually searchable solution space is really infinite (if only because infinite turing machines can't exist). Finite solution spaces can get more than large enough to be intractable.
They didn't formalize the entirety of math. Good thing imo doesn't need the entirety. But they didn't even formalize enough for imo--this is probably why combo wasn't solved
The case you're outlining (an uefi rootkit) is pretty much the worst case; assuming you get infected by some malware which decides to install a malicious firmware (BIOS update), then pretty much nothing is getting in the way of that.

What secureboot is designed to prevent is malicious changes to the OS bootloader (a conventional rootkit), which is usually shimx64.efi or grubx64.efi on linux/dualboot machines, or bootmgfw.efi on windows. Secureboot checks the signature of .efi files before they're allowed to run during boot, ensuring they were signed by one of the trusted keys. And unless you've made changes to your secureboot config, that means microsoft and/or the hardware vendor.
Cambodia's Huione Guarantee Enables Global Scams Worth $11B: Report
Any time you're reinstalling the OS and suspect the old OS had malware.

Or if you want to make it simpler, any time you're reinstalling the OS.
I also think humans are bad at math. And that we are probably better at IRL but maybe IRL has more data anyway
The next logical step from assigned seating is a per-seat pricing model based off of algorithmically determined desirability.
Then what does desired mean? Is that haven't used it but want to? The cleverness of the alliteration is not even close to worth the confusion this causes every year.
It might be interesting why he does not mention the EU AI Act or the GDPR (Meta doesn't like it and withdraw their model from the EU market). Draw your conclusion here.
> Of course, that fee doesn't show up directly on your bill. But you still pay ultimately it.

Unless I’m charged a lower cash price vs a higher credit card price, no, I’m not really ultimately paying it. You may be correct at a macro level but I’m looking at it from a practical standpoint.

When a merchant does charge a lower cash price, I make a real time judgement call to pay in cash or use card.
100% I believe this is the most common pitfall that I've seen. Long-term thinking is an acquired skill when it comes to engineering good solutions. Unfortunately after (sometimes) years of over-engineering solutions in your career, the "a-ha" is that you definitely wasted your time and worse: often made iteration based on actual requirements slower by creating flexibility in one preconceived way, whilst adding rigidity in many others. KISS gets you real far
Toddle the collaborative programming platform is soon open-source
Techinically yes. And it's easy. You can probably do it with your PC's computational power.

The thing is that most math "problems" are not solved not becasue they're hard, but because they're not interesting enough to even be discovered by humans.
The last example in the paper with the boy and girl definitely have faking a girlfriend vibes.
I'm not sure what stop caring really means - like stop caring about the result, or the implications?
So it’s a more fancy/cpu intensive neovim without the learning curve?

I don’t know, looks cool. But seems like it would get annoying after a period of time. Too much dependency on a mouse for me.
No, it does work. Just go to a sub-directory. I can access via Firefox.

https://beta.maps.apple.com/asd as an example.
> A small detail wasn't clear to me: for these incorrectly formalized problems, how do they get the correct answer as ground truth for training? Have a human to manually solve them?

Formal proofs can be mechanically checked if it's correct or not. We just don't know what's the answer. Think it as an extremely rigorous type system that typically requires really long type annotations, like annotation itself is a complex program. So if AlphaProof happens to generate a proof that passes this checker, we know that it's correct.
I am so sorry! Our immediate next priority is to get this on Linux and Windows. May I ask which OS you use so we can get it done now?
Better late than never. “The actual user of the PC — someone who can do anything they want — is the enemy.” (Intel, 1999)¹

¹ https://www.zdnet.com/article/the-biggest-security-threat-yo...
If you don’t have time to join a league, you can buy Spike Prime sets directly. It comes with hour-long lessons that you can walk through at your own pace. It’s been excellent for my 7 year old, she has no problem with it.

https://education.lego.com/en-us/products/lego-education-spi...
Reverse engineering Java is cool as well, especially fishy Android apps which control some appliances via byzantine Bluetooth protocols.
Thank you guys. Totally agree, I think it's quite important to note that it's a "virtual" receptionist, so people know it's an AI.
Do they actually have those capabilities, or does it just seem like they do because they're very good calculators?
I think one of the hardest things about voice AI is being able to gracefully modulate between styles of input/output delay. In actual technical conversations sometimes it is appropriate to patiently wait for someone to ask a very difficult question with delays in speech, and sometimes it is appropriate to interrupt regularly and ask brief pointed questions that require one-word answers, and everywhere in between. I'm really looking forward to having that kind of interchange with an LLM.
I think this is kinda false actually on the cancer side. We have reached a point where we have known approaches that work. It's "just" a matter of putting them into practice which will of course require solving many little details, which is very important and time-consuming work, but it doesn't require super-human genius level of lateral thinking, just a few millions man years of grinding away at it.
Yeah bubbles are awesome! I like the minimap concept especially.
This is 1984 level of bullshit. "War is peace, murdering innocent people and annexing countries is benevolent".

> [Stalin] essentially de-partitioned Poland

Are you even aware that Poland existed before WW2? There was no need to "de-" partition it if you just kept your hands to yourself. It was Hitler and Stalin who partitioned it in the first place.

And even in strictly technical terms - Poland was in one piece after 1941 because Germans took it over from soviets. There was no need to "de-partition" it after WW2 either.

On the other hand soviets did partition it AGAIN in 1945 by splitting the eastern parts and annexing them to USSR. Even including the gains in the west - Poland lost about 1/7th of its territory during WW2 because soviets just took it.

> Many people would think Poles suffered comparatively little and got out with comparatively much out of WW2.

Over 1/6th of Polish population died in WW2. About 6 million Polish citizens (half of them Polish Jews) died because Nazi Germany and Soviet Union joined forces to invade Poland in 1939 and did ethnic cleansings and political repressions there. Germans for 5 years, Russians for 50 years.

Stalin is personally responsible for ordering murder of several hundreds thousands of Poles and forced expulsion of millions of Poles from their homes in eastern Poland (which became USSR after WW2). And indirectly co-responsible for all the deaths that resulted from WW2 which he helped Hitler start.

> An uncelebrated founding father of Polish nation state.

Fuck you.
Humans are animals by technicality only. We have higher thinking. Again, what you're stating is an opinion and nothing more. There's nobody anywhere saying you're right. Just you, and your beliefs. Which is fine, but when you act like your beliefs are divined from God, that is what we consider delusions of grandeur.

Yes morals are made up. Everything is made up. Everything is a social construct. "the world" (I assume you mean evil and greed?) does not supersede that. Because if you kill someone you go to jail, and jail is real. Don't believe me? Try it out.

The law of the jungle is... well... something you made up. Sorry. That may apply to your dog. But for the people I know, many would sooner end their own lives than doing something that distasteful. Hell, I've known many to end their own lives for much much less. Point being, it doesn't actually work this way.
If they're not worried about malware, and there is some, then they'd probably get reinfected by their data anyway.
Compared to dumping I guess everybody is "overcharging"...
The menus themselves are called "menu bar extras": https://developer.apple.com/design/human-interface-guideline...
I imagine that something else is conversation.

Note however that HN is not gatekeeping any useful information that may be produced during conversations here; in fact, it's all indexed and searchable.
Super cool idea. I think it might be getting the hug of death right now because even once I got in I never seem to get a connected bot.
Oh for sure, when I say "soon" it's only relative to AGI.

What I meant to convey, is that theorem proving at least is a well-defined problem, and computers have had some successes in similar-ish search problems before.

Also I don't think pure brute-force was ever used to solve any kind of interesting problem.

Chess engines make use of alpha-beta pruning plus some empirical heuristics people came up with over the years. Go engines use Monte-Carlo Tree Search with straight deep learning models node evaluation. Theorem proving, when it is solved, will certainly use some kind of neural network.
I'm glad TFA is not about central planning then?
That's the point. I'm using snark to demonstrate how useless using snark is.

Clever, eh?
If they were training on other people's chat transcripts, the answers would read like how other people type, instead of telling you to delve mystically into intriguing questions.
What about ℕ? Seems pretty infinite to me, unless with "actually" you mean finite in time and space, which would make your argument a tautology. Or am I missing something?
You brought up a great point regarding mouse dependency. The end goal is to make this keyboard navigable (I myself don't like taking my hands off the keyboard), but we also need to do it in an intuitive/easy-to-use way which will be tough.
Billions of dollars spent building this, gW of energy used to train it. And the best it could do is “silver”?

Got to be kidding me. We are fucked
As much stuff you add as much attack surface you have. Virtualized infra are a commercial need, an IT and Operation OBSCENITY definitively never safe in practice.
> He maintains that he doesn’t charge tourists extra. Instead, he offers a 1,000 yen ($6.50) discount to locals.

I've seen businesses in the US use the exact same "logic". It's disingenuous because there's zero logical difference between charging party A more than party B and charging party B less than party A.

> “We need (this pricing system) for cost reasons,” Yonemitsu said.

I understand the practice and genuinely think it's perfectly acceptable. But to explain it in that way is deceptive.