skysight-inc/HackerNews huggingface dataset:
> I for one welcome any ban on wood housing construction and hope it spreads far and wide - and certainly will never spend money on a house that fundamentally represents the second of the Three Little Pigs.

Fire safety is great, and if that's what you prioritize buying in your life, all the more power to you.

But focusing so heavily on one variable for something this complicated on a societal level seems like it would lead to a bad outcome because design and engineering always contains multiple competing tradeoffs.

Fire safety is certainly an important consideration when it comes to building, but is far from the only tradeoff to consider: what about building cost, environmental impact, building speed, repairability, and many other variables?

These numbers are pure fiction, but what if improving fire safety by 25 times increases building costs by 4 times, hurts the environmental impact by 5 times, makes the building twice as hard to repair when something breaks, and triples the construction time?
I think they will too. There won't be any incentive in the short-term to do anything about it. I just don't think it's an intractable problem (as in, impossible to solve over the span of a century).
It's the worst on iOS where you have to toggle between the alphabet and numeric layers. Some Android keyboards have the good sense to display numbers above the letters.
Ownership by Microsoft isn't great either, unless you enjoy jumping through hoops to disable their telemetry[1].

[1] https://github.com/dotnet/sdk/issues/6145
This is my preferred strategy, but gets muddled when managers micro-manage code reviews. Maybe that's just a sign of a toxic work environment.

> You're not going to ask your execs if it's ok for you to take time to eat or brush your teeth.

I like this! I could add: machine shop workers don't ask if it's ok to clean up the mess after a job.
Actually this one is a good point and one I had forgotten about since it was after I left the UK.
Unfortunately the author is not very explicit on the interesting formal stuff: 1.implicit and 2.explicit proof-carrying code and 3. verifying compilers with its cost (there are as of today exactly 2 general usable and fully verified compiler implementations: compcert and cakeml), 4. lowering languages to Isabelle or other interesting proof systems as compiler backends (or using codegen for source code and proof like what cogent does).

The author appears also not to know formally proved and domain specific languages, which are "Effect systems" (they check if conditions are uphold) to generate C code.
Generally life is a tradeoff and the same holds for showing semantically expressive properties (or one needs a proof system).

Most languages rely on LLVM and its linker with linker speak, which are both not formally proven to be consistent and both have no model. The spec also does only describe basic hardware abstraction and without a formal model from CPU vendors this wont improve much.

"Cost-model type systems": only sel4. check the blog of the head with papers why https://microkerneldude.org/
I agree. The whole introvert thing is so loosely defined that it covers everyone to some degree.

For example, I find smalltalk with people I don’t really know to be extremely challenging and tiring. And yet with people I do know, or in conversations on topics where I feel confident, I struggle to shut myself up.

I wouldn’t consider myself to be either introvert or extrovert, merely some set of personality traits.
I love this. All the talk of low-code-no-code now have never heard of FrontPage 98.
It’s not just about reinforcement (like rebar or steel frames) but the concrete mix used. Even though it might not look it, most concrete used in buildings is flexible. The most earthquake proof building in SF is probably the Salesforce tower, which has a concrete core, not a low height timber framed house. Concrete has other great properties as well - it is waterproof, doesn’t rot, and is fireproof. On the emissions side, you can get flexibility and lower emissions by using newer air-crete mixes:
https://www.infrastructurist.com/what-is-flexible-concrete/
> The self-aware joke is /r/suberbowl, which is commonly mistaken for a football game, when it's really a place for suberb owl pics.

https://www.reddit.com//r/suberbowl

> This subreddit was banned due to being unmoderated.

Aww, it sounded funny. It's a shame reddit couldn't at least leave a read-only archive up. I tried archive.org but there's not much there.
This is what the Internet is for.
The key thing is that it’s the one line of `grid-template: auto 1fr auto / auto 1fr auto` that’s doing the heavy lifting in the layout.

The job of assigning elements to their places could also use named areas:

.ex5 .parent {
display: grid;
grid-template: auto 1fr auto / auto 1fr auto;
grid-template-areas: "header header header"
"left main right"
"footer footer footer";
}

.ex5 header {
grid-area: header;
}

.ex5 .left-side {
grid-area: left;
}

.ex5 main {
grid-area: main;
}

.ex5 .right-side {
grid-area: right;
}

.ex5 footer {
grid-area: footer;
}

Or you could lean on auto placement more heavily: in the original code, the left/main/right grid-column declarations are superfluous, and `1 / -1` is arguably clearer than `1 / 4` for the header and footer:

.ex5 .parent {
display: grid;
grid-template: auto 1fr auto / auto 1fr auto;
}

.ex5 header,
.ex5 footer {
grid-column: 1 / -1;
}
I think it is costly but I'm just very skeptical about how much cost and trial and error you really can avoid when actually doing / building something. For example with the surgeon I would say it's really important that she is quick, pays attention and is calm and reacts to new problems. Speed itself is a huge thing because thinking doesn't help you if the world moves on while you're thinking. I think people underestimate how tactile and sensory most problems are, even 'intellectual' ones.

Another example is John Carmack recently pointing out how useless it is to talk about the 'metaverse' in abstract terms. When really you need to understand how the nuts and bolts and gears are engineered and hang together. The people who really build things often stay intentionally away from generalized wisdom.
I'd bet on a future language that makes it easy to program professionally on mobile devices.

Yes, I know that for us "real" programmers this is dreadful, but it would make programming more accessible and this could have interesting network effects on our society.

I'd imagine that this language would have some traces of visual programming (like Enso[0]) and the denseness of APL[1].

[0] https://enso.org
[1] https://aplwiki.com/wiki/Simple_examples
Lol bitcoin and this failed state are a perfect match
Not particularly. Today I heard of a musician friend who lost a bunch of equipment in a house fire in Texas. They’re mostly stories similar to that.
Meanwhile many other cities are exploring mass timber more and more. This allow building larger snd taller buildings out of timber.

I’ve seen a few lovely mass timber buildings built.

These are radically different than the stick frame construction which is of dubious origins.

https://youtu.be/2gWxRVqNI3M
This list, together with already mainstream features, turns a programmer’s learning curve into an uncompromising cliff. It’s clear that right now big software has to be formal to live longer and stay healthy, but for me it feels like we’re losing something important on this way.

Computers ought to be our helpers which could understand our plans and implement them properly. Instead we are burying ourselves and those who will come later in what is essentially a deep math. And our software doesn’t even get faster or better, it just fits whatever performance:annoyance ratio is acceptable at the end of the day.

I think, and this is more of an intuitive rather than an informed guess, that the current practical languages are still too low level and that may be one of big reasons why software development is so complex. You probably feel it too, when you have to either A) go find, copy and fine-tune yet another boilerplate or a snippet, making it again too hairy to use as is next time, or B) use a standard solution which almost implemented another programming language on top of its configuration and isn’t really much easier to use than if it were just a from-scratch code. Shovels get better, but we are still digging careers with them.

And we had predecessors of a theoretical language which could be high-level enough to make programming great again. E.g. FoxPro with all its DOS restrictions was a platform where one could read, write, iterate, update data, never thinking how to map classes to tables or forms, or how to make it run. Or Delphi, in which most students could write client-server apps by dragging tables, queries, databases and forms right from a toolbar. The entry complexity skyrocketed since then or, more precisely, returned to “serious” levels of heavy C++ setups which only seasoned programmers by trade could manage without pulling hairs.

I don’t think that human[ity] will become any significantly smarter in the near future, and that, together with our all time high software demands, means that we will experience a disabling shortage of software developers until we fix our internalized tolerance to the increasing complexity.
I never knew that wood construction was considered safer than concrete construction when it comes to earthquakes.

Even the smallest of residential houses here (Serbia) are constructed with reinforced concrete as the base and reinforced concrete pillars, with brick walls filling in between the pillars and floors and ceilings: basically, a house is a reinforced concrete box that can move independently from the ground, and that's supposed to guarantee earthquake stability (it's definitely not done for fire reasons, since roof construction is still predominantly wooden). Construction standards have been heavily modified post-1963 Skopje earthquake (https://en.wikipedia.org/wiki/1963_Skopje_earthquake).

Buildings such as Ušće tower, built in this style, have not survived a big earthquake, but I imagine surviving a couple of tomahawk missiles is a good enough reassurance of stability: https://en.wikipedia.org/wiki/U%C5%A1%C4%87e_Towers#NATO_bom... (though I am fully aware that earthquakes and missiles are completely different when it comes to shocks a building experiences).

Interestingly, concrete based construction is one of the cheapest around here, possibly because most houses are built that way.

So I wonder, how prevalent is reinforced concrete use for houses in USA and esp California? Are there many houses and buildings built with insufficiently-reinforced concrete? I know that wood is a predominant construction choice, but what type of reinforced concrete are you comparing it to?
Are you sure? What language are you referring to?

For example, although Java method definitions are essentially defined in terms of tuples, function classes and objects in Java are all entirely nominal.
Good 99% episode on this style of house. Very hard to decorate and furnish https://99percentinvisible.org/episode/bubble-houses/
I hope you feel better. It's been a tough couple of years. Take care.
One way to have better information about the situation is to not shoot them.
These have been built since the 70's, the quickest constructions were essentially inflated balloons that concrete loaded with Styrofoam was spread over, after curing the balloons were deflated and used for the next unit.

Pretty similar construction here, tons of other examples (really, too many to even list) in various publications:

https://www.motherearthnews.com/green-homes/foam-dome-zmaz80...

I really do not see the novelty.
Ask HN: If you could work remote in any city in the US, where would live? Why?
Wood construction doesn't mean bad fire safety.
Nice, I recently tested out SAM for a webhook I deployed which was quite smooth, but this is definitely a step in the right direction.
I am thinking about creating my own SaaS. Do you happen to have an invite?
> Deer don't generally hang out on busy roads at the best of times.

Deer hang out wherever they find food and cover. If there happen to be busy roads in the vicinity then you find them on busy roads.

Busy roads also have lights; deer make use of available illumination. The frequency of deer collisions increases with the full moon because of this[1].

I have a light pole on my property and deer hang out near this. Almost every night I step outside I startle a few; there were two does under it last night.

[1] https://www.popsci.com/animals/hit-deer-time-of-day-year/
Gonna shoutout F#'s unit-of-measure types

> It's "small" but rather important not to mix units!

With unit of measure, it's possible to easily/simply create types like CustomerId, which is actually a Guid/Int under the covers. Means you can't pass a CustomerId to something that expects an OrderId. These types are erased at compile time, so there's zero effect on runtime performance. It's lovely.
I would absolutely do web backends in Rust, with Go as the backup choice. Python doesn’t feature in my top 10, and nor does JavaScript without TypeScript to make it even moderately reasonable.
I don't see specs (or prices); that always makes me suspicious. It looks like they're looking for developers to pay for 100's of these at a time, so this clearly isn't an option for a typical contractor or home build.

How does it handle fire? Earthquakes? Wind? I see that the panels are joined; have there been stress or pressure tests for leaks? And how difficult/expensive are repairs? Does the surface attract mold?

It seems like a safer bet would be to use this material as a combination sheeting+insulation in traditional homes, but I'll bet it's more expensive, so they're trying to sell it as a complete solution to throw out the costs of foundation and framing.
The historical uses of this line of reasoning are plain to see: it has been used to justify racial theory, eugenics, sterilisation of the mentally deficient.

I believe I understand how strongly some environmentalists believe lower population is "the answer" especially in an Australian context of concern about water and carrying capacity of an overwhelmingly arid landscape. This isn't a random belief, it's grounded in some simple economics about the environment. I just think it's usually over simplified, and lacks rigour.

The problem is that the historical associations to racism have to be confronted. And they rarely are. Oddly, the same people who push this small carrying capacity line often also oppose Gates and others working to improve access to contraception and abortion. Perhaps the Indian emergency under Indira Gandhi and the Chinese mass sterilisation campaigns left "scars" of concern.

Dick Smith didn't do enough to distance himself from Pauline Hanson.

(I am not a small Australia believer btw. Even noting the above we could have environmentally acceptable 50m population here)
I believe his opinions stem from the idea that Australia and other nations should work out how to live without growth, and that never ending growth is going to destroy the country and the world.
Much easier to pressurize and keep airtight than something with 90 degree angles.

That's why the ISS is shaped the way it is, cylinders joined with circular joints.
Speaking from personal experience, writing something once increases the chance that future me will say something in direct conversation with at least one other person. So for me, there is a positive, non zero benefit.
> Not a lawyer but had a brief introduction to the entrapment defense as a youngster. As explained to me, in the US, an entrapment defense requires the prevention of choice on the part of the criminal.

Not quite. It's more like that the LEO entices or coerces the alleged criminal into committing a criminal act they otherwise would not have done. A legit sting just offers the opportunity to commit an illegal act. Once law enforcement starts using persuasive or coercive tactics, then, you cross over into entrapment. That means that both of your scenarios are actually legit stings, absent any further interaction.

See https://www.nolo.com/legal-encyclopedia/entrapment-basics-33...
> Unlike other auto-wipers I've used in the past, the wipers on my Telsa Model Y are fantastic. By that mean, in nearly a year of driving, I've never once manually adjusted the wiper speed (or even thought about it)

I disagree. Dirty windshields and worn out blades often make them act erratically. Anyone who lives in a snowy climate knows how salty roads instantly cover your windshield and turn it into an opaque screen without constantly spraying it. I've seen them turn on just because the windshield was dirty, there wasn't even water on the windshield.

Here's a pretty ridiculous video of some guys showing how the wipers will turn on for just about any kind of obstruction of the camera. https://www.youtube.com/watch?v=0SSYFMtdJ5k
You can use concrete loaded with an x percentage of styrofoam as a filler to get something approaching dial-a-density. As you add more foam the insulating properties get better but it gets structurally weaker. Ideally you'd layer your densities, more solid on the outside, more foam on the inside. That would also make affixing things and joining the panels easier.
Library Athena (volumes from Project Gutenberg)
What stops me from copying the image and using it?

Games would need to implement a mechanism so users could only use an NFT as an avatar. Or it'd attach a little tick to show you're the verified owner. Or something.

I've thought about this for about five minutes. I don't have a full working solution.

You might find that there are other issues that explain why X hasn't been done.

"It hasn't been done so it probably can't be done" is a really dumb attitude. It's utterly defeatist. It could simply be that no one has tried yet. Or the wrong people tried. Or people are trying right now and you haven't heard about it yet. Not seeing something is not evidence it can't be done. That's beyond ridiculous.
Last week an English high court judge said

> protests “causing some degree of inconvenience are to be expected and, up to a point, tolerated” in a democratic society that recognised the right to freedom of assembly.

(but in this particular case, the protesters went too far by breaching earlier court orders.)

Whether it ends up hurting their cause in this case remains to be seen. They were trying to be jailed before the COP conference began, but despite continued illegal protest nothing much happened until afterwards.

https://www.theguardian.com/uk-news/2021/nov/17/nine-insulat...
I agree. Tech debt planning reduces down to x% spent on "fixing bugs" which never works (or at least I've never seen it work). Explicitly engineering fixes to actual definable problems is the best solution, but it takes effort. Complaining is a lot easier :)
It's actually debatable if concrete in (most of) modern construction is on par with Roman concrete that lived to this day.

Sure there are compositions that are in fact better, but are they used in common buildings? I think the answer is 'no,' since costs won't cut themselves.
I wonder how people recognize you from your writing since your face isn’t attached to it.

I do see the micro-celebrity in action with my adult son, who is a YouTuber. People recognize him pretty often, so his small following must be relatively local and has this effect. But that’s video where he can easily be recognized.

On a related note, I often wonder how people are so sure it’s him. If I see a video of someone, I’m not likely to recognize them in public. Perhaps I have a bit of this condition of an inability to recognize faces mentioned in the article.
Thats the kind of lack of self awareness and disregard for other's you'd expect to hear out of a sociopath
In an adversarial legal system, no one represents "externalities".

Parts of Australia have a deer problem, but despite cultivating a reputation for deadly animals, most of it lacks large terrestrial predators, so introducing wolves is an even harder sell than in the US.

It also has prior historical experience with introducing a species to address a previously introduced species, which then becomes a problem itself: foxes for rabbits; cane toads for cane beetles. cue Simpsons
I’m surprised to see so few responses of the state of the world and climate change. huh.

Also, whats up with Pew’s sample? ~9,700 people 18+ in the sample and only ~3,900 are 18-49. Surely that should be the bulk based on demographics… or at least more than 40%?
There's no point in arguing about the facts of the Rittenhouse case, because everyone has seen all the video and decided where they stand on the issue. Arguing about it will only lead to a flamewar.

So let's posit that you are 100% correct - Rittenhouse went there with the explicit goal of shooting people, killed multiple people, and was not convicted of any crime. Do you think anyone looks at that scenario and thinks "and it was totally worth it, I want to do that too"? He's going to be looking over his shoulder for the rest of his life. He's 18 and effectively has no chance of living a normal life unless he moves to another country and disappears. He very easily could have been killed by skateboard guy, or knocked out by jump kick guy and beaten to death, or shot by Grosskreutz.
Avoid tail risks.

In other words, try to avoid circumstances that can kill you or severely harm you, even if the risk is small.

Means no riding bicycles, taking medicines with horrific side effects (unless I'm actively dying), surgeries (unless absolutely needed), skydiving, helicopters, and walking next to traffic.
In America/Canada? No, not commonly. Basements walls sometimes use concrete blocks, but structural brick buildings in general are very uncommon.
That service is more than a decade old.
> since I can only ever build on strength. I fix my weaknesses where I can, but I don't pay my weaknesses too much attention.

I think Warren Buffett calls this "Circle of competence" He tries to stay in that circle and avoids things outside the circle but also working on making the competent circle bigger.
This has annoyed me in the past: https://stackoverflow.com/questions/9883851/why-git-ls-files...

It's a useful command that I consider to be relevant to end users, not just an internal "plumbing" utility
50 years here, over half of which have been in Southern California, and I’ve never met anyone who has lost possessions either.