MurphyA/hacker-news huggingface dataset:
by rascul | 2026-01-08 02:38:31+00:00
> But sure they maintain houses. Although just the bare minimum, they will never fix it nicely - just enough to rent it out.

Depends a lot on the landlord. Many will fix it up nicely because they can charge a higher rent. Much of my work is repairing rental properties and I've seen all types of landlords. I try not to work for the cheap ones if I can help it because I don't want my name associated with the crap they want me to do.
by toss1 | 2026-01-08 02:38:52+00:00
>>Designed with privacy and security at the core ...Health is built as a dedicated space with added protections for sensitive health information and easy-to-use controls.

Good words at a high level, but it would really help do have some detail about the "dedicated space with added protections"

How isolated is the space? What are the added protections? How are they implemented? What are the ways our info could leak?, and many more.

I wish I didn't have to be so skeptical of something that should be a great good providing more health info to more people, but the leadership of this industry really has, "gone to the dark side".
by Dylan16807 | 2026-01-08 02:38:57+00:00
> people driving up and down your neighborhood at all hours of the day with a "ad truck"

I doubt that would be an efficient use of money, and that doesn't really seem like crier behavior.

And is that kind of noisemaking legal in most places?

If I need to specify the criers only use their own voice, then consider that specified.

> Imagine if every fedex or ups truck and amazon van you see was also blaring a loud speaker advertising businesses

Blocking that double use is part of why I tossed "independent" into my earlier post.

And door to door salesmen coming onto my property definitely don't count as criers.
by kelnos | 2026-01-08 02:39:32+00:00
I don't think you can say that universally. Some people prefer to rent instead of own. Some people would like to own, but would probably still only be afford to rent even if home prices were more affordable.

Sure, you can absolutely make the argument that for some specific region there are too many rental properties and not enough owner-occupied properties, by looking at the supply, demand, and pricing for each type in that region.

But you absolutely can't say that as a general statement. There is demand for both sorts of housing.
by sedatk | 2026-01-08 02:40:17+00:00
I used to play Aardwolf almost 27 years ago when its address was wolf.mudservices.com 4000.

It was marvelous, and I have my many magical multiplayer moments with MUD which I wasn’t able to experience with MMORPGs or other modern multiplayer games. They are a lot of fun too, but MUD was something else.

I got banned from Aardwolf in early 2000’s because my friend and I couldn’t prove that we were separate individuals connecting from the same modem. They had asked us to count simultaneously in different orders and we had failed the test. We went back to Counter-Strike.
by macintux | 2026-01-08 02:40:30+00:00
I’m reminded of the time, probably 20 years ago, when some viral game was making the rounds. It was designed such that the controls, even the goals, weren’t obvious, but as it turned out, it didn’t respond to my Mac’s trackpad because I used tap to click and the game didn’t recognize my taps.

So, as far as I could tell, the game was utterly pointless. The developer replied to me apologetically on Twitter but I never went back to give it another shot.
by sirusdas | 2026-01-08 02:40:36+00:00
I would like to really appreciate your reply and taking a stand. The only reason for sharing this here is to share something that can help people solve a problem and yes I have used AI while developing this but that does mean AI has developed this solution on its own. For someting which would have taken months has been achieved in days. If people try to contribute with AI, we can achieve even more.
Days have arrived where now AI is doing end to end work and we discarding them too?
Show HN: Knowing What Matters is coNP-complete (Lean 4 formalized)
by trissim | 2026-01-08 02:40:54+00:00
We prove that identifying decision-relevant coordinates in a decision problem is coNP-complete. Finding the minimum sufficient coordinate set is also coNP-complete.

Formally: given state space S = X_1 × ... × X_n and utility U : A × S → Q, a coordinate set I is sufficient if s_I = s'_I implies Opt(s) = Opt(s'). Checking whether I is sufficient reduces to TAUTOLOGY. Finding minimum I reduces to the same.

Main results:

SUFFICIENCY-CHECK is coNP-complete
MINIMUM-SUFFICIENT-SET is coNP-complete (Sigma_2^P structure collapses)
ANCHOR-SUFFICIENCY (fixed coordinates) is Sigma_2^P-complete
Dichotomy: polynomial when |minimal set| = O(log |S|), exponential when Omega(n)
Tractable cases: bounded |A|, separable U(a,s) = f(a) + g(s), tree-structured coordinates
Engineering consequence: over-modeling is not laziness. Determining which configuration parameters matter requires solving coNP-complete problems. Including everything costs O(n). Minimizing costs Omega(2^n). For large n, over-specification is optimal.

This explains: config files that grow forever, heuristic feature selection (AIC/BIC/CV), absence of "find minimal config" tools. These are not tooling failures. They are optimal responses to intractability.

2760 lines of Lean 4 proofs. 106 theorems. Zero sorry.
by fc417fc802 | 2026-01-08 02:41:01+00:00
Yeah but the a local private practice is a fairly small target. No one is going to break into my house just to steal my medical records, for example.

This could also be drastically improved by the government spearheading a FOSS project for medical data management (archival, backup, etc). A single offering from the US federal government would have a massive return on investment in terms of impact per dollar spent.

Maybe the DOGE staff could finally be put to good use.
by netsharc | 2026-01-08 02:42:00+00:00
That's if they ever face a "truth and reconciliation" commision like after Apartheid South Africa.

If not, and if you have 3 hours, there's a documentary you can watch. The director said "It was like I went to Germany 40 years after WW2 and found out the Nazis had won".

There was an "anti-communist" massacre in Indonesia in 1965. The killers were sanctioned by the government who remained in power/are still very powerful nowadays. (When a reformist president said "maybe we can look at this part of the country's past", the rumour was, the army was going to let protesters (who are still gung-ho communist-hating) protest near the presidential palace, and not intervene if/when they invade it.

This documentary follows one old killer and his "journey" from being able to talk about it casually until he ends up meeting his conscience.

Here he is in the beginning: https://www.youtube.com/watch?v=oZqEzIEWzPk

And the full documentary: https://www.youtube.com/watch?v=3TDeEObjR9Q
by reactordev | 2026-01-08 02:42:00+00:00
Old home renovations are expensive because of these stupid codes. You have to bring a house up to code in many cases which increases the costs. You’re right that home renovations are more costly.

For new homes it’s easier just to start “at code” and go from there. However, there are places that have strict building codes on the type of lumber you use for the roof, the frame, interior walls, exterior, etc. Lumber yards who sell this in bulk know this and charge a dozen percentages more for it.

For example, in Virginia, lumber has to be graded for use for certain applications. If you happen to mill your own boards, your SOL. You’ll never be to code. The only way is to grease an inspector.
by Wowfunhappy | 2026-01-08 02:42:24+00:00
> For example, if you close a youtube browser tab with a comment half written it will pop up an `alert("You will lose your comment if you close this window")`. It does this if the comment is a 2 page essay or "asdfasdf". Ideally the alert would only happen if the comment seemed important but it would readily discard short or nonsensical input. That is really difficult to do in traditional software but is something an LLM could do with low effort.

I agree this would be a great use of LLMs! However, it would have to be really low latency, like on the order of milliseconds. I don't think the tech is there yet, although maybe it will be soon-ish.
by defrost | 2026-01-08 02:42:54+00:00
There are several videos floating about the internet, it seems inescapable that soon enough there will be more and some of those will have been generated or altered.

The few that I've seen so far appear authenic, cover a few angles, and show three ICE agents about the car

* one that approached from the side and attempted to open the door causing the woman to back up, turn and leave,

* another that approached from the front and drew to fire when it became clear the car was going to leave,

* a third that stood back a little doing very little.
by potato3732842 | 2026-01-08 02:42:59+00:00
>I'd argue recording people to the point of virtual stalking, selling data, building dossiers, etc is a violation of basic trust and the foundation of a low trust society.

I agree. I'm not sure making the employer-employee relationship worse to prevent it actually makes it better though. Every retail company is doing some amount of security stuff that's adjacent to this even if they're being tasteful.

Can we try "just" making it like normal levels of illegal before we make the employer-employee relationship dynamic worse in any workplace where data that could be used in this way is at all relevant?
by pxc | 2026-01-08 02:43:21+00:00
> I don’t remember hearing that non-Nazis were loudly opposing the Nazis.

They definitely did.

> I don’t know German history very well

Indeed. It's worth revisiting. _The Nazi Seizure of Power_ by William Sherman Allen is available in a variety of formats and may be an accessible starting point for this. It does directly contain examples of resistance and opposition to Nazis, before, during, and after their seizure of power (albeit in just one town that the book focuses on).
by D-Machine | 2026-01-08 02:43:32+00:00
The main takeaway is that "attention" is a much broader concept generally, so worrying too much about the "scaled dot-product attention" of transformers deeply limits your understanding of what kinds of things really matter in general.

A paper I found particularly useful on this was generalizing even farther to note the importance of multiplicative interactions more generally in deep learning (https://openreview.net/pdf?id=rylnK6VtDH).
by rich_sasha | 2026-01-08 02:45:02+00:00
Sure - but not at an individual level. If you're asking, how much tax are the rich paying now vs before, as a % basis, you need an individual numerator and denominator.

Maybe the total tax take now is 17% of GDP, same as before, but when measured correctly, the overall tax rate for the super-rich has gone down, and for the plebs gone up.

To even identify who the super-rich are in this exercise, you may need to be careful with the definition of "rich". If eg you go for highest income earners, you might find upper middle class people instead, with the super-rich having no supposed income as such.
by bane | 2026-01-08 02:45:46+00:00
Before I moved to where I live now, I had a doctor's office open in my neighborhood I could walk to. At first I thought it was amazing and I started going there. It was a really fancy place, state of art, loads of diagnostic equipment and a limited on-site lab, almost a hospital. But pretty soon I realized I was almost always seeing Nurse Practitioners, or Doctors so fresh out of medical school they were still wet behind the ears.

Even worse, they were almost always wrong about the diagnosis and I'd find myself on 3 or 4 rounds of antibiotics, or would go to the pharmacy to pick up something and they'd let me know the cocktail I had just been prescribed had dangerous counterindications. I finally stopped going when I caught a doctor searching webmd when I was on my fourth return visit for a simple sinus infection that had turned into a terrible ear infection.

My next doctor wasn't much better. And I had really started to lose trust in the medical system and in medical training.

We moved a few years ago to a different city, and I hadn't found a doctor yet. One day I took sick with something, went to a local walk-in clinic in a strip mall used mostly by the local underprivileged immigrant community.

Luck would have it I now found an amazing doctor who's been 100% correct in every diagnosis and line of care for both me and my wife since - including some difficult and sometimes hard to diagnose issues. She has basically no equipment except a scale, a light, a sphygmomanometer, and a stethoscope. Does all of her work using old fashioned techniques like listening to breathing or palpation and will refer to the local imaging center or send out to the local lab nearby if something deeper is needed.

The difference in absolutely wild. I sometimes wonder if she and my old doctors are even in the same profession.

I guess what I'm trying to say is, if you don't like your doctor, try some other ones until you find a good one, because they can be a world difference in quality -- and don't be moved by the shine of the office.
by fhsm | 2026-01-08 02:45:56+00:00
Record retention is covered by a complex set of overlapping regulations and contracts. They are dependent on much more than date of service. M&A activity, interstate operations, subsequent changes in patient mental status, etc can all cause the horizon to change well after the last encounter.

As all the comments in this thread suggest the cost of having an extra record , even an extra breached record is low. The cost of failing to produce a required medical record is high.

Put this together with dropping storage prices, razor then margins, and IT estates made out of thousands of specialized point solutions cobbled together with every integration pattern ever invented and you get a de facto retention of infinity paired with a de jure obligation of could-be-anything-tomorrow.
by eru | 2026-01-08 02:46:18+00:00
In principle, yes, but the Pope can't answer every question I have 24/7, so he and his assistants have prepared some literature for my perusal.

And it's not like what the constitution says or what the bible says is completely useless, it's just that when it comes to conflicting interpretations, you look to the courts or the church for guidance.

The Catholic church's official position is a bit more nuanced. The Pope can declare things infallibly under special circumstances, but they place great importance on ecumenical councils, too. (And in fact, to avoid circular logic, Papal infallibility was declared at one of these councils. They might be dogmatic, but they ain't stupid.)

Take everything I say with a grain of salt. Culturally, I grew up in the heartland of the Protestant Reformation where Luther himself went around and preached; and philosophically I veer between being a dirty atheist and a cowardly agnostic, depending on how I feel on the day.

I just treat the theological discussion like Lord of the Ring fans or Warhammer 40k would treat lore discussions.

You might like the chapter 'When God is the Legislator' in David Friedman's 'Legal Systems Very Different From Ours' available for free at http://www.daviddfriedman.com/Legal%20Systems/LegalSystemsCo...
by tptacek | 2026-01-08 02:46:26+00:00
No. I actually don't give a shit whether corporations can buy single-family houses, by which I mean, I don't care if that's banned. My problem is that high-opportunity high-value residential areas are deeply resistant to upzoning and are actively using this "corporate investor" narrative as a reason why they should wait. Corporate investors are not why the inner ring suburbs with the good schools in major metros are expensive; zoning is. This is literally a distraction from affordability work.
Patterns in deterministic settlement/dispute con in P2P/oracle-resolved systems?
by Lions2026 | 2026-01-08 02:46:53+00:00
I'm working on (and hold IP around) an architecture pattern for P2P contest and oracle-resolved systems that focuses on deterministic settlement, dispute containment, and exactly-once execution between outcome resolution and payout.

The goal is to eliminate:
- replay / double-settlement conditions
- ambiguous resolution states
- arbitration loops caused by partial failures or conflicting outcomes

The pattern introduces a reconciliation layer that gates settlement, enforces finality, and holds contested states for resolution before funds move.

I'm curious if anyone here has implemented or seen similar patterns in:
- prediction markets
- fintech / escrow platforms
- marketplaces with disputes
- gaming / contest systems

Interested in architectural feedback, pitfalls, or pointers to teams working on this class of problem.
by ctoth | 2026-01-08 02:47:16+00:00
> Interestingly, ~12% of humans in the US are responsible for ~50% of beef consumption.

Go on...

> One limitation of this work is that it was based on 1-day diet recalls, so our results do not represent usual intake[0].

Ah.

[0]: Demographic and Socioeconomic Correlates of Disproportionate Beef Consumption among US Adults in an Age of Global Warming
https://www.mdpi.com/2072-6643/15/17/3795
by macNchz | 2026-01-08 02:47:26+00:00
This is the thing that makes any conversation about broad categories of food difficult—there’s just a huge range of ways to package those carbs, and people eat a ton of “hyper palatable” foods. A few hundred calories of Smartfood popcorn with a day’s worth of sodium and addicting flavors is quite different in my experience than, say, a few slices of chewy, crusty sourdough bread.
by R_Man77 | 2026-01-08 02:47:36+00:00
Since someone else asked and you said you didn't remember, do you think he may have had Normal Pressure Hydrocephalus (NPH)? And the surgery which he had may have been a VP shunt (ventricular-peritoneal) -- something to move fluid away from his brain?

Quite a mouthful for the layman and the symptoms you are describing would fit. NPH has one of my favorite mnemonic in medicine for students learning about the condition, describing the hallmark symptoms as: "Wet, Wobbly and Wacky."

Wet referring to urinary incontinence, Wobbly referring to ataxia/balance issues and Wacky referring to encephalopathy (which could mimic dementia symptoms).
by kamaal | 2026-01-08 02:48:10+00:00
>>Adam released an amazing book about UI/UX called Refactoring UI[0] and it really helped me become better and understand subtleties of design.

In the age of AI, if you have Table of Contents. ChatGPT can write the book for you.

Only books I buy these days are in fiction genre. Everything else is derived from facts that already exist some where and AI can derive and write the whole book.
by lambda | 2026-01-08 02:48:11+00:00
I eat meat (beef, pork, poultry, and fish) maybe three or four meals a week, and probably about 6 to 8 oz per meal when I eat it. So on a per day basis, yeah, I probably eat about 3-4 ounces of meat per day.

But the source you were quoting was about beef alone. So these are people who eat more beef daily than I eat of any meat.
by kelnos | 2026-01-08 02:49:34+00:00
> If it's not profitable for a builder to build a home they simply won't, whether it's because of bureaucratic red tap or economic conditions.

Right, and that bureaucratic red tape is one of the things that makes the cost of building higher. If the builder expects they won't be able to break ground for two or three years because dealing with the planning commission takes forever, or because they'll have to deal with environmental lawsuits before they can build, then they will need to target higher-end buyers (by building a higher-end property) in order to make a profit. And if they can't do that... right, they simply won't.
by crooked-v | 2026-01-08 02:49:45+00:00
Higher house prices in the US are a consequence of literally every major US metro area having a shortage of housing (https://www.fanniemae.com/research-and-insights/perspectives...). There's no mystery here, just that a lot of people decided to shoot themselves in the foot starting in the 1970s by putting more and more zoning and permitting limits on new housing construction.
by snvzz | 2026-01-08 02:50:56+00:00
>CrossDOS was a combination of mfm.device (asking the disk hardware to do funky things) as well as CrossDOSFileSystem (FAT12 filesystem handler).

The "disk hardware" is a pretty dull DAC/ADC. The track format is different in Amiga and IBM PC floppies, but from the perspective of the Amiga hardware it is identical, as it does not deal with that.

The encoding/decoding is always done in software, and mfm.device just implements the IBM PC track format.
by Alupis | 2026-01-08 02:51:15+00:00
Matt Mahan, Democratic mayor of San Jose, California, on Monday described the tax as "a political plan that will sink California's innovation economy."

Unfortunately, this tax policy has very predictable outcomes. People on both sides of the isle warned of this exact sort of thing, yet CA blazed ahead regardless.

The class of people with the greatest means to relocate are the very ones targeted by this tax. So they leave... and take billions in revenue, taxes and jobs with them.

It's not greed. It's just being smart. CA isn't offering these types of people enough to make this tax worth paying.
by apognwsi | 2026-01-08 02:51:20+00:00
im not even disagreeing with you, but i hate that hn seems to have this penchant to point out that unreasonable assertions may still be true despite being ludicrous. can facts emerge from a hypocrite? yes of course, but prices are not affected by buying and holding a tiny supply, so given that reasonable axiom, it is reasonable to demand more comprehensive evidence.
by OJFord | 2026-01-08 02:51:22+00:00
Yeah me too.

(Just kidding.) Some of it is unawareness of the 'subscribe' button I believe, occasionally you'll see someone tell people to cut it out and someone else will reply to the effect of wanting to know when it's fixed etc. But it's also just lazy participation, echoing an IRL conversation I suppose, that you see anywhere - replied instead of up votes on Reddit and to a slightly lesser extent here for example.
by eru | 2026-01-08 02:51:47+00:00
Could you please link me to the evidence? Which version of the EMH has been disproven?

EMH comes in multiple different strengths. The strongest version would be something comical like 'market prices are omniscient and perfectly predict future prices'. That's almost certainly wrong. Very weak versions are something like 'Don't bother actively trading on the news as a retail investor, because by the time you've heard them, the folks over at Goldman Sachs and the hedge funds and their computers will have traded on them a million times over already', and these are almost certainly true. (But even somewhat stronger versions are probably true.)
by Hnrobert42 | 2026-01-08 02:52:10+00:00
I used to always opt out at TSA checkpoints. Then I decided that of all places, the airport makes the most sense to use biometrics. I mean, a human comparing my face to my ID is functionally equivalent.

What scares me about TSA using it is that it normalizes its use. Next it's at stadiums. Then Wegmans. If it would stop at airports, then I would be okay with it.
by NewJazz | 2026-01-08 02:52:30+00:00
The US did launch a military offensive in Venezuela, albeit briefly. That is not in question. What is in question is the intent, which how do you know intent without accepting the publicly stated intent of the commander in chief?

The bet was, specifically:

This market will resolve to "Yes" if the United States commences a military offensive intended to establish control over any portion of Venezuela between November 3, 2025, and January 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".