skysight-inc/HackerNews huggingface dataset:
Turing's argument says "conditionally compact" but the article talks only about "compact". They are not the same; "conditionally compact" means every sequence has a Cauchy subsequence, while (sequentially) compact means every sequence has a convergent subsequence. If the metric space Turing mentions is complete, then I guess they're the same. Is that obvious?
Yes, I disagree. Best case scenario I think it would just allow us to get rid of the CDN layer. We'd still have to build and manage the rest with utmost care.

Even that really depends on what the "SLA" expectation is. How many QPS would we be required to support before we're allowed to start dropping queries? If there's any possibility of a burst beyond what we can handle locally we'd keep the CDN, so maybe the CDN bill would be significantly smaller on account of lower volume but all the complexity and care of operation would still be there.
I guess that means reincarnation is real.
Nah my experience is just, that most "shitty waiters" that other guests complain about are totally nice to me, because I treat them well.

I'd say at least 70% of the waiters I encountered were pretty nice actually.
Dermal bioavailability of PFAS using in vitro 3D human skin equivalent models
> We drove down an increasingly narrow and desolate road. The tarmac disappeared, replaced by lose stones. It got steeper. The track turned into potholed grass and dirt. Huge rocks reared out of the earth.

...

> And it was all Google Maps’ fault.

I mean, it was 100 % your fault, but you can blame a stupid phone if it makes you feel better about having zero common sense, and being a poor driver.
Next week on Show HN: I made a fractal font with unlimited scaling
I don't think that car should be accelerating for any reason other than pressing a gas pedal. Definitely not after the driver manually presses the break.

Maybe the on/off button (I have it as well) is just additional safeguard against accidentally enabling super dangerous feature, which is defetead completely if it doesn't turn off on breaking and can be resumed.
It’s a trick because I’m effectively spending my gains without having to recognize them.
Like what? I'm not familiar with any daemons that expose this info on a network interface. Maybe identd? AFAIK that can expose the username, none of the other fields, but is typically set to an alternate identifier.

Or do you mean shared mainframes with many users on the same system? That'd still be local to the system, you just happened to have access to that system.

Are you sure you're not just thinking of ldap/directory lookups?
Yeah, I admire Rich Hickey a lot, it took a lot of guts; and I learned a lot from Clojure and his talks; but I unfortunately find the language a bit too opinionated and dogmatic.
It all follows from compactness so if the cognitive manifold is not compact then the conclusion is not true.
As opposed to 'disappeared', for suspected espionage?
That works if you're fixed to a grid, but the argument is much more general: it allows symbols to be of arbitrary size (as long as they're still within the unit square), in any orientation, formed by continuous or (not-too-pathological) discontinuous penstrokes, etc.
In comparison to the People's Republic of China?
>In 2019, the United States Department of Justice indicted Tao for 'failing to disclose conflict of interest with a Chinese university' .. The evidence used by the Department of Justice was obtained after Tao was reported to the FBI for alleged espionage by a vengeful co-author, who presented manufactured evidence to the FBI. Based on this evidence, the FBI obtained a search warrant. Tao was subsequently indicted for an email regarding a contract to teach in China, but not for alleged espionage

I don't even understand how any of this is illegal? You can be thrown in prison and have your reputation and career ruined by the government for sending an email to someone in China now?
Yes it's easier and not too different from Turing's argument. However, Turing made this proof in 1936, you know, before the concept of pixels exists.
What a disingenuous argument by Microsoft - I really hope nobody buys it. Lots of the most mission critical software runs on Linux. They don't have these security issues because they were open from the start.
huh?

Postgres already has "COPY FROM STDIN" command, which makes database server use postgres connection for the raw data. However, since it uses the existing connection, it needs to be compatible with Postgres protocol, which means that there is an extra overhead in wrapping streaming data.

On the other hand, "COPY FROM COMMAND" has no wrapping overhead, as it opens direct pipe to/from command, so no Postgres protocol parsing is involved - as only short command string is sent via postgres connection, while bulk data goes over dedicated channel. This makes it faster, although I am not sure how much does this actually save.

amluto's point was that one can achieve no-wrapping performance of "COPY FROM COMMAND" if one could pass dedicated data descriptor to "COPY FROM STDIN". This could be done using SCM_RIGHTS (a AF_UNIX protocol feature that passes descriptors between processes) or pipes+slice (not 100% sure how those would help). But with SCM_RIGHTS, you'd have your psql client create pipe, exec process, and then pass the descriptor to the sql server. This would have exactly the same speed as "COPY FROM COMMAND" (no overhead, dedicated pipe) but would not mix security contexts and would execute any code under server's username - overall better solution.

Your point was "only on localhost", which I interpreted as "this approach would only work if psql runs on localhost (because SCM_RIGHTS only works on localhost); while "COPY FROM COMMAND" could even be executed remotely".

This is 100% correct, but as I said, I think an ability to execute commands remotely as a server user is a bad idea and should have never existed.
it's exactly that. the thing is that if you're a CA, that's not farfetched at all.
making food that people want to buy is good actually

i am not down with this concept of the chattering class deciding what are good markets and what are bad, unless it is due to broad-based and obvious moral judgements.
Tupperware Rebrand Case Study
My bet is that is has more to do with the Vietnamese (largest non-European) minority in Poland: https://en.wikipedia.org/wiki/Vietnamese_people_in_Poland?wp...
> specific, widely accepted definitions

Realistically, nobody outside of Hacker News commenters have ever cared about the OSD. It's just not how the term is used colloquially.
I guess that's very convenient. What if you needed to also press the gas pedal after resuming it to bring the car back to the set speed? Would that be too much trouble? You'd get benefit of deciding how fast you get back up to speed.
> Microsoft says 2009 law made cloudstrife outage happen

Or, an alternative interpretation: Microsoft had 15 years to fix any issues.
What's special about the E core's L2 cache such that it gets on-chip regulated voltage?
> I really don't see how anyone would do something but then decide not to once they found out there is a reward.

The people who can realistically claim the reward realistically can get better rewards elsewhere.

Once you shift the thought process from considering how much fun you have hacking into accounting how much you can make, people start spending time in a way to that will optimize earning potential. You start losing.

How many people paint for fun? Do you think they'd do it if it was a job that paid $3/hour?
> are you just spouting shit you copy pasted from somewhere else?

I'm literally linking to FRED charts trying to have a numerate discussion about this stuff...

Can you cite some research or measurements or anything about this "perceived inflation" metric you're talking about? Like, where are the numbers? I'm pretty sure you just made it up, no?
Right? That's the problem. There is nothing inexorable about it. France ages ago noticed a problematic reliance on fossile fuels and decided to actually solve that problem (for power and heating). That was a super ambitious program of building an entire, country-size industry capable of designing, building, fueling, running and reprocessing grid-scale nuclear reactors. It even worked. Growth WHILE solving problems. But yeah, in France as elsewhere, that effort was and is tied to political will and electoral moods. And so now it's in jeopardy.
Perhaps see if you can put together a department-focused bundle — something that can coexist with corporate VPN but be used for a 50-300 person team’s needs. Plenty of big orgs have small-company-scaled deployments within disparate teams, and they often have terrible security / compliance / access policies for some time until they reach a certain scale.
American taxes are low because Americans are anti-tax. That's not amazing, it's democracy.
Meh - Microsoft can point to the fact that they saved the day by preventing every Linux device from getting backdoored with the `xz-utils` debacle. The fact that it was caught was an exceedingly lucky break, and had nothing to do with quality engineering, or even that the code was open source.

(Edit for the downvoters - nothing I said above was an opinion. https://news.ycombinator.com/item?id=41049312)
I have found it to be better than GPT-4o at math too, despite the latter being better at several math benchmarks.
Sometimes it's about shunning responsibility:

I followed a map and made an error, I'm responsible, someone will be mad at me.

I followed google maps, they are responsible for providing bad directions, so it's not my error, you should be mad at google, not me.
great insight, appreciate this. would also point out logging/event sourcing for "free" observability
I was at some of these worldcons at the time and where it may not have been bloc voting, it was definitely voting for people over stories. And I'm talking open discussion of voting for effect rather than story quality. Worldcon attendance around 2012 was heavily skewed older and I might say a hippy vibe.

Sad puppies at least was completely honest about it. I don't agree with what they did, but it's honest. Everyone's pretending like they're voting for things nobody has read because they read them and not because the author has been "blessed" as appropriate for accolades. Also, not saying it should be a strict popularity contest.

Also, 2000's looks pretty normal and it doesn't seem to kick off until 2010+.

I could be convinced, though. It's hard to pick out a book from the last 15 years which which will be on the read list 30 years from now. Except The Three Body Problem, which I loved and I think will last.

So, I'll check back on this in 30 years and see how it's aged.
Planetary Scale Replication as an Agnostic Biosignature
> We followed the navigation apps, and after 30 minutes of driving, they dropped us off at a closed road. We turned around, drove another 20 minutes or so, and encountered another shuttered lane.

I'm talking about these closed roads.
you're welcome. i'll try to remember your comment the next time someone replies to me with something like https://news.ycombinator.com/item?id=40993821 or https://news.ycombinator.com/item?id=40993328 or https://news.ycombinator.com/item?id=40992456
There are more today than the 90s for sure. However there are a lot more UIs around, and the big players don't give the UI and UX design people near as much control as they did then and so bad UI dominates. today's flat UI fad would not be allowed in the 90s.
gateway3.0/httproutes
>> Bravo! While I don't agree with Zuck's views and actions on many fronts, on this occasion I think he and the AI folks at Meta deserve our praise and gratitude.

Nope. Not one bit. Supporting F/OSS when it suits you in one area and then being totally dismissive of it in every other area should not be lauded. How about open sourcing some of FB's VR efforts?
> There's plenty of CEOs (non-founders) who are billionaires.

Being a business owner doesn't necessarily mean being the founder.

No CEO is becoming a billionaire by collecting a paycheque. They might become a billionaire by accepting the right stock offer in lieu of wages, but that makes them the business owner again.
in practice I think you're right, but oof.
I block all external resources on my pages, but sure it works well in most places! It think the default policy should be block on most pages.
This central authority for certificate validation seems like extra infrastructure without which the internet fails.

Once upon a time, internet communication was between two computers. Now there is a third computer to verify that the communication between two computers is legitimate.

Is there another communication design that works without the need for a third computer?

Edit: I don't think so. Identity validation of a public computer should be done by another well-trusted computer.
Without the raw data that trained the model, how is it open source?
I sign-up for a service using "123abc-theirdomain.com@mydomain.com" as the email address. Messages to that address come to my "Inbox". I don't use the address for anything else. I never send a message with that address.

Years pass.

I start receiving email solicitations for erectile dysfunction remedies and, oddly, woodworking plans (what is it with the spam for shed plans?) to that address.

Either my address was sold or a data breach occurred.

(It could have been my own data breached, but it seems unlikely, if that did happen, that the result would be me receiving spam only to that one specific address.)
I think you misunderstood, or I’m a little male lost in what your point is: there is no causality between owning an expensive car and being rich. There is evidence pointing to otherwise for (whole) nuclear families and being rich(er).

Secondly, doing as is expected of them and “not stepping up” is not really the same thing, is it? Almost the opposite, actually, stepping up is doing what is expected of you, with some emphasis on this being hard.
For anyone else wondering what IdPs are:

> What is an identity provider (IdP)?
>
> An identity provider (IdP) is a service that stores and verifies user identity. IdPs are typically cloud-hosted services, and they often work with single sign-on (SSO) providers to authenticate users.

Read a full explanation at:
https://www.cloudflare.com/learning/access-management/what-i...
The reconstruction is a 3-dimensional scene that has animation contained in it.

You can move a virtual camera 3-dimensionally within the scene at any individual frame (x, y, z), and also move the scene through its animation to play the animation forwards and backwards (in other words, you move the camera through the 'time' axis).
I think the fact that it was caught is a testament to the power of open source and the quality of engineering. It speaks volumes about the promise of OSS.
I've read it three times now. The only thing they say about it is this:

"This doesn't mean that eBPF has solved nothing, substituting a vendor's bug for its own. Fixing these bugs in eBPF means fixing these bugs for all eBPF vendors, and more quickly improving the security of everyone."

Which is exactly what I'm asking about. If eBPF has some inherent advantage, why did it fail in precisely the same way alreay?
Poker has strategy, randomness and asymmetric info.
This is true when you can’t upgrade all the data and all the data generators. But there are smaller systems where you can actually upgrade everything you have and set some new requirements for everything coming in.
> For example, a Staff Engineer at an avg startup might get $250k base salary, in a HCOL area and maybe a 10-20% bonus.

I think you are taking it in the wrong way. A startup has lower mean income but can have a much higher return in the future. Most startups are also cash strained, so you won't get as much cash for your income. I'd suggest you look into the expected return of your startup instead, and the take into at least the following situations:

- Your peers. Do you get to build lasting relationship with truly amazing peers? With such peers, you won't regret it even if your startup fails as you will have great experience, let alone your career will likely take off in the near future.

- The problem space. Does the problem you solve inspire you?

- The potential of your startup. You get to to evaluate the potential continuously, as the situation of a startup changes constantly. The good news is that a startup is usually quite transparent. You get to know how your company performs easily and how the founders lead too.

- Know yourself. How much risk can you take? How optimistic are you? And etc

- Your expected income. Take your equity into consideration, but multiply the value with a probability of success in a given time frame.

For example, I've never been a big risk taker, but I've made peace with it. Instead, I picked the top (or I thought so) late-stage startups in a category that I like, and I picked the startups that built the products that I used daily. Also, I focus on the startups that have potential scales to build my technical and product chops, as I'm interested in build general abstractions and systems, and am not patient or excited to deal with nitty-gritty details of a customer-facing product. I didn't become filthy rich of course, but my life has been exceedingly comfortable so far with me almost always focusing on building the things I like.
It isn't a very good critique, as it assumes that the only reason people work is to avoid starvation.

People will work very hard to increase their income levels above that required solely for basic needs (i.e. UBI levels), see pretty much every non-minimum wage employee.
As a person who lives here - I can say Warsaw is a great city to live in. I’ve considered many destinations for emigrating and in the end decided to stay. Anecdotally, so did many others I know.

Green, walkable, clean, good public transport, mostly-well-connected airport, reasonable cost of living (esp. if you work remotely as a software engineer…), good and varied restaurants, and very safe.
Videos are already 4D.

There's the 2D frame and the time dimension. Then there's the structural information conveyed by motion, parallax, scene composition, camera movement, etc.

That's why there's the 180 rule, amongst other things.

Algorithms can take a video and turn it into a 4D volume. As can our brains.
I am not really convinced. I could easily see Rust in the wild be full of unwrap, unsafe, etc.. if written by people that do not bother but are forced to use Rust.

And then, what is even the right behavior for a kernel driver that encounters an unexpected problem related to input? In the interest of security you might want it to crash the machine instead of continuing. I think panic is the default in Rust for many error cases - and I think this is the right approach, but it would have led to exactly the same result in this case.
Ask HN: What is the aftermath of the XZ Backdoor incident?
Over the last few months, I've heard almost nothing about the creepy backdooring of xz and ssh. Given the vast potential implications for both critical and non-critical systems, I'm even more concerned if we don't learn anything from this. Undoubtable, it's difficult to draw the right conclusions from this situation. But are projects and businesses still aware of this threat? Are there any initiatives in the (security) community addressing it? I worry that we don't have such much luck next time.
>selling user generated content and private info to the highest bidder

Was always their modus operandi, surely. How else would they have survived.

Thanks for returning everyone else;s content and never mind all the content stealing your platform did.
Assuming you're not trolling: nope, that would be an empirical question of how many brain states ever actually arise in the world during the time humans exist, and how much space and time it takes to maintain a given brain state. The universe is currently expected to stop being able to support human life at some point in the future, so the pigeonhole principle argument requires some physical parameters to be known before you can apply it; and even if the pigeonhole principle did apply, you still can't know by that argument whether any given brain-state is repeated (and if so, how many times). Things which you can deduce using only mathematics, and no physical data, are necessarily extremely weak statements about reality.
A ridiculous excuse. They could have provided an non-EU Windows version if that's the case or better yet, create a robust solution as a software vendor to the said security companies.
no just the SDK is Java. temporal is 99% Golang, even at Uber https://github.com/uber/cadence
On the Design and Analysis of LLM-Based Algorithms
This work is about taking an input with 2 spatial dimensions, plus 1 time dimension,

and synthesizing a (limited) model with 3 spatial dimensions, plus 1 time dimension.

3D over time is colloquially called "4D;" though we don't call video "3D" by analogy as the term binds strongly to its purely spatial use.
Show HN: Formula 1, 2, 3 and E Weather updates
Get up to date predicted weather for the upcoming Formula 1, 2, 3 and E sessions!
> I think the fact that it was caught is a testament to the power of open source and the quality of engineering.

Ha, no. It was caught because an engineer noticed his SSH was taking slightly longer than normal, a few hundred milliseconds of difference. There was nothing in the code to suggest an anomaly; so he began fully reverse-engineering the binary as though it was proprietary software. The open-source communities meanwhile had approved and were even distributing that code on testing branches. And to top it all off, that engineer worked for Microsoft; so it's pretty ironic to complain about Microsoft's behavior with Windows, considering they just saved Linux from catastrophe.
Since you've continued to break the site guidelines egregiously (e.g. "Are you mentally ill?") after we asked you to stop, I've banned this account.

https://news.ycombinator.com/newsguidelines.html
I can imagine both will bash intel a bit.

"Linus Tech Tips" for the gaming crowd situation (loss of "paid for" premium performance) and Torvalds for the hardware vendor lack of transparency with the community.
I wish wasm related projects gave stats or benchmarks on payload size as that has always been an issue for me adopting and I usually only find out after building something small to test.
> Overall, I find complaints about the equality predicates to be based on a misunderstanding of the definition of "equality".

It's more that LISP is the only language I know that exposes how complex the concept of equality actually is. All the other ones I use more-or-less make an implicit assumption that equality means one of the things that LISP offers but if you want the other definitions of equality you either have to build support for them by hand or call out to a library function that's going to use (static or dynamic) reflection to reduce the problem to the one kind of equality the language implements.

(Apart from that, the only other complaint is that LISP being as old as it is, the default names for those equalities are too terse to self-describe. You just have to memorize which one is 'eq' and which one is 'eql', there's no way to guess looking at the names themselves).
Atleast they don’t let corrupt prison officers harvest their prisoners organs
LOL, sure
How does a primary help with the "conditions changed" part?

As for electing questionable leaders, no, primaries don't necessarily address that either. If you look back through US presidents, you can find a good sampling of really bad choices. (Season according to party preference).

I don't think that second part is completely fixable in democracies. I do think some systems are more vulnerable to it than others, and primaries in a first-past-the-post world are one of the worse systems.