skysight-inc/HackerNews huggingface dataset:
At least YouTube is Google...

Heh, interesting, the lords of the Attention Economy is Zuck, Google and TikTok. And Musk, but he's busy burning his kingdom.
On the other hand, on a larger scale, it's often more about figuring out what PR caused something to break, rather than exactly which of the 100 WIP commits inside that PR was the exact cause.
What is green steel and why does the world need more of it?
Phone down. Headphones on. And just chug away at it
Learn RHEL properly or use a different distro. RHEL isn't going to change its philosophy.
> Yes, let's leave all of our important legal decisions to AI. What could go wrong?

Legal fees charged by lawyers become reasonable
Reasoning being that live images can have a huge influence
This is known among wine growers as well - you need to stress the plant to get interesting grapes, otherwise you just get sugar water.
I think there's a bug. If we have two two-length ships, that are next to each other in a connected in an "L" shape, it's not possible to define it on the board.
Fwiw this feels deeply relevant to my usage of LLMs to structure data. I’d like exactly a good indicator of uncertainty for each bit of data.
> No one cares about ice cream from Mc f..ing Donald's

People care enough that there's a website mapping working McDonalds icecream machines across several countries, that has been up for years, and was referenced in the linked article:

https://mcbroken.com/

Quite a few places where softserve ice cream is not that widespread, McDonalds is one of the most reliable places to be able to find it.
Reference for those who didn't see it:

https://news.ycombinator.com/item?id=41550417
Ah, that makes sense. So the DB likely assigned the incidents to multiple different persons with the same name and not a single person.
Huh, I've never heard of this particular puzzle before! Big fan of Simon Tatham's puzzle app, though.
TCP doesn't use "packets". They're called "segments".
Consumer cars really aren't meant to last over 100k miles. I know a lot of uber drivers will put 30k miles or more on per year. Also if a car becomes a standard widget made to be easily repairable with parts that are standard widgets, repairs and maintenance would be cheaper.

E.g. If you needed to clean the carpet in a vehicle, make the carpet easily removable and washable in an industrial washing machine.
Definitions are generalized all the time in mathematics. If Minkowski discovered something that was similar to a norm but not quite, that may be interesting, but it's still not a norm.

It also has nothing to do with the complex numbers where the canonical norm is, in fact, a norm.
What are the incentives at work here? What is their risk exposure to a collapse of tether? What would be the reputation al risk to their firm if tether was a scam?

I personally would take this with a grain of salt as they have a direct financial interest in Tether looking solid and prestigious and continuing its present operations.

I am old enough to remember when investment banks touting their mortgage backed securities business before the collapse in 2008.
In my opinion, vaguely handwaving that model checking makes C as effective as Rust invites nothing but skepticism to anyone who knows C and Rust.

Typically, if you’re advocating for a relatively unknown technology that you want others to adopt, the onus is on you to describe how it is better and to be upfront about its limitations. Good luck with your book!
Funny attempt at correcting a misspelling that isn't there, but he wrote "the mayor [as in a person] cites [as in what he said]", not "the major city".

From the article: "We also have a dome of free Wi-Fi coverage over part of our downtown [Chochrane]. Do you have that in Toronto?"
I've just spent the last month learning exactly why I definitely do want a TCP over TCP VPN. The short answer is almost every cloud vendor assumes you're doing TCP, and they've taken the "unreliable" part of UDP to heart. It is practically impossible run any modern VPN on most cloud providers anymore.

Over the last month, I've been attempting to set up a fast Wireguard VPN tunnel between AWS and OVH. AWS killed all internet access on the instance with zero warning and sent us an email indicating that they suspected the instance was compromised and being used as part of a DDOS attack. OVH randomly performs "DDOS mitigation" anytime the tunnel is under any load. In both cases we were able to talk to someone and have the issue addressed, but I wanna stress: this is one stream between two IPs -- there's nothing that makes this anything close to looking like a DDOS. Even after getting everything properly blessed, OVH drops all UDP traffic over 1 Gbps. It took them a month of back-and-forth troubleshooting to tell us this.

The really terrible part is "TCP over TCP is bad" is now so prevalent there's basically no good VPN options for it if you need it. Wireguard won't do it directly, but there's hacks involving udp2raw. I tried it, and wasn't able to achieve more than 100 Mbps. OpenVPN can do it, but is single-threaded and won't reasonably do more than 1 Gbps without hardware acceleration, which didn't appear to work on EC2 instances. strongSwan cannot be configured to do unencapsulated ESP anymore -- they removed the option -- so it's UDP encapsulated only. Their reasoning is UDP is necessary for NAT traversal, and of course everybody needs that. It's also thread-per-SA so also not fast. The only solution I've found than can do something not UDP is Libreswan, which can still do unencapsulated ESP (IP Protocol 50) if you ask nicely. It's also thread-per-SA, but I've managed to wring 2 - 3 Gbps out of a single core after tinkering with the configuration.

For the love of all that's good in the world, just add performant TCP support to Wireguard. I do not care about what happens in non-optimal conditions.

/rant
Ask HN: What are the algorithms used by predictions markets like Polymarket?
I am curious how prediction markets like polymarket and kalshi work behind the scenes. I assume it's more like stock options than sports betting.

Is there something like a market maker to help provide liquidity?

Is it setting probabilities/prices using something like black-scholes?

How would you design a very simple prediction market MVP?
> 2550 jobs lost in 2024.

And 30% stock increase in last 12 months. Isn't layoff positive for the company if it is not hurting stock.
Sure, but the anti-circumvention provisions in particular just inconvenience everyone. It's not like DVDs being "protected" prevented them from being ripped.
Nah, that's totally fine, i for my part tried to make a joke about tree structure in a frontend/backend router. As there are multiple branches (subtrees) derived from different (single linked list) paths it's not a problem to go back to a node and diverge, it does not invalidate the tree. Im sure a lot of the joke in each part is lost in niche knowledge and translation.

As for manifolds, i am drawn to stuff like a hendecachoron and we have a new fountain in Chemnitz now called "Manifold" which is made from circles and i love it! Also the local architect of the town hall has the surname "Möbius".

So i'll take the hint to learn a bit more about topology!
So what are the gotchas?
Open-Source Obsidian Alternative
Yep, usually it's called abstention or rejection.

When people in this field compare various methods of quantifying model uncertainty, they often perform what is called rejection verification. Basically, you continuously reject data points where uncertainty is high, and see how average quality of the remaining outputs increases. A good uncertainty estimate is highly correlated with output quality, and thus low-uncertainty outputs should have higher average quality.

We use exactly this approach in our recent benchmark of uncertainty estimation approaches for LLMS [1] and have an open-source library under development [2] which allows for such benchmarking. It also can produce uncertainty scores for a given model output, so ppl in industry can integrate it into their applications as well.

[1] https://arxiv.org/abs/2406.15627

[2] https://github.com/IINemo/lm-polygraph
Reminds me of the story from the expanse lol
Show HN: LogMyBP – A little blood pressure log utility I made for my parents
I've always been a bit nervous to share my little projects, but I convinced myself to start throwing things out there.

LogMyBP is a tiny (arguably toy) app I built to help my parents keep track of their blood pressure readings. Following an episode, one of my parents needed to log readings three times daily, in three different positions. At first they did it on paper, then a gsheet. Seeing as how my folks aren't the most computer-literate, I was doing a lot of tech support to help set up and maintain this gsheet template. Naturally, I decided to over-engineer a solution.

LogMyBP is intended to help my parents, who can use a web browser, email, and a smart phone just fine, but get frustrated when creating accounts, remembering passwords, or installing apps. This requires none of that - they just have to put in their email address and readings, and the app takes care of recording and retrieval. It does so by creating an "account" using their email address on the fly, and lets them verify and reuse it with an emailed magic link. Once logged in, they can export their readings to a formatted text file for printing, or a CSV file to open in sheets or excel and bring that to the doctor. I also tried to keep the UI descriptive, high contrast, and very simple.

Technical bits: I decided I'd build this quickly with the help of an LLM, just to see how far I'd get. ChatGPT did a great job, but I'm enjoying Claude Sonnet as of now. It's a Python, Flask, Tailwind, and SQLite app, running on Fly.io. ChatGPT and Claude are really good at Python, as well as HTML templating. I suck at the latter, and they saved me a ton of time. I also attached a self-hosted version of Plausible since I wanted to learn how to do that vs use 3rd party telemetry.

Feel free to play around with it.
Gentoo added some excellent and fairly distro-neutral documentation for SELinux a few years ago which makes it somewhat viable outside of Red Hat. It's also helpful for debugging issues even on Red Hat.

https://wiki.gentoo.org/wiki/SELinux
16 inch for sure if you are using it without an external monitor
GPT-4o would vote for Harris, and Grok would vote for Trump
I didn't say that, that statement doesn't imply that or suggest that.

The result of this probe likely won't be that as the DOJ is just emboldened by their Binance and CZ conviction, where the founder spent a couple months at a Southern California Federalbsummer camp and the DOJ got a few billion dollars, and Binance continues to operate as before and no further regulatory overhang is above them and all the money coming in and out is magically seen as clean.
No problem! Some fixes were on the server side. We had a server side issue a couple days ago for a few hours. You may have been affected by it, giving you those errors. They have been fixed too. Take care!
Ask HN: Are my HPC professors right? Is Python worthless compared to C?
I'm a PhD student implementing a finite element code. It simulates electromagnet waves passing through heterogeneous material. This code has to run in parallel, and run fast. I've been using old C libraries like PETSc to do this, and honestly, I do not enjoy working with C at all. Its esoteric and difficult to understand, and just overall feels like I'm using a tool from the 70s.

I want to rewrite my simulation in Python. Every single HPC professor I had told me that Python is worthless for HPC and I should use C or C++ (they generally think Rust is interesting but don't recommend it).

I don't understand this way of thinking. My thought is to write it in Python, profile it, and if needed, rewrite the slow parts in C. I can use CuPy to run my code on a GPU, or mpi4py to run it in parallel with MPI. If I get my code working and prove that what I want to do is possible, but still need more performance, then I can write it in C as a last step.

What do you think? Should a young PhD student in HPC really be investing all their time in C and not consider Python as a reasonable solution?
C is easier to write, Rust is easier to write correctly.
this is very cool!

i prototyped a similar serverless git product recently using a different technique.

i used aws lambda holding leases in dynamo backed by s3. i zipped git binaries into the lambda and invoked them directly. i used shallow clone style repos stored in chunks in s3, that could be merged as needed in lambda /tmp.

lambda was nice because for cpu heavy ops like merging many shallow clones, i could do that in a larger cpu lambda, and cache the result.

other constraints were similar to what is described here. mainly that an individual push/pull cannot exceed the api gateway max payload size, a few MB.

i looked at isomorphic, but did not try emscripten libgit2. using cloudflare is nice because of free egress, which opens up many new use cases that don’t make sense on $0.10/GB egress.

i ended up shelving this while i build a different product. glad to see others pursuing the same thing, serverless git is an obvious win! do you back your repos with r2?

for my own git usage, what i ended up building was a trustless git system backed by dynamo and s3 directly. this removes the push/pull size limit, and makes storage trustless. this uses git functionality i had no idea about prior, git bundle and unbundle[1]. they are used for transfer of git objects without a server, serverless git! this one i published[2].

good luck with your raise and your project. looking forward to the next blog. awesome stuff.

1. https://git-scm.com/docs/git-bundle

2. https://github.com/nathants/git-remote-aws
Your mental model is spot on and described quite well here: https://current.confluent.io/2024-sessions/streaming-queries...
Identify 2-3 core questions you’re looking to get answers for and rephrase them a couple times. You’d be surprised how many times the answer changes based on how you ask the question
If the presidential candidate wishes to hand the reins over to his vice president, why is he not allowed to do that?
Doesn't the Respect for Marriage Act [1] ensure they can't roll back same-sex marriage like they did abortion?

1. https://en.wikipedia.org/wiki/Respect_for_Marriage_Act
Interesting. I only knew about the STacy. I miss a real ST aesthetic here though it does have more in common with the PC Folio.
That's helpful, thanks.

I was definitely under the impression that ad impressions and clicks would be written to databases immediately and queried from there.

I'm still having a hard time imagining in what case you'd need a "live" aggregating display that needed to join data from multiple streams, rather than just accumulating from individual streams, but I guess I can imagine that there are circumstances where that would be desired.

Thanks!
I wrote this in another comment earlier, but red meat is the most energy-efficient food source available for consumption in digestive terms, simply because our bodies were designed to process large amounts of protein rapidly - compared to plant matter that needs to be broken down multiple times. There's a reason herbivores have 4 stomachs. Human bodies basically evolved as Apex predators and a meat diet helped that, as well as was responsible for it. Meat, berries and tubers for hunter-gatherers to put it succinctly.

We only adopted carbs because back in the day, cereals were the most efficient way to feed a large population (compared to say large-scale veggie cultivation) for an active societal workforce. But with us slowly and inevitably turning into lumbering sedentary creatures, it makes no sense to continue eating as many carbs as we are culturally accustomed to, instead resorting to meats and veggies to adequately cover up that deficit. Unfortunately, you need a ton of veggies to make up that deficit, but you can make do with a much smaller sized portion of meat than you're usually accustomed to (as we see with East Asian diets).
> Safe Rust looks absolutely painful painful compared to other safe languages.

It really isn't. It's quite nice to use. The big hangup is that Rust "wants" you to structure your programs according to a certain philosophy. Unfortunately the compiler can't teach you that approach directly, but can only complain when you write programs that don't abide by it.

In my experience, following this design philosophy benefits even outside of memory safety, and I now write code following these principles in every language.

> Correct C is not actually hard to write.

Quite literally all of the available evidence strongly disagrees with this conclusion.

> Correctness is more than just memory safety and avoiding overflows. They are still bugs in programs and languages that avoid those problems.

This is true, but C lack tools to help with any of them. Fixing memory safety and overflows is in and of itself an enormous win, but Rust also has other tools that assist in program correctness (sum types being a huge one).
Also:
Zanclean Flood of the Mediterranean in Sicily computer animation
https://www.youtube.com/watch?v=8Pv3Giw14v4
Not that sure about Polymarket, but Kalshi uses a limit order book and has incentives for market makers to provide liquidity. The prices are set by what people are willing to buy and sell for, not by an algorithm.
Try shaking out a piece of clothing in full sunlight. It helps you see the millions of future dust particles that will come off your clothing.

Over the years I found that of all the dust in my home the vast majority comes from my clothing. I deduced that because the collected dust looks the same as what I find in the dryer, and it feels like cotton too (my by far most warn kind of fiber).

That means rooms are full of tiny particles from your clothes, if I assume that my home is not an anomaly (and why should it be).

Direct sunlight really helps to see how much dust there is all around us, and how with every little movement we create more. That does not even show the particles too small to be seen. The difference is gigantic - without that sunlight you don't see any dust and think the air is clean.

I'm not too concerned, since humanity must have dealt with this for a long time. Particles from fire especially, and there are lots coming from even the tiniest flame. My main worry would be chemicals we add to clothes, but given that by now we ingest plastic pretty much all the time, with every meal, with every breath, we just have to wait and see. I don't see a way to end this long-running experiment.
LGBT rights have been enshrined in US law for over a decade now.

It's time to wake up to the fact that being LGBT friendly is the conservative position. This may come as a shock to people who were cutting edge radicals in their youth in the 1990s - a decade that is now 30 years in the past.
Fantastic book. Really made me think in some new ways.
Your point is misusing a word? The word “hallucination” in no way implies intentionality.
Do you think many users will mistakenly believe Gitlip is an official Git project put out by the same authors as Git?

There can't be trademark infringement unless there is a likelihood of confusion.
“We regret to inform you that the people who were sacked have just been sacked themselves”

https://www5.in.tum.de/~huckle/Sutton_Spinach_Iron_and_Popey...
I recognize the name due to studying CCNA in the past. His name comes up with OSPF routing protocol.
Ah, I see your confusion.

It's "I", me", or "myself" depending on context. The rules can be confusing, but in most context are not ambiguous.

/jk
Honest question: how is this "AI-adjacent"? How does it specifically "simplify the practical application of AI models"? Focus of the question being on "AI"...
Could any of these metro areas ban political ads on TV locally?
https://en.wikipedia.org/wiki/Klystron

Early 1900s electronic devices/components have the best names.
The lengths some people will go to to avoid dealing with nature …

It is pretty preposterous to claim something is “sustainable” that will use man made energy when the alternative is a natural process powered by the sun, for free. There are plenty of agricultural systems out there that use a fraction of the energy required by conventional industrialized agriculture while still being sufficiently productive.
While I won't necessarily agree with Vice City being the appropriate demarcation, I recently learned that GTA Vice City (2002) is closer in time to its settings (1986) than it is to the present day, and that made me feel things.
Corporations have personhood in and of themselves, and not in representation of a collective of people. This is what builds the corporate veil and legally shields investors and operators as individuals, to some degree, from corporate actions.
gitlip is not a good name, but you can be sure that if a new name does not include git it will be a worse name.
Small discussion (13 points, 5 hours ago, 4 comments) https://news.ycombinator.com/item?id=41946853
There are already Python wrapper libraries for PETSc: https://petsc.org/release/petsc4py/

I am not a HPC user or developer, but I have written Python wrapper libraries for C libraries. It is fairly easy to do, but it looks like some of what you are looking for is already done.
The Bio-Marker You're Not Tracking
IIRC in WWII the UK settled on 'fife' and nine, while the US went with five and 'niner'. Arthur C. Clarke's novel Glide Path described the adoption of fife.
This is just another example of how shorting Bitcoin during market hours is such an effective strategy, which is as profitable now at $60k as it was at $20k. This takes advantage of the tendency of bad news to drop when the stock market is open. Federal government offices are closed on weekends, so if bad news is dropped or a rumor of bad news, it will be on a weekday and when the market is open, as has been the case.

Good news can also drop, but there is a major asymmetry favoring bad news and liquidations, and consequently sudden drops of the Bitcoin price. You don't have to work at a hedge fund to find great methods like this.

It also shows why Bitcoin is an inferior investment compared to tech stocks, in which investors do not have to worry about these regulatory risks (except for antitrust, which is a slow, drawn-out process and this can be mitigated with diversification). QQQ has far outperformed Bitcoin even as far back as 2020.
Does google maps use something like this? I imagine all pairs is too expensive, but the topology should be fairly consistent over time
Good point, both are needed: secure parsing and secure rendering.
Sins of a Solar Empire 2, on the other hand, lives up to how good the original was
Already spent way too many hours in Space Age. About to start on Red Circuits and realized I need to completely reconfigure my main bus.

On a more serious note, I'm really feeling like it's safer to buy dlc and updates for old games than new ones. I was one of the people who freaking preordered Kerbal Space Program 2, thinking it would be amazing and so excited for a new KSP. And then it was such a dumpster fire, I haven't played it more than a dozen hours. From a pure ROI in playtime vs cost, I've gotten literally nine times the value from Factorio then I have from KSP 2, and twenty times the value for KSP 1 (my most played game). And I still play both of them regularly.

Why risk wasting $60 when I know these old games are still good?
Words are not reality, they are just data serialized from human world experience, without reference to the underlying meaning of those words. An LLM is unable to build the conceptual space-time model that the words reference, thus it has no understanding whatsoever of the meaning of those words. The evidence for this is everywhere in the "hallucinations" of LLM. It just statistics on words, and that gets you nowhere to understanding the meaning of words, that is conceptual awareness of matter through space-time.