skysight-inc/HackerNews huggingface dataset:
> “Passive House is considered the most rigorous voluntary energy-based standard in the design and construction industry today. Consuming up to 90% less heating and cooling energy than conventional buildings, and applicable to almost any building type or design, the Passive House high-performance building standard is the only internationally recognized, proven, science-based energy standard in construction delivering this level of performance. Fundamental to the energy efficiency of these buildings, the following five principles are central to Passive House design and construction: 1) superinsulated envelopes, 2) airtight construction, 3) high-performance glazing, 4) thermal-bridge-free detailing, and 5) heat recovery ventilation.“ - Nickelsass

So it’s not just resistant to fire, it’s also much more energy-efficient and preserves temperature better.

Would the insulation also make it sound-proof?

And it looks nice. The only problem is I wouldn’t be surprised if it’s very expensive and/or difficult to build.

EDIT: People are saying it’s technically <20% more expensive, but requires specialized, skilled craftsmen and takes longer to build.

If energy prices increase and climate change become a concern, and as new architects who are taught new techniques come around, I can see these being widespread in the future. But for now, probably the only people getting these are people who care enough to sacrifice some money/time/flexibility.
Not at all. Something that you can't easily change is terrifying.

Reproducible? Sure, that's what unit tests are for. Make a change, prove that you didn't break any behavior that anybody relied on.

But if you have to do a three-month-long formal proof run because the specification had a one-line change, then you're not agile, under any meaningful definition.

(Where did three months come from? Thin air. I don't know how long a true formal proof would take. Depends on how many things you're proving, how long your spec is, and how much CPU power you have. I would think, though, to formally prove significant properties of a large code base would take a significant time.)
Give Tubi a try, it's like broadcast TV and the lower tier of cable channels died and went to heaven. Fox news is spending heavily on it at a loss right now so it's in the early phase of the enshittification cycle. (I didn't take it personally when I gave it my email and it showed me retargeted ads for brands I'd disengaged with years ago)
Go in, set up your laptop. Take notes, update the welcome docs, and provide it to the team to consider merging in. Don't go in trying to change everything on day 1. Listen. Provide useful advice. Start providing value. Meet everyone, and understand how they like to work and be managed. Do you need to manage up? Down?
Those are not enough anymore.

Some are working around those values using obscenely complex and big software (including the SDK), to perform "vendor lock-in" (open source or not), in order to deprive the "small" of any digital freedom, and that, staying connected to the world.
Ask HN: Why hasn't AI eliminated graded homework assignments yet?
Since detecting cheating with AI is nearly impossible, it seems logical that graded homework assignments should be phased out.
Big money! Big prizes! … IIIII LOVE IT!
You can run vanilla k8s on a single node too
Sucks to realize, but drones become easy sabotage in situations like this.
I believe we do, given that thousands or perhaps tens of thousands of people go into a controlled opioid coma every single day to spare experience of pain and suffering and then come back alive and well, me included. I'm talking about sedation of course.
Unfortunately, Good To Great is 300 pages of survivorship bias. It picks a group of companies that succeeded, and a group that failed, and then after the fact looks back to try to find what the survivors had in common. I don't know how you come out of that with any prescriptive steps on how to succeed.

It's like having a classroom stand up and flip a coin, ask everyone who flipped tails to sit down, repeat the process until there's only a few people standing, and then interview them to try to understand what makes them good heads-flippers.
I'm curious, are you just surrounded by "Yes men" at work? Do you actually have people who meaningfully criticise you or decisions from your leadership team?
I would say that the "nicheness" depends on how you treat software. Your development process and software architecture are engineering choices you make and these engineering choices affect how well formal specification applies.

I didn't talk about "costs" or about "how hard" it is, but that common practices in software development make using formal methods infeasible. If you want to use formal verification you likely have to change how you develop software. In an environment where there is general uncertainty about architecture and behavior, as is common in agile environments, formal verification is difficult to implement. By its nature, formal verification discourages fast iteration.
I don't get the joke or are you actually suggesting a significant number of homeless people are so by choice?
Why though? What’s the problem this solves?
The best thing about Kaiji is that it falls into one of the most common genres of manga: edutainment. Every challenge is solvable via game theory or social psychology, explained in surprising depth.

One of my favorite things about manga is that regardless of what genre a series might seem to fall into, it might also involve in depth explanations of topics either real or fictional. That combination of soap opera and explainer is so common in Manga and seemingly so rare outside of it.
> The definition of programming is: "creating a sequence of instructions to enable the computer to do something"

I know a lot of Haskell programmers who would take issue with the idea that programming requires a sequence of instructions.
other than the articles, do you have anything? I think if we bring some new info we can get somewhere.
The US could end homelessness but would need to stop immigration and change the constitution which could force people in shelter. Not sure it's the outcome we all want.
People don't freak out about the numbers of immigration, they freak out about what kind of immigration is happening. Me moving on the other side of the continent and a different branch of PIE language family is non-event. The person from the country next after mine and the one after are rising all the eyebrows.
>it is the US you have to convince to move faster...LNG exports must be prevented and substitutes found

>Europeans have, for the most part, done very well

These exports are happening because Europe has replaced its Russian gas with American gas.
Good engineering practice is to use the appropriate level of rigor. It depends on what the cost of failure is, and what the cost of the rigor is.
> I’ve taught developers how to use tools like TLA+ and Alloy in week.

TLA+:

- https://en.wikipedia.org/wiki/TLA%2B

- https://lamport.azurewebsites.net/tla/tla.html

Alloy:

- https://alloytools.org/

- https://en.wikipedia.org/wiki/Alloy_(specification_language)
The average student loan debt is $38k. If you borrow $100 extra per month, and defer your first payment till the month you graduate, your extra burden is $5300 or so or about 14%. The average borrower takes 20 years to pay off the debt. They’d pay it off 2 years earlier without this extra expenditure.
If you use fission, Uranium 235 has 83.14 TJ/kg. So you would need about 500 metric tons of it.
* 92TB nas from qnap in raid 5 (with 2 backup drives ready just incase) - local docs, software installers, plex library, ebook library, hobby files (3d printer, cnc, laser cutter, paper crafting, ham radio configs etc)

* Google drive for some end of life stuff shared with family

* imgur for some less personal images that i want to be able to throw into chat when applicable.
> it's easier to have a high-trust society if you eschew immigration.

citation needed
>One of the perennial questions about proof automation has been the utility of proofs that cannot be understood by humans.

I'm skeptical of an in-principle impossibility of understanding complex proofs. I think computers likely will have, or already do have, a capability for explaining proofs piecemeal, with explanations that bridge from the proof itself to familiar intuitions.

Needing to understanding by increasingly sophisticated bridge explanations may be us getting further removed from immediate understanding but I don't think it crosses a magical threshold or anything that fundamentally calls into question how operational/useful the proofs are.
> post reads a bit like one of those stackoverflow questions seeking a solution to x when that’s not the problem they should be solving

Sort of. They're looking to be a good friend and assuage perceived helplessness in the face of a repeat foe. )=(From a clinical perspective, the most-useful observation in the thread may be the unusual frequency with which this person has seen GBM.)

More broadly, we tell the stories of Sancho following Don Quixote through windmills, or Sam following Frodo to Mordor, because loyalty over reality is itself a reality of humanity. Like Sancho or Sam, our role in that journey is less to weigh its merits and more to keep our hero from cliffs. That, however, means the person playing that role has to see clearly.
I'm not suggesting it's definitively wrong based on my anecdote, I am just speculating that it might not be true and that it's hard to avoid injuries in life requiring MRI. Do you actually have discussions around medical issues affecting you or the people you know? I do, quite often. What is their demographic? I said over 35, which is the demographic I associate with; these people typically have a slew of injuries and medical problems accumulated over the decades, making it more likely for them to having used an MRI machine.
Categories are difference from what I expected as well, I was thinking file types.

This is really nice though. I do like that directories and files are separate. You could probably hack this a bit and give you directories, git repos and files. I know that a git repo is just a directory, with special files, but it's surprisingly often that I find myself wondering if a directory is a git repo.
I am aware. Relying on gas imports of any sort is unsustainable long term (both from a geopolitical and environmental perspective), although they are a necessary bridge until EU energy security is reached.
I remember doing this as a child on our TV that had a picture-in-picture setting. I would set the same channel twice and cross my eyes pretending that it was 3d TV.
This happens to me too. Particularly when it's on a narrow horizontal repetition (like wooden slats on a wall).

I attribute mine to playing a lot of the game Magic Carpet from the mid to late 90's. It had some interesting graphics modes, including Red/Blue anaglyph 3D and a stereogram 3D mode. It was fun to try to play it, but it used noise for the pattern, so you didn't get textures, only blobby shapes.
As far as I can tell, he's not a crackpot, and doesn't say anything that isn't _true_, he just wastes a lot of time going down dead ends, and relentlessly promotes himself.

Like all the stuff about Rule 30 that he writes _endlessly_ about is both true and about 1/100th as interesting as he evidently thinks it is.
this is old news, both sides are doing this, depending on the mission
When they refuse to go inside do you jail them? Some cities with big hearts have been through this before.
Federal Agencies Lack Critical Information About Their Riskiest AI Systems
It is as complicated as you want or need it to be. You can avoid any magic and stick to a subset that is easy to reason about and brings the most value in your context.

For our team, it is very simple:

* we use a library send traces and traces only[0]. They bring the most value for observing applications and can contain all the data the other types can contain. Basically hash-maps vs strings and floats.

* we use manual instrumentation as opposed to automatic - we are deliberate in what we observe and have great understand of what emits the spans. We have naming conventions that match our code organization.

* we use two different backends - an affordable 3rd party service and an all-on-one Jaeger install (just run 1 executable or docker container) that doesn't save the spans on disk for local development. The second is mostly for piece of mind of team members that they are not going to flood the third party service.

[0] We have a previous setup to monitor infrastructure and in our case we don't see a lot of value of ingesting all the infrastructure logs and metrics. I think it is early days for OTEL metrics and logs, but the vendors don't tell you this.
Well, the free side of Fortnite is a PUBG clone. The old, paid zombie/horde side is coop
Are you aware you switched "fruit" for "plant" there?
> You control who can view your records

Is this true? Is the data stored encrypted (or not stored at all in servers)? Or can a sysadmin see it?
Self-Documenting Makefiles
Yeah this is the biggest difference imo. You have to play the game at the senior+ level, that means no more just doing tasks and then sitting back. You have to reach out to people and schedule meeting, you have to be speak up during team meetings, you have to do tech talks and demos.

Upper management has no idea what anyone is doing, they will make layoff/promotion decisions that seem insane from the ground floor, so make yourself visible. I legit am still at my current role because of one demo I did that caught the CTOs eye. I was demoing something that took me maybe ~2 days and was relatively minor in my teammates eyes, but it got my name on his radar so I made the cut.
> Does it also support braces?
No :)

> the source is written as a long herestring and then executed
that's correct but only for single file modules. you can actually have a python like structure comprising entirely of dopy files and it will be compiled in place or in temp dir and executed as a normal python package with distributed source

> Does it have the same speed than normal Python
It's just a transpiler so the code is actually executed by the python interpreter itself. So same speed as python with an extra build step

> Does it support numpy, numba, other packages that use jit?
Not now

> Can a function inside the modified...
Certainly

> Is it possible to do something similar with a decorator instead of a herestring?
Could you explain?
Do you have any resources you could link to - for those that are curious?
CFPB wants to hear about your video game loot
Which I don't really care about tbh
You're going to enter a complex political environment that has developed over years.

Start humble, ask questions, don't alienate anyone, set up 1:1s with lots of people where you ask them for their perspective and advice. Listen listen listen.

Figure out who might be threatened by you and earn their trust.
Good lord, the PKI infrastructure is a completely batshit clusterfuck.
Feedback noted! Too late for me to edit comment. Will see if I can wipe the hallucinating chat.
Ivermectin has been used by many doctors in the past year or so for many different kinds of cancers. Here's an overview of why IVM is a good re-purposed cancer treatment. https://pmc.ncbi.nlm.nih.gov/articles/PMC7505114/
> a “Housing First” approach, which provides people experiencing homelessness with immediate, independent, permanent housing

Could timing have something to do with it? Maybe if the cycle is broken right at the start, when one becomes homeless, it prevents some of the mental health issues and addiction issues that come from living without support for too long. People here in NA often have lived on the streets for years or decades. That's so much trauma, many say it's impossible to heal at that point.
Open letter to Mark Zuckerberg from the fact-checkers, nine years later
You need a citation for you to understand people with similar customs/religious believes, similar dna have a higher trust society than a cities of unknown elements?
It's mentioned in the bottom of the page, but I'd like to highlight that "molly-guard" [0] provides a very similar functionality for at least 10 years.

Since it's so old, it is present in all the systems - "sudo apt install molly-guard" on your server, and your shutdown, reboot, etc.. are all protected, no need for 3rd party tools.

[0] https://www.unix.com/man-page/debian/8/MOLLY-GUARD/
Yes, I know. The fact that I know is reflected in what I wrote: interleaving samples from the inputs.
Minor 387 Documentation Mystery
Yes, you can do it with any of the models running Google TV.
thanks for contributing this! i will definitely check it, was thinking about using https://atlasgo.io/ for declarative sql code, glad there is another option!
That's your assumption. Instead, mine is that it would require some kind of wealth transfer to pay for the social services.
Well actually, I've been telling my eyes to cross since I was a child. I can't describe it, it's like tensing a muscle in the eyes or something and you can control the angle with the tension.
Well, fair. But birds are warmblooded too so that doesn't change much there, and on top of that the difference in requiring bigger lungs for the same amount of oxygen extraction would exactly add much weight per volume, so to speak
Show HN: Daily Tokki – An email-only app for learning Korean or English
Hi HN,

My partner and I built Daily Tokki (https://dailytokki.com?ref=hn-1), an email-only app designed to help people learn Korean or English through personalized daily questions. My partner is a Korean native fluent in English, and we created this app because many language-learning apps cap out after beginner material, leaving learners unsure how to progress further.

Here’s how it works:

1. Each weekday, you get a short, personalized question in your inbox.

2. Reply to the email with your answer.

3. Daily Tokki analyzes your response, provides corrections, and tracks your progress.

The goal is to provide meaningful, consistent practice without the distractions of traditional apps. There’s nothing to install—just check your email, respond, and improve.

We wanted to create a tool that supports learners at all levels, offering tailored questions that grow with your abilities. It’s perfect for busy people looking to build a daily habit or for those who want more advanced material than typical apps provide.

We’d love to hear your feedback about the concept, how it could be improved, or anything else you’d like to share. If you’re learning Korean or English, give it a try—we’d love to know what you think!

Thanks for reading!
It's a sailboat!
Social Processes and Proofs of Theorems and Programs [pdf]
There isn't currently a viable alternative to completely scale out homework assignments, although some classes are adapting to more in-person and/or explanation of homework.
>Just because someone self inflict a wound on themselves doesn't make it OK for an organization to make the wound worse.

Unfortunately this does not seem to be a belief held by everyone. In the US, it seems there are millions who believe being born dumb or poor or getting addicted to gambling is a valid reason to suck the life out of your for profit.
Intent matters. I'm very happy we don't live in a world where it doesn't matter.
Okay I hadn't read about how many calculations it takes to cover the search space, so my equations aren't right about that.

However, you will do yourself a big favor if you take the time to understand why this is wrong:

> if 2^512 calculations costs you $8 then (2^512)^2 calculations costs you $64

The cost per calculation is some constant C:

Cost(n calcs) = n calcs * C

Therefore,

Cost(n^2 calcs) = n^2 calcs * C

In this example, C = $8 / 2^512 = $2^-509

So Cost(2^512^2) = Cost(2^1024) = 2^1024 * $2^-509 = $2^425
What would you need a web browser on Apple TV for? I just Airplay from another device.
If you’re already spending the computing effort to create the VR image…

/s
My sense is that he could well pull the whole house down a là Samson.
What Wildfires Mean for America's Home-Insurance Bills
We're trying to help you understand, and you're stubbornly refusing to swallow your pride and think about what we're saying
> Part of it is, I think, that "elegance" is flowery language that hides what mathematicians really want: not so much new proofs as new proof techniques and frameworks. An "elegant" proof can, with some modification, prove a lot more than its literal statement. That way, even if you don't care much about the specific result, you may still be interested because it can be altered to solve a problem you _were_ interested in.

Do you feel this could be a matter of framing? If you view the "proof" as being the theorem prover itself, plus the proof that it is correct, plus the assumptions, then whatever capability it gains that lets it prove your desired result probably is generalizable to other things you were interested in. It would seem like a loss if they're dismissed simply because their scratch work is inscrutible.
Some thoughts from two-fifths of the way through grad school
My comment was about how tolerance affects the way homelessness is viewed and addressed, nothing more nothing less.
Is diverging harder? I find it easier. Maybe it is from long ago practice on stereograms, but I'm curious if it could be due to neurological/physiological differences.
Programming language that targets the Nintendo Entertainment System
Google Chrome also takes a hard line when it comes to revocation requirements, and Apple wants to limit certificate lifetimes to 45 days. Although neither have stated a position on random revocations, they are directionally aligned with Mozilla and you will be disappointed if you expect either of them to prioritize server operator convenience over the security of their users.

As for Microsoft, they are simply asleep at the wheel, trusting terrible CAs that do things like misissue a google.com certificate <https://bugzilla.mozilla.org/show_bug.cgi?id=1934361>.
For those looking for tracing but less complexity check out eBPF based solutions such as Coroot or Odigos
> For the medical debt angle, the macabre and outrageous 'Repo Man'(2010) is a pitch-dark and fascinating examination of the end-game of medical insurance.

I really hate the twist ending in that movie. Please, screenwriters stop doing that, it ceased to be original like 30 years ago. Aside from the ending, good movie.
1 in 100k chance of taking down Amazon for say a day means the expected cost to them would be 140k per year based on their daily revenue. So in fact it's worth them hiring someone full time permanently to handle these revocations...
Back in the day, I remember an application that 'analyzed' websites for their Rails hallmarks. I don't know if Rails apps are as distinct nowadays.
About the only thing I agree with you in terms of repurposability would be the vertical column. And even then, you have to find the right buyer. For everything else, my intuition is the shredding it down for recycling is by far easier than repurposing. I haven't done any math on it though.
''The collision left the CL-415 plane with a "sizable hole in its wing," said Christopher Thomas, a spokesperson with the California state firefighting agency, Cal Fire.''

https://www.cbc.ca/news/canada/montreal/quebec-sopfeu-plane-...
Docker Desktop blocked on Macs due to false malware alert
Mind sharing that that affordable 3rd party service is?
I wouldn't worry about it. Government officials will find a way to change this ...

Even now there's countries with a tax on unlimited internet on cell phones.