skysight-inc/HackerNews huggingface dataset:
As someone who's worked extensively on distributed systems, including at a cloud provider, after reading this I think the author doesn't actually understand the CAP theorem or the two generals problem. Their conclusions are essentially utterly incorrect.
2001.

it’s always heartening to see things like this:

All they’ll talk about is peer-to-peer this, that, and the other thing. Suddenly you have peer-to-peer conferences, peer-to-peer venture capital funds, and even peer-to-peer backlash with the imbecile business journalists dripping with glee as they copy each other’s stories: “Peer To Peer: Dead!”

for the simple fact that it’s a reminder that if we have indeed strayed from the light, we did so long ago.
This is really cool. Also a healthy reminder that anything we post publicly is likely to be analyzed. With a little analysis it's probably easy to know me better than I know myself.
There's no energy limit in the IMO rules.
The problem solved "within minutes" is also interesting. I'd interpret that as somewhere between 2 and 59 minutes. Given the vagueness probably on the higher end, otherwise they'd celebrate it more. The students had 6 tasks in 9 hours, so on average 1.5h per task. If you add the time a student would take to (correctly!) translate the problems to their input format, their best-case runtime is probably about as fast as a silver-medalist would take to solve the problem on their own.

But even if they aren't as fast as humans yet this is very valuable. Both as a stepping stone, and because at a certain scale compute is much easier to scale than skilled mathematicians.
Thanks for making and sharing!

Could you share some info about how you generated the 2D space embedding/visualization?
You can put items in guides, i'm not sure the limit of items you can put in a guide or how many guides though
I think human trials of this or similar drug is required make it clear if the tau protein accumulation is a driver (as claimed by one of the researchers).

The lead image is DAL-E generated - would have been fun if they had extended the prompt to specify a mouse using a nasal spray.
The thing is though, once we have a benchmark that we pass, it’s pretty typical to be able to bring down time required in short order through performance improvements and iterating on ideas. So if you knew you had GAI but it took 100% of all GCP for 3 years to give a result, within the next 5 years that would come down significantly (not least of which you’d build HW dedicated to accelerating the slow parts).
What works for me most of the time on youtube is to just avoid clicking on videos where people put their faces on the video thumbnail, those things always make me angry when I see them. Fortunatly youtube stoped showing me suggestions on the frontpage because I disabled watch history, so I only see the thumbnails on the sidebar when watching a video.
PyTorch 2.4 with Initial Support of Intel GPUs
Interesting, can you provide some sources for that claim? Haven't heard that before
Fujifilm Announces Linux SDK, Helping Drone Makers Use GFX100 Cameras
I believe you didn't read it because your argument is quite poor and doesn't mention some relevant points the article makes.

I may not always agree with everything I read, but at least I take the time to read it before openly disagreeing with it.
Look? Do. The reason all the above fails (and why AI dependent developers will fail) is quality of work product.
Yep. You can't magic cloud away Consistency by ignoring it and YOLO hoping it will Do The Right Thing™.
I think you might be thinking of the recent project to start Fermat's Last Theorem? The Riemann hypothesis has been easy to state (given what's in Mathlib) for years.
Would be interested in a study, unfeasible as it may be, on the social compatibility of people who have the strongest overlap between themselves and the next closest user.

Cool visualization and analysis, really well made!
For the “terrain contours” is there something specific you’ve done to make it feel more cartographic? Or is it basically just marching cubes / iso lines on some data points?

Looks fantastic. Very cool project.
The article is from 2001, but it’s an evergreen reminder to _stop building solutions in search of a problem._
Resources exist, but are only so helpful IMO.

One can't necessarily build an airplane after watching a documentary on it.

Even if there was some "bible" on it, reverse engineering is one of those things that you have to put the reps in for to get good at it and actually develop understanding.

The "bible" is tackling reverse-engineering related projects independently over the course of months/years and picking up knowledge along the way.

Starting with something like cracking software (and making increasingly-advanced cracks) is always my advice for beginners.
https://en.wikipedia.org/wiki/DOS_MZ_executable

MZ is the magic number at the start of the file.

Although gp probably meant a PE executable [0] which (typically) start with a stub MZ executable telling DOS users to run it under Windows. Because of this they still have a MZ magic number.

[0] https://en.wikipedia.org/wiki/Portable_Executable
The linked page says

> While the problem statements were formalized into Lean by hand, the answers within the problem statements were generated and formalized by the agent.

However, it's unclear what initial format was given to the agents that allowed this step
You cannot write code that will fail to compile `theEntryMethod(null)` unless you only use primitive types. (You can, of course, make that method fail at runtime, but that's not what's being talked about here).
Unfortunately, many users will gather from this experience the following sentiment: "if I want to access the latest cutting edge betas, then I should be using something other than Firefox". The net result of this is less browser diversity.
This is a point in Flow's favour. However! Seven years ago or so, when TypeScript was quite young and seemed inferior to Flow in almost all respects, I chose Flow for a large project. Since then, I spent inordinate amounts of time updating our code for the latest breaking Flow version, until one came along that would have taken too long to update for, so we just stayed on that one. We migrated to TypeScript a little while back and the practical effect has been much more and effective type checking through more coverage and support. TypeScript may be unsound, but it works better over all. We turn on the vast majority of the safety features to mitigate the unsoundness. And it's developed by a team that are beholden to a large and vibrant user base, so any changes are generally well-managed. There's no contest, really.
that would not matter much at all. I can learn a foreign language numbers in a matter of minutes.
A Racial Change in Economic Opportunity
formal definition of first theorem already contain answer of the problem
"{α : ℝ | ∃ k : ℤ, Even k ∧ α = k}" (which mean set of even real numbers).if they say that they have translated first problem into formal definition then it is very interesting how they initially formalized problem without including answer in it
Does California have enough shelter space foe that? I would have assumed there wouldn't be a serious encampment problem if good shelters were available and empty.
That's an awesome point. I have changed the button to just change the colors, which makes more sense, and I have also fixed the typo. Thanks!
Early long distance communication often depended upon wavelengths suitable for ionospheric propagation, signals have been bounced off the moon, and (if I recall correctly) the earliest experiments in communications involved large reflective balloons.

Even though none of those are repeaters, the idea of using space to communicate over the horizon was something considered early on.
My dad was in the AF, and we rotated back and forth between the US and Europe. A friend of his married a British woman while stationed there, and took her back to the States when the tour was over. She endlessly complained about the US, and how Britain was so much better.

Eventually, they were rotated to Germany. As soon as they arrived, she was off to England. 6 weeks later, she was back, and did not complain about the US again.
Seems like it's deliberately using "committee" as a pejorative to make a political point. Flip it to "you'll find no statues of groups of people" and it's patently false.
The intent is for the high performance datapath to live entirely in FPGA (and the project you're probably thinking of is switching, not routing).

The MCU is for control plane only. Several hundred Mbps between the control and data plane is more than enough for a SSH management CLI and poking registers on the FPGA to move a port to a different VLAN in response to a CLI command or add an ACL rule or something.
Fun Fact: most large pharma companies spend more on marketing than R&D.
Yes, but the fact that it is blocked makes it perfectly appropriate to the situation. You don't expect Moe Howard to kiss you after sticking his fingers in your eyes, you expect him to box your ears.
And say they did use 10% of all GCP? Would it be less impressive? This is a result that was considered by experts to be far beyond the state of the art; it's absolutely ok if it's not very efficient yet.

Also, for what it's worth, I'm pretty sure that I wouldn't have been able to solve it myself in three days, even if I had access to all of GCP, Azure and AWS (except if I could mine crypto to then pay actual IMO-level mathematicians to solve it for me).
39% of Americans worry they can't pay the bills
seems you got a shout-out by know-your-meme :) https://knowyourmeme.com/memes/events/twitter-api-leak

I tried submitting this above URL just now because this link is now flagged (probably because of the domain allegedly distributing malware) but I think it got immediately shadow-banned (https://news.ycombinator.com/item?id=41070308).
> If someone is acting to try to keep this away from the site, then they are evidently fairly ineffective at it.

Keeping away, no. But they are trying hard and mostly succeed to deviate the discussion.
In the future, I may add more icon libraries and types. I guess I need to balance the number of options to avoid making the design more complicated.

My main goal was to generate an SVG so you can use it everywhere without being pixelated.
Again, I'm not saying that humans can't persistence hunt.

I'm saying that there is not a lot of evidence of it being widespread, or that it was a driver of human anatomy in evolution.

The theory is based on a handful of papers, some with major bad assumptions, and a few anecdotes. The arguments against it being widespread or common are just as strong or stronger than the arguments for.

My objection is just that the Outdoor magazine and Joe Rogan set like to cite it as if it is more or less settled.
Yeah. Saying "COOPs don't fundamentally change human behavior which has doses of greed" is like saying that a kingdom works the same way as a democracy since hey, it's all just humans. Simply involving more decision makers is a meaningful change. Certainly involving more decision makers that are outside of the business/legal/accounting class is a meaningful change.
https://archive.li/DwbmN
[dupe]

More discussion: https://news.ycombinator.com/item?id=41058261
For example, having 3 AZs allows Paxos/Raft voting.
And?

The result is (likely) net energy consumption, resulting in (likely) net CO2 emissions.

So, what was did it cost us for this achievement in AI?

EDIT TO ADD: It's fair to think that such a presser should not include answers to my questions. But, it's also fair to want that level of transparency given we are dealing with climate change.
It feels pretty disingenuous to claim silver-medal status when your machine played by significantly different rules. The article is light on details, but it says they wired it up to a theorem prover, presumably with feedback sent back to the AI model for re-evaluation.

How many cycles of guess-and-check did it take over the course of three days to get the right answer?

If the IMO contestants were allowed to use theorem provers and were given 3 days (even factoring in sleep) would AlphaProof still have gotten silver?

> let's be real I'd be okay waiting a month for the cure to cancer.

I don't think these results suggest that we're on the brink of knowledge coming at a substantially faster rate than before. Humans have been using theorem provers to advance our understanding for decades. Now an LLM has been wired up to one too, but it still took 8x as long to solve the problems as our best humans did without any computer assistance.
I had to get a work visa for Brazil at one point. There was a fee breakdown, and all the fees added up to about $85, except a "reciprocity fee" which was an additional $55. I was curious, so I asked about it. It turns out that America charged Brazilians $140 for the visa application, so Brazil added that fee so that the total that Brazil charged American applicants was the same.
We’re excited to announce moleQLar! Our tool simplifies GraphQL integration for PostgreSQL with automatic TypeDef and Resolver code generation. Customize your schema with our intuitive visual interface and see real-time updates. Check out moleQLar for a seamless GraphQL experience.
> When presented with a problem, AlphaProof generates solution candidates and then proves or disproves them by searching over possible proof steps in Lean.

To me, this sounds like Alphaproof receives a "problem", whatever that is (how do you formalize "determine all X such that..."? One is asked to show that an abstract set is actually some easily understandable set...). Then it generates candidate Theorems, persumably in Lean. I.e. the set is {n: P(n)} for some formula or something. Then it searches for proofs.

I think if Alphaproof did not find {foo} but it was given then it would be very outrageous to claim that it solved the problem.

I am also very hyped.
OK, I'm going to just be upfront here and admit that I'm an idiot. This is the third time I've seen this link come up on HN, and each time I've checked it out, but I can't really figure out how to interpret what I'm seeing there in a way that is useful.

How can that map be used to determine who is knowledgeable about what? Looking up myself, I can't connect what I see with my own areas of knowledge.

I think I need an ELI5 for this. Again, this isn't a criticism of the effort at all, it's a public admission of my own ignorance.
Yeah, Photoshopping people's faces into porn and posting it on the Internet doesn't strike me as much different than using AI to do the same, except that it might be more obviously fake.
Sorry about that. I will check this issue. You can tap anywhere outside the banner, and it will close.

Maybe I can show the banner only if you download or copy the logo.

Thanks for the comment.
If JS disappeared on the browser, would anybody use NodeJS?

The best thing about NodeJS is that it allows you to use the same code on client and server. Not the only reason, to be sure, but without that advantage I suspect a lot of decisions will lean away from NodeJS and toward something else.
This is really cool, excited to see where this goes!
Why Zig is one of the hottest programming languages to learn
Apparently that path came with consequences that made it less attractive than giving it all up.
We're trying to bias the system toward more autonomous execution, rather than a "copilot"-like experience where you iterate back and forth with the system. That lets us run more useful subroutines in parallel in the backend, as long as you specified your complex goal clearly.
When I did this, I found it to also be an interesting way to fingerprint users and find alternate accounts. I was able to match an old account I used in a top 10 similarity match out of all users.
That's patently false for many classes of problems. We know exactly how to solve the traveling salesman problem, and have for decades, but we're nowhere close to solving a random 1000 city case (note: there are approximate methods that can find good, but not optimal, results on millions of cities). Edit: I should say 1,000,000 city problem, as there are some solutions for 30-60k cities from the 2000s.

And there are good reasons to believe that theorem finding and proof generation are at least NP-hard problems.
https://hn2.wilsonl.in/user/rob

Seems pretty accurate. I do love me some PHP and WordPress.
More precisely: partitions in the graph theory sense rarely (if ever) happen. In practice it looks more like a complete graph losing some edges.

Let's say you have servers in DCs A and B, and clients at ISPs C and D. Normally servers at A and B can communicate, and clients at both C and D can each reach servers at A and B.

If connectivity between DCs A and B goes down there is technically no partition, because connectivity between the clients and each DC is still working. The servers at one of the DCs can just say "go away, I lost my quorum", and the clients will connect to the other DC. This is the most likely scenario, and in practice the only one you're really interested in solving.

If connectivity between ISP C and DC A goes down, there is no partition because they can just connect to DC B.

If all connectivity for ISP C goes down, that is Not Your Problem.

If all connectivity for DC A goes down, it doesn't matter because it no longer has clients writing to it, and they've all reconnected to DC B.

To have a partition, you'd need to lose the link between DCs A and B, and lose the link from ISP C to DC B, and lose the link from ISP D to DC A. This leaves the clients from ISP C connected only to DC A, and the clients from ISP D connected only to DC B - while at the same time being unable to reconcile between DCs A and B. Is this theoretically possible? Yes, of course. Does this happen in practice - let alone in a close-enough split that you could reasonably be expected to serve both sides? No, not really.
Many/most online personalities are frauds. Being genuine is exceptionally boring and unprofitable. Being hyped so often, always taking things to their extreme, being exceptionally provocative, etc is exhausting but the meat and potatoes of the digital world.

I have seen good creators reach for money and completely invert their messaging, identity, etc. I have seen the money folks drop the facade and become completely normal people.

Faking sincerity is big business, and if your core audience is mostly children it's also startlingly easy.

The most popular "hot tub" streamer on Twitch, before she went down her current path, was a phenomenal cosplayer, but I assume she makes 100x or 1000x what she did then. On the flipside, there are a few retired pornstars on Twitch who stream themselves gaming to...practically no one.

A popular and highly controversial political streamer saw that streamers on the other side of the political spectrum saw more financial success, and inverted his persona to match.

And then of course you have the litany of streamers and youtubers (even one of the most popular female streamers) forced into "retirement" because their decade or more of awful behavior comes to light.

Do not idolize streamers, and, by God, do not let your children idolize them.
Honestly the big tech tech companies are already captured by their employees. I used to think that would be a good thing but in reality it just means the economic opportunity is limited to a small set of people with highly elite and performative entry criteria. But a gradual path to employee ownership might make sense at smaller companies.
https://archive.md/Qh3wE
We just caught our first "BANANA "
Is this a common desire? I have absolutely no interest in watching myself inserted into a film or TV show.
> The formalized CAP theorem would call this system unavailable, based on their definition of availability:

Umm, no? That’s a picture of a partition. The partition is not able to make progress because the system is not partition tolerant. If it did it wouldn’t be consistent. It’s still available.
And it has been demonstrated long ago that the private market is not the most efficient solution for the general society for handling healthcare insurance.
You don't need a centralized service. In the US, individual states are adopting[0] the ISO 18013-5 mDL standard, for example, which allows each state to be authoritative on identity information for its residents (or, if I understand it correctly, something like "isOver18" signed attributes).

[0] https://www.mdlconnection.com/implementation-tracker-map/
See also:

> In database theory, the PACELC theorem is an extension to the CAP theorem. It states that in case of network partitioning (P) in a distributed computer system, one has to choose between availability (A) and consistency (C) (as per the CAP theorem), but else (E), even when the system is running normally in the absence of partitions, one has to choose between latency (L) and loss of consistency (C).

* https://en.wikipedia.org/wiki/PACELC_theorem
As long as Node understands to use the project-specific version of TypeScript (i.e., the one in node_modules or the PNP equivalent), that should be fine.

But it would be a step backward to need to globally upgrade TypeScript (as you do with npm), since some older projects will not be compatible with newer versions of TypeScript.

Ask me how I know. ;)
Show HN: A CLI tool that helps you quickly generate licenses for your projects
I mean just Google that term and you will get a lot of information. There are multiple public health campaigns regarding it
Actually, banks use eventually consistent systems in many cases. They'd rather let a few customers overdraw a bit than stop a customer from being able to buy something on their card when they have the funds for it.
https://www.apple.com/legal/privacy/data/en/apple-maps/

> Additionally, when you use Maps to make a navigation or directions request, details about your route are sent to Apple, including:
> [...]
> A random identifier, which is created when you ask for directions and exists for the duration of your navigation session
> It's only untrue if you define “abhorrent” as worse as everywhere

> So of course people can survive with much less but that doesn't mean these people are suffering.

I‘d argue that as long as you‘re surviving entirely on someone else‘s money without being forced to work, you can argue for my point. Think about this: Never before in history did you have the chance to rely entirely upon the effort of others for your basic human needs. In almost no other country on earth can you survive with most of your needs met just because you happen to live there, even if you‘re not born there. This is insane privilege.

> And evidently pretty much anyone claiming it's not a harsh life isn't willing to live with so little

Nope, sorry. You‘re saying this from a privileged western perspective.

I‘m not comparing humans of the past, I‘m comparing it with the huge majority of people living on earth, right now. A person living on German welfare is so far removed from the average poor Afghan farmer, people in Favelas living in poverty , Ethiopians living under warlord rule or even the average poor person in the US they might as well be royalty. And again, welfare isn‘t supposed to provide an entirely struggle free life. It‘s supposed to have you meet your basic human needs. We give our people so much more than that. Public schooling, free access to public pools, additional housing money in cities, free internet for people on welfare, and a car. It’s delusional if one thinks that‘s still not enough.

Skipping meals is not routine, that‘s untrue as well. We have soup kitchens here. I’ve been there myself as a poor student.
Show HN: P2P PVP Betting App for Your Groupchat