MurphyA/hacker-news huggingface dataset:
by dpc_01234 | 2026-01-08 05:08:42+00:00
Might be obviously, but there is definitely a lot of biases in the data here. It's unavoidable. E.g. many bugs will not be detected, but they will be removed when the code is rewritten. So code that is refactored more often will have lower age of fixed bugs. Components/subsystems that are heavily used will detect bugs faster. Some subsystems by their very nature can tolerate bugs more, while some by necessity will need to be more correct (like bpf).
by goku12 | 2026-01-08 05:08:57+00:00
I don't think murder charges will deter anything at this point. I don't know anything about US laws, but these activities deserve to be charged with and treated as acts of terrorism. At least the foreign nations need to start designating and sanctioning ICE as a state-sponsored terrorist organization involved in criminal activities including criminal intimidation, arbitrary detention, kidnapping, child abuse, hostage taking, human trafficking and murder. Their known leadetship and agents should be captured and tried at Hague if they step outside the US. Deal with them the same as Gestapo.
by Aloisius | 2026-01-08 05:08:59+00:00
I used to eat there regularly. It had been $4.99 for years and jumped to to $5.50 in 2014.

$5.50 - dated March 14, 2014: https://www.yelp.com/biz_photos/taqueria-cancun-san-francisc...

$5.50 - dated February 28, 2014: https://www.yelp.com/biz_photos/taqueria-cancun-san-francisc...

Mind, that's a regular burrito and it was one of the cheaper ones in SF. El Farolito was around $6 at the time. La Taqueria started at $8 for people who liked to splurge. El Papolote's yuppie burritos were like $10.

The price at Taqueria Cancun jumped again in 2014 iirc after La Taqueria won best burrito in the US normalized the higher price and got them some press (Taqueria Cancun was in one of the final brackets).
Show HN: Audio Isolation with SAM Audio for free
by ahamidi_ | 2026-01-08 05:09:04+00:00
Runs local browser instances of Meta's SAM Audio playground so you can isolate vocals/drums from audio of any length without running SAM locally or hosting inference.

- Audio >29s is chunked with ffmpeg

- Audio chunks and prompts are submitted in parallel to the playground via Playwright

- Web UI for storing tracks and re-editing previous outputs

Demo video: https://github.com/user-attachments/assets/d5d3b53d-6ac9-40f...
by iugtmkbdfil834 | 2026-01-08 05:09:55+00:00
If.. and I do mean if there is a concern for life of the officer in question, yes, that is actually the expected response. And also yes, the officers in question are investigated afterwards, because you do want to know if the gun discharge was warranted. I watched the videos from several angles ( what a time to be alive ) and I will admit I would like to see how her car got into the middle of the road, but.. I can't automatically say yay or nay. What I do know is that she had a choice to get out of the car, but chose to press gas.
by pixelatedindex | 2026-01-08 05:10:05+00:00
> If it's the latter, does that mean that the card rewards for Apple Card will get worse?

Can it really get worse? All they do is a 2% cash back if you use Apple Pay, and 1% if you use the physical card. Ok if you buy directly from Apple it’s 3% back but that’s hardly “good” - you get a couple of bucks for buying an AirPod.
by kelnos | 2026-01-08 05:11:44+00:00
Certainly one can get too clever/fancy, but I appreciated that Scala let me express things in the type system that made more of my program confidently correct at compile time than I could do in Java. I hate writing tests, and with Scala, I could write fewer of them, but still be confident that things were working as intended.

But ultimately using Scala at the place I worked at the time was a failure. A couple of my co-workers had introduced it, and I joined the bandwagon at some point, but it just didn't work out.

Many Java developers inside the company didn't want to learn, and it was really hard to hire good Scala developers. The ones who did learn (myself included) wrote terrible Scala for a least the first 6 months, and that technical debt lingered for a long time. When other people outside the team (who didn't know Scala) needed to make changes to our code, they had a lot of trouble figuring things out, and even when they could, the code they wrote was -- quite understandably -- bad, creating extra work for us to review it and get it into shape.

I also feel like Scala suffers from similar complexity/ways-to-do-things problems as C++. I often hear people say things like "C++ can be a safe, consistent language if you just use a subset of it!", and then of course everyone has a subtly (or not-so-subtly) different subset that they consider as The One True Subset. With Scala, you can write some very complex, type-heavy code that's incredibly hard to read if you are not well-versed in type/category/etc. theory (especially if you are using a library like cats or scalaz). Sure, you could perhaps try to come up with some rules around what things are acceptable and what aren't, but I think in this case it's a hard thing to specify, and different people will naturally disagree on what should be allowed.

I really wanted Scala to succeed at our company, but I think that's hard to do. I feel like the ideal case is a small company with just a few tens of developers, all whom were hired specifically for their Scala expertise, with a product/business that is going to keep the number-of-developers requirement roughly static. But that's probably very rare.
by tombert | 2026-01-08 05:11:45+00:00
You made a claim about how RFK Jr. was the only person to fix the food pyramid.

It is unlikely that if you are old enough to vote that you do not remember that Michelle Obama tried to make a more healthy food criteria, and as such it’s very easy to assume that you are acting in bad faith when you say something about RFK Jr that is objectively not true.
by telchior | 2026-01-08 05:12:44+00:00
Those AOL prices were insane. It has admittedly been so long that I'm not sure I trust my memory, but I seem to recall per-minute pricing that could rack up over $20 per hour just from playing any of their text based games. I begged and begged my parents to let me just try one for a few minutes and they very wisely said absolutely not.

A few years went by and suddenly playing MUD / MOOs was free. I honestly miss those days, text-based has a vibe that no graphical game can ever replicate.
by pcblues | 2026-01-08 05:14:05+00:00
Not sure if this has been posted (I see stephenwoo has mentioned him further down), but it's a break-down of how sugary foods damage the body, particularly fructose.

It's 16 years old about 30 years of previous research.

https://www.youtube.com/watch?v=dBnniua6-oM
by nebula8804 | 2026-01-08 05:14:19+00:00
Its a losing battle. I guess people don't really know this but Gen Alpha, who are the kids of millennials born 2013-2025 are the first non White majority generation. Its already over and they are just trying to prolong the inevitable for a few more years while the oldest die off.

I don't know how Gen-Z males will fare long term but at this point all available evidence that I've seen shows they are really done with supporting Trump. Will that reflect in long term shift to Dems? Well Bernie type candidates have always done well with Gen Z but what happens if they play games again. I think a major crash that appears to be coming will correct Gen-Z males for a while.
by tills13 | 2026-01-08 05:14:52+00:00
Tofu being displeasurable is funny to me because it literally has no taste and texture by default. It becomes whatever you put it in or how you cook it. You want crunchy? You got it. Puree? Sure. Sweet? Fine. Salty? Spicy? Tangy? Easy.

People just don't want to actually put in the effort to prepare it.
by fzeroracer | 2026-01-08 05:15:13+00:00
> So is it perfectly normal for a civilian vehicle to just be blocking a street at a 90 degree angle during an active ICE operation where there are other protestors present?

You can't be serious with this line of bullshit. There were other cars stopped to her side and people behind her car. She was waving other people through, of which another ICE car passed right in front of her because she wasn't blocking the other side of the road (in the left full duration video). If someone trying to avoid hitting other people and cautiously waving people through is interfering with the operation then I say this with full sincerity: You're a monster, and I hope you are kept well and far away from the rest of society.
by aurareturn | 2026-01-08 05:15:29+00:00
TSMC is not trailing. They’re so far ahead that Intel’s 18A is equal to their N5 family in density.

Therefore, N2 is 2 generations ahead of 18A by definition.

Therefore power advantage you’re referring to is backside power delivery. This is a need long term but it doesn’t bring as much power benefits as you think. TSMC’s customers don’t appear to demand this feature as highly since it’s been getting pushed back to 16A. The design change for designers don’t seem worth it yet.
Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection
by trissim | 2026-01-08 05:15:41+00:00
I formalized the Single Source of Truth (SSOT) principle in Lean 4 (~2.1k LOC, zero sorry) and proved two core results:

Structural SSOT is achievable only when a language provides definition-time hooks and runtime introspection. Macros/codegen (before definition) and reflection (after definition) are insufficient.
These requirements are derived, not chosen: because structural facts are fixed at definition, derivation must occur at definition time and be introspectable to verify DOF = 1.

Would appreciate review, critique, or independent checking of the Lean scripts.
by hiQloIQ | 2026-01-08 05:16:27+00:00
If narrative coherence is your expectation the only satisfactory resolution is not dig into and normalize the contractual minutiae of the legacy finance system but flush the finance industry and the politically coddled mess it created.

There is no narrative coherence to be found demanding the living honor social debts, contracts of history; yes children believe these successes you never witnessed happened! That surely cannot be used for ill gains.

This smells more like self selection bias. You have been successful and thus prefer care be taken tidying up systemic issues created by our ledger.

Am a Thomas Jefferson fan when it comes to generational churn; the only constant political rule should be to rewrite things every couple decades or the living end up ruled by fiat decree of the dead.
by iugtmkbdfil834 | 2026-01-08 05:17:13+00:00
Ok. First of your self-righteous cries of 'shame' run hollow. And while I am at it, it is a dumb catch phrase. Stop it. You are actively making it worse.

I posit that you know next to nothing about this country or what it is based on. And if you disagree, allow me to point you to:

'He who does not work, neither shall he eat'[1]

just to give you the original 'vibe' of this country. Oh, and before I get to the mean part, since you are bound to not be able to connect how the two are related: sleep on it. Maybe it will come to you if think a little.

[1] https://en.wikipedia.org/wiki/He_who_does_not_work,_neither_...
by themk | 2026-01-08 05:17:43+00:00
Notably, the epidemiological study people like to dump on the most, largely did use natural experiments (i.e. they chose regions, that, at the time, had very traditional diets, without the convenience of supermarkets to mess it all up). They also didn't rely solely on food surveys, but actually measured the meals.

But all that aside, I don't actually follow a Mediterranean diet, and agree that one has to be careful here, because it is not well defined (or, it might be in some circles, but that differs from what the general population might expect).

The only reason I mentioned it was in response to

> The Mediterranean diet is regarded as quite healthy by many health professionals but, it is also high in carbs and fat.

Where I was pointing out that the fats in the Mediterranean diet (by pretty much every measure of what it means to be a Mediterranean diet), are not saturated, and it is usually saturated fats that are considered "bad".

That is, all I was trying to do was clear up the (common!) confusion about fats (they are not all the same).
by manateecalamity | 2026-01-08 05:17:57+00:00
Nice collection. I've always been a little surprised that despite dependency management being a part of every major modern programming language - there isn't really a standard way that dependencies (and nested dependencies) are described or visually shown.

I'd be interested if I'm missing something, but it's just kind of left up to the individual package manager - most of which just rely on some form of plain text format specific to the manager.
by FunnyUsername | 2026-01-08 05:18:45+00:00
> but they have chosen not to

I disagree with this premise. There are many examples of Russia striking civilian gatherings or infrastructure.

For example their Hroza village strike killed 59. If we're trying to be charitable to Russia, it's possible they knew of some important off-duty officer present in Hroza. But with our limited public info, there were no signs of any valid military targets. Can you name any IDF strike that looks worse than that?

> Israel is in a vastly worse place now than it was on October 8th 2023

There was no way Israel could have fought Hamas without significant civilian harm and bad PR. The choice was to fight a very messy war against an enemy that disguises as civilians, or leave them alone to plan the next Oct 7.

As Golda Meir put it: "If we have to choose between being dead and pitied, and being alive with a bad image, we’d rather be alive and have the bad image."
by duskdozer | 2026-01-08 05:18:58+00:00
Some places that would do face recognition would not do gait analysis, and so you defeat those. Additionally, if you prevent them from doing face recognition and they can do gait recognition, they will be forced to use gait recognition, which is likely more expensive or less reliable, which will limit their ability to do it in a widespread fashion or cost them more to do so.

Think of it like cloudflare in reverse. The less of your identity you passively provide cloudflare, the more they will hinder and punish you and your CPU before letting you through to the website. If they make it burdensome enough, you may give in and give over your private data or not access the website at all.
by tombert | 2026-01-08 05:19:00+00:00
I don’t know enough about the military to say for sure if Pete Hegseth’s stuff is stupid or reductive. I suspect it is, I am pretty sure that the military has had pretty aggressive physical training for decades and he contributed literally nothing to this conversation (like basically everything the Trump admin does that isn’t actively destructive), but maybe I am wrong.

The food pyramid was removed in 2011 and replaced with MyPlate, which was much more reasonable than the food pyramid. Of course, it was heavily criticized by conservatives because they claimed it was a “nanny state”.

But of course, like everyone in Trump’s circle, RFK Jr. rebrands someone else’s work, pretends he is the first person to ever suggest eating healthy, and then every stupid Trump voter with the apparent memory retention of a goldfish acts like he was the first person to ever suggest eating healthy.
by buu700 | 2026-01-08 05:19:17+00:00
> It seems to me like this is yet another instance of just reading vibes, like when GPT 5 was underwhelming and people were like "AI is dead"

This might be part of what you meant, but I would point out that the supposed underwhelmingness of GPT-5 was itself vibes. Maybe anyone who was expecting AGI was disappointed, but for me GPT-5 was the model that won me away from Claude for coding.
by stubish | 2026-01-08 05:19:24+00:00
All your multiple PCs have the same Documents folder. Files created on one PC are synced to the cloud and appear in all the other PCs' Documents folders, and will be downloaded to the local storage if you try to access them. You get a small icon next to each file or folder to try and tell you if the files are local or in the cloud or whatever status. If apps are saving data to synced folders (eg. all those many many games happily polluting my Documents folder), then that same data is available to the same app on different computers. Could be good, or bad if the apps are being used on different computers at the same time with no real way of determining which PCs changes win for which particular file.
by AdieuToLogic | 2026-01-08 05:19:41+00:00
> Does that mean that this new partnership will be better because Chase is better at consumer banking than Goldman Sachs, or Chase negotiated a deal that will not cause them to lose a lot of money?

The partnership between Apple and Chase is not new, even though this particular credit card product offering is. There is another quite popular form of payment Apple has supported for years which necessitated this partnership to be established.
by owenpalmer | 2026-01-08 05:20:09+00:00
> fast-food or ultraprocessed food are the cheapest way to get a meat-based meal

Are you sure? Let's take the example of the McDonald's Big Mac which is $6.72 [0]

The between the 2 patties, the sandwich contains 25g of protein (not grass fed beef) per sandwich. It's fair to assume the majority of the cost of the ingredients of a burger is the meat. The rest is pretty cheap because you only need a small quantity of it to complete the meal.

Here are prices of Costco grass fed beef patties: [1]

15 patties for $36.31
Each patty contains 26 grams of protein, which is more protein than both patties of the Big Mac combined.

cost per patty = $36.31/15 = $2.42

cost of Big Mac = $6.72

That doesn't even come close to the majority of the cost of the Big Mac. I could do a full analysis of each ingredient, but I think it's clear from this data that fast food is not significantly cheaper, especially considering that the Costco patties are higher quality.

Edit:
formatting, and also burgers are super fast and easy to cook at home.

[0] https://www.mac-menus.com/big-mac/
[1] https://sameday.costco.com/store/costco/products/20021199-ki...
by ethbr1 | 2026-01-08 05:22:04+00:00
The irony about that is that a lot of the Confederate flag-flyers (ironically enough, overlapping with the Don't Tread on Me crowd) seriously hate the government.

The administration's kept them on side with culture wars red meat so far...

But the further ICE / police militarization goes, the more awkward the situation with right-wing militia types is going to get.
by serf | 2026-01-08 05:22:15+00:00
counterpoint : my father had realistic expectations for what he wanted to do post-retirement.

what actually happened was that he sat around purposeless because it turns out that the motivation of producing a paycheck or product was actually the reason he did things. He stopped showering, became depressed, and neglected his health.

And this isn't an uncommon reaction to the open-ended 'free-form' life post-retirement. Some people very realistically need to have some level of structure imposed on their life or otherwise be taught how to create that structure themselves. I think this will be a very real problem whenever UBI gets closer to reality.
by jordanb | 2026-01-08 05:22:22+00:00
We're still in 1932. Night of the long knives was in 1934 after the Nazis had consolidated power. In 1932 they were still a party of block-headed street thugs with the SA terrorizing people. One of the reasons why they had all their rallies at night (the torchlight marches) is so people couldn't see that the SA were a bunch of meatheads who did not look good in Hugo Boss.
by almosthere | 2026-01-08 05:22:42+00:00
I fell out of love with Java not because of the language, but because it got tied up with DI. Don't get me wrong, the allure of DI is really neat. Make all sort of interfaces and just call the function and it can be implemented by dozens of things. Perfect for a lot of use-cases. But then reality hits, and you eventually realize how complex the entire codebase is because it's pattern 1, pattern 2, p3, p4, etc... People are so obsessed with GoF patterns that they're not getting anything done other than spending the first month on a beautiful API.

Then I got into Python and people were building useful server APIs in a day.

Both have their place, but I think the problem with the first route is that EVERYTHING ends up with Spring or CDI and complexity overload even if only 1 thing will ever be "implemented".
by omkarpathak27 | 2026-01-08 05:22:45+00:00
For years, I struggled to find a finance tracker that ticked all my boxes.

Spreadsheets were powerful but tedious to maintain. Popular budget apps were flashy but often felt cluttered, lacked the specific features I needed, or required me to hand over sensitive financial data to the cloud.

I wanted something different. I wanted a tool that was:

Private: Self-hosted and secure. My data, my rules.
Intelligent: Capable of handling bulk data without manual data entry fatigue.
Beautiful: A premium user interface that makes managing money feel less like a chore.
So, I built TrackMyRupee.

It started as a personal project to tame my own financial chaos. I built a "Smart Excel Import" feature because I hated adding transactions one by one. I added visual dashboards because I needed to see where my money was going, not just read rows of numbers.

Now, I'm sharing it with you.

TrackMyRupee is currently in Beta.

We are actively polishing the UI (adding dark mode, refining mobile views) and squashing bugs. This is the perfect time to join! Your feedback will directly influence the next set of features.

Check it out, break it, and let me know what you think. Let's make personal finance clarity accessible to everyone.
by edg5000 | 2026-01-08 05:23:31+00:00
This is very interesting, for someone not involved in doing chip design, it's very interesting to get an idea of the open source landscape. Very exiting. I like the idea of consolidating some power electronics and logic into a single chip at some point, for example a BLDC driver with embedded MOSFETs, gate drivers and MCU. But this is a pipe dream for now. But I know it's possible.

I already see single-chip battery chargers (admittedly a lot simpler) that do both the charging logic (constant current until setpoint, then constant voltage until current drops below configured threshold).

A lot of stuff could be consolidated into single chips, making PCBs smaller and simplyfing designs.
by themafia | 2026-01-08 05:23:31+00:00
I do pay cash. I don't have a passport. You can opt out of Real ID.

Anyways, the solution, as always, is noise. They leave their data pipelines open and assume all the data is mostly clean. There needs to be a massive technological development for the population to just clog those channels with so much noise they become effectively useless.

DDoS of the surveillance state.
by tombert | 2026-01-08 05:24:29+00:00
BeOS is pretty neat, Haiku too, and I wish them the best, but never quite had the same appeal to me, primarily because I hadn’t really heard of it until I was in my 20’s. As such I never got to mythologize it in my brain like Amiga.

I do hope Haiku does catch on though; I heard they have a decent browser now, so there’s a shot.
by theturtlemoves | 2026-01-08 05:25:27+00:00
Carnivore diet from 2022-2024 and now carnivore by day, keto at the dinner table I can't begin to list the health problems that completely disappeared or went into remission for me. Lapse and I'm a ball of misery for three days. Happy to have gone to carni/keto, wish I'd done that twenty years ago. The best time to enjoy my health would have been 20 years ago, the next best time is now. Glad to see this.
by whtrbt | 2026-01-08 05:25:48+00:00
There was a MUD I read a printout of the textile manual for when I was a kid (didn’t have a computer). It explained how to create mobs and zones, and one of the example characters they used repeatedly was a knight or paladin called Geoffrey. I think it also introduced me to kobolds.

I’d love to find it again and reread it.

I thought it was called Legends but that hasn’t turned up the same thing.