skysight-inc/HackerNews huggingface dataset:
anything not N₂, O₂, argon, or H₂O is possibly air pollution, though some things are more harmful than others. many mundane things indoors give off VOCs (volatile organic compounds), from couch cushions to stained/painted woodwork. carbon dioxide, carbon monoxide, and ozone are air pollutants too. then you've got particulates like soot, smog, dust, pet dander, fly ash, dust mites, mold spores, pollen, etc. and then anything that smells from candles, perfumes, and soaps to smoke from cooking is more pollution. and that's just the stuff in the air (much more of a risk to humans than airborne viruses btw).
Probably not. They solved the problem in a different way than us, but because of how patents are written their patent covers our tech too. They actually acquired the patent by buying a startup, so they even have a ready-made team to implement.
This is really incredible work, wonderful in fact, but at the same time it simply excites me for tools that go further.

Having to key in the correct tactic to fill in a program still involves the same actions required by typing a program as text namely thinking (identifying which tactic is the correct one) and typing (keying in the tactic). A system that “derives the obvious functor for a data type automatically”, permitting overrides would be more useful.

For most programers the ROI on learning tactics isn’t that high. It effectively entails encoding the basic things they already understand like pattern matching into more abstract jargon that, while more general, requires further study to use properly. Most of the time, especially for complex cases, it will be faster and lower effort to just write the pattern match yourself rather than have to think in terms of sequences of abstract operations and recall that “oh I need ‘homo a b’, ‘refl’ here or w/e (some might disagree, but I find thinking in terms of concrete matching on symbols is much easier than thinking in terms of sequences of tactic/proof operations, recalling what they do, etc.)

For this reason, I personally don’t think programing with theorem proving/tactics will take off until the basic derivations are entirely automatic and tuning them to a complex or custom use case is a matter of easily retyping one or two proof lines.
Agreed, I didn't mean my last post to be a rebuttal of yours. Just more conversation in it. :) (Is why I called it amusing.)

I get that most forum posts are point counterpoint things. That said, it isn't the only way, is it?

I'm curious how true it is that text transcription is solved. Judging from how badly my home speakers with at times, I'm sceptical. This is especially true in most environments with many people talking. Just getting a "stop" in while my kids are in the room is already difficult.

Edit: I see my mistake. I should have said "it is indeed an adhoc shorthand". I did not mean to make it like I was introducing the point.
> No air is being cycled around the room keeping dust down.

I don't get this. Moving air around your home is absolutely wonderful.

Even if you have no heating or cooling going on, keeping a constant flow of air helps keep dust down by filtering it, helps even the temperature (maybe part of your home heats up in the afternoon) and most importantly keeps the CO2 levels consistent.

If I turn my HVAC fan off, any room I'm in will climb to almost 1000 ppm CO2 in hours. If I leave the fan on, every room stays well below 600 ppm.

Flipping the fan switch from "auto" to "on" on my thermostat has been one of the best quality of life improvements ever.
I've looked into creating a Faraday cage for my bedroom for the potential benefit of increasing sleep quality by blocking RF. I live in downtown Seattle where a cellular tower is visible from my house and the measured RF around me is quite noisy.

From my research it is definitely not trivial to pull off. There are RF shielding canopies you can put over your bed but they are 1k USD+ and quite unsightly. Then there is the possibility to paint the interior walls with RF shielding paint but you have to ground it correctly or you could be introducing more problems for yourself than you're solving. With either solution, I live on the 3rd floor and it's unclear if I would also have to ground the floor underneath me, or essentially "trap" RF emitting upwards into my cage which again would create more problems than they solve. After contemplating all of these possibilities and pitfalls, I decided to put it off for later until more tried techniques have been advertised.
Essential Craftsman is my favorite YouTube channel! I've been loving the spec-house series.
Offtopic but Team-BP is an excellent forum discussing the Automobile Market in India. The posts are of high quality and they have a pretty high barrier of entry.
So, yeah, I'm glad you're a free-market guy because I don't have enough free-market guys to drink beer and argue with. Although I'm not drinking beer (if you are, cheers), and we're not really arguing.

I am curious what the mechanism is from the free-market side to prevent increasing income inequality, and regulatory capture by corporations and the wealthy? If we de-regulate, what stops Bezos and Exxon, EvilCorp, and whoever from doing whatever they want (assume for a second that's not already happening to some extent under the current setup)? I guess that there's a market-based mechanism that is supposed to prevent that, but I don't know enough libertarians to have heard the argument.

I'm not convinced we should legislate our way out of anything either, but I can't get over the idea that deregulation = noone looking over the shoulders of those with absurd amounts of money and the wolf eats the whole damn henhouse.
Lol. I want to type full words, and feel that doing so is near frictionless. I access around 70 environments regularly, many of which are frequently re-imaged during testing, and I appreciate the fact that typing works the same on all of them. My co-workers also appreciate that I am not installing weird typing macros on our devices.

Efficiency for me is not the same as efficiency for you. Deal with it.

I'll also add that something like vim is specialized and very useful. It is easier to use vim in a mouseless environment, which is sometimes a necessity. I use it fairly well, and it has paid dividends on the time invested. I can appreciate the value of a good tool.

But typing speed is not the same as efficiency because standards are efficient in their own way. I'm sure you'll say "oh, you don't value words and have nothing important to say", but that's a ridiculous argument. It is simply that, in my opinion, this type of thing is not worth the overhead it creates, much like extremely customized vim configs. Time is invested in the pursuit of efficiency, and it is never returned. One day the config ceases to function correctly, or your friend/coworker/family member tries to use the keyboard and can't use it effectively, so it gets disabled.
Background: structural engineer, have worked with prefab construction in various capacities

The short answer to this question is "because we haven't figured out how to make it less expensive than regular site built construction".

The longer answer: prefab, or modular, construction has made inroads in various construction niches. Parking garages are nearly all prefabricated concrete for instance. Light framed buildings (either wood or cold formed steel) frequently have their structure panelized off site. Hotels (especially in places where the cold weather means a short construction season) are sometimes built using prefab modules.

It's also super common to have prefabricated lower-level components - wood trusses, bar joists, hollowcore panels, etc.

But any higher degree of prefabrication tends to be more expensive than conventional, not less. They mostly get used when their perceived benefits outweigh their costs. (If you look at a panelizer like Entekra's benefits page, they don't list "cheaper"
anywhere). Two major exceptions to this are parking garages and HUD homes, which (among other reasons) are heavily optimized for a particular form factor.

Regarding Bone Structure, it's an interesting system, and I love seeing people tackle this problem space. But I rate the chances of a custom fabricated steel structure ever being less expensive than conventional wood framing as "very near zero". This seems limited to the high end custom home market, and their marketing material seems to indicate that as well.
You're not forced to. You get a bunch of different tools in any platform with different degrees of curation. In spotify the most automated ones are Discover Weekly, radios for any track/artist, and daily mixes. You also get playlists made by other people (sometimes hard to find), but the browse section is never curated for you, it just has fixed playlists there. I have discovered orders of magnitude more music since streaming hit the scene.

And I'm fairly sure spotify's competitors also give you the same kind of options with different degrees of curation (if that is a word).

If what you are asking for is "I want a magic DJ that solves all of my listening habits" then I think no app will do that.
Thank you, I was shocked by OP saying the only difference between Winamp and Spotify was social sharing...
You seem to forget there is are a ton of people who grew up on bare metal and know it quite well. And they can squeeze far more performance out of it then you could ever hope to see with outsourcing business-critical infra to a supplier who literally doesn't give a shit about you.

Have fun with an army of one-trick pony hires. One old-school diehard computer nerd knows enough to supplant 10 of those fools, but only costs 2x.
sorry, it doesn't matter
DND with contacts excepted is good, but it has another failure mode: food delivery. They do tend to call twice, but the whole thing is more pleasant when disabling DND at time of ordering. Naturally, reenabling DND tends to happen only after the next spam call.
The sad reality is that this would have normally been obtained by the local news and these two people would been blasted as criminals. If it were Ring, Amazon would have already used it in a commercial.

The other sad reality is that everyone looks like a criminal in these videos. Scum web sites and news media rely on this. Nextdoor, where you at?
Groupthink. "Groupthink is a psychological phenomenon that occurs within a group of people in which the desire for harmony or conformity in the group results in an irrational or dysfunctional decision-making outcome." That about sums how I would answer the question posed in the title of the article.

https://en.m.wikipedia.org/wiki/Groupthink
> So if you are in a basement that is cold and the outside is hot it will just bring in outside air instead of turning on the heater.

Uh. Purpose of the HRV is to attempt to preserve the inside heat (usually both latent and sensible, using a rotating exchanger wheel) while bringing in fresh outside air.

They allow you to seal the building up really good, which is good for energy efficiency, without having insufficient ventilation and getting high CO2 levels.

Because they're not perfectly efficient, you can use them to move the inside temp closer to outside-- but just plain outside air exchange would do it better. :)
There's also PowerAmp which (iirc?) was a fork from the apk. It's not perfect, but it's better than most players.
This is a really weird requirement from my perspective...
Is it now recommended rather than experimental? I expect some legacy apps that uses local OEM codepage would be broken.
From where did you pull out 2%? Out of your ass fucking retard?
interesting that nobody here talks about how Sid sold and marketed his games
I don't know when the last time you checked was, but downloading your data from Strava is very easy.

https://support.strava.com/hc/en-us/articles/216918437-Expor...

I just downloaded all my data and it only took about 5 minutes for them to send me the link. (I have about a year of data.)
See also: countries that maintain a military big enough to fight off an attack from two hostile star systems at once, never mind two hostile countries.

It's the ultimate jobs program.
Curious where you are located.

I was talking with our high end GC in Texas and they basically said Geothermal for heat exchange never seems to pan out for clients after the numbers are run. This seemed surprising to me.

Some of the other stuff you mentioned came up, we also talked about if homogeneous household temperature was something we cared about because keeping the whole house 68 is way more intensive than having some variance in different spots of the house.

Also breezeways are awesome in hot climates.
And great question! The hashing heuristic is a bit of a cute trick and I definitely glossed over it a bit in the post. I'll try to elaborate a bit more here...

> most hashes ... are essentially one way functions, ideally preserving no information about the input at all

You are correct, an individual hash does not preserve any information about the node, nor does it approximate rank in the union-find graph. We only get the effect in aggregate when many unions are performed and we repeatedly hash and select the lower value as the new root.

The hash for a given node in the graph is deterministic and fixed. It is effectively a random value. But the hash for a tree of nodes (aka the hash of the tree's root node) decreases with each union operation. This is because we select the root with the lower hash to become the root of the combined tree every union operation. As a result, the node with the lowest hash is the root of each tree. With more union operations, larger trees will tend to have lower and lower hashes - effectively approximating a rank.

Put another (more handwave-y) way, we essentially roll the dice and get a fixed random number (hash) for each node in the tree. Since the tree is assigned the lowest random number contained within, larger trees will probably have lower values than smaller trees (more dices rolls to get a lower number).
Not a single radiator on that thing.
Where are you located and what's the usual temperature pattern throughout the year?
Same. This is much more likely to be a problem of poor surface prep and cheap paint than of the paint being too thick.
The label on the packaging reminds me of Paolo Bacigalupi's "The Calorie Man", dystopian near-future sf about what could happen if all the viable seeds were patented ( http://www.sfcenter.ku.edu/Sci-Tech-Society/WINDUP-STORIES.h... ).
This was very informative thank you.

What trends do you see in architecture/modern (as in tools, best practices and techniques) design and home building?

Also could you recommend any good primers on these ideas/problems for the layperson?
I'm going to try this out at some point this week, but the one item that makes me pause: the sitemap. Hugo is fast, but it doesn't do incremental builds. Once you get to the point where you're publishing 10's of thousands of posts, Hugo starts to get real slow (like 20 minutes to build, even after enabling template caching), so an increase in speed during build time is welcome. But once you get to 50K posts you realize that Hugo doesn't follow Google's convention to break your sitemap into separate files with an index map[0]. Hugo doesn't have a handler for this and as of now I haven't figured out how to modify the sitemap compilation process to be compliant (not like I've tried too hard, I'm not native with Go and the code isn't clear to me where the sitemap is being built). If Blades would handle the sitemap issue for me without needing a plugin or modification, that would be huge for a lot of people on the Hugo community boards.

[0] https://support.google.com/webmasters/answer/183668?hl=en
If we grant the patent they they get to decide how low our nanobots last... maybe a monthly subscription we can sign up for.
Was looking for exactly this a few months ago. I wish this weren’t in Java but not a deal killer.
I agree, the entire patent system is insane and simply a power grab. If we eliminated the patent system, we would see the largest boost to economic growth in history as entrepreneurs everywhere suddenly entered former monopolies with much better products and services.
Researchers crack question of whether couples start looking alike
I think the author meant anti-trust as breaking up, not regulatory intervention. Regulatory intervention in the UPI case is more proactive and constructive as opposed to reactive breaking up.
My Discover Weekly was really garbage awhile back until I made an effort to listen to a bunch of music of different genres that I'm into for a week or two. Also make a point to favorite stuff you'd actually like to listen to again.

It really improved after that and it's typically pretty great (with some weeks being exceptions). For reference, I've got 1,272 tracks in "Liked".
This is more than a little terrifying... Not only could they move heavy weapons and troops very quickly with this (enabling a small force to control a much larger nation), but it could be used for very large scale nuclear, biological, and chemical weapons.
Thanks. I had looked at Hugo before, but I guess I just didn't see the binary install option. (https://gohugo.io/getting-started/installing/#binary-cross-p...)
I’m assuming this is a joke, but this is exactly what most people who just want to run some code don’t want to deal with.
Sounds like a pretty ridiculous system. Plants are living beings, and never needed humans in the first place to thrive on the planet. Wind and birds just do their thing. The courts can sue the birds and the weather gods if they want to.
People lease land to build on instead of buy? That sounds absolutely bananas. (I'm not from the US so unfamiliar with your market).
Good for him, he must be one of the final immigrants that squeezed through the gates being shut by the Trump administration.
Close, but how about “Why didn’t CMS make web development cheaper in the 2000s?” I’d say we’re out of the prototype stages, but we’re still working out the kinks and business models with prefab construction. It’s just very early days for it actually being a business because anything physical evolves at least 10x slower than software.
Re: Communications tech, the 2nd generation of SpaceX's Starlink satellites are supposed to be able to communicate with each other via laser interlinks [1]. A friend of a friend works on the tech there and described the accuracy required for the lasers as being like shining a laser from LA to New York and hitting a specific window pane on the Empire State Building.

[1] https://wccftech.com/spacex-starlink-satellite-laser-test/
Last time I hung out in Chelsea I was surprised at how tolerant the residents were of the trash stacked on the street in the heat of the summer. I was staying at a small “normal” place that I’m sure was a least 2 million dollars, and it was, just odd how this amount of trash everywhere was normal.

Still love to visit NYC though.
You are not wrong, although I would argue that use cases where you have 50k blog posts (or pages) are not that common...
Ashoka was Buddhist to start with,his greatness is a myth propagated by the extreme left distortions.

Mughals the golden age where they burnt down thousands of temples, libraries and universities. Plundered, looted, raped and took hundreds of thousands of sex slaves.

We have enough whitewashing and distortionists.
I'm so sick of this trope, I have so very many recruiters with "american-sounding" names sending endless irrelevant or poorly explained job posts.
Dude, that's totally fine, if you're okay with online only and that gives you personal maximum job satisfaction there are tons of fully remote positions out there waiting for you if you haven't found one yet. You and I don't have to want the same things out of a job.

It doesn't mean that online chat is equivalent to in-person informal conversation. They are different mediums and different tools.
A Bellevue Doctor’s Pandemic Diary
> just let me shuffle my whole library.

This is the primary way I use Spotify, is that functionality not working for you?

On iOS: Your Library -> Liked Songs > Shuffle Play
The point of the reverse split is to make sure that people with a small position end up with less than one share so they can be forced out.

In the best case this is a move to reduce administrative expenses relating to stockholders who own an insignificant part of the company.

In the worst case it's a move to steal their shares by forcing them to sell at an unfair price.
Yeah you can always disable it for a short time when you're expecting food, not a big deal. Just write a script that allows you to disable for 30 minutes and it auto-reenables after that.
LMFAO this pedantic beyond belief. It's bricked, it's a paperweight. They lack the ability to fix it and move it. It's been bricked. Just because there's potential for it to be unbricked doesn't mean it's not been bricked.
if i won it (like never), i want them to ring me at any time :))
What kind of sites are you building with static site generators that has 10K+ pages of content?

I always got the impression that they were more for small blogs/sites.
I am shocked an organization of journalist is demanding the censoring of very popular viewpoints simply because they dislike them. I am a NYtimes subscriber and am afraid these witch hunts will end up ruining the readability and trustworthiness of an incredible institution.
Yes, without question.

I’ve printed AR lowers on an Anycubic i3 Mega that I bought for $100 on Facebook. My current printer was $500, but doesn’t bring any more capability.
Thank you, will read eventually.
> I've had several experiences over the years where using a credit card in a country I didn't expect to be in got a call from the bank to verify it was me.

Me too. My bank sent me a message telling me to call them using the number on the back of my card. That is an easy solution to the problem.
I used snapshots. It was super easy. They can do a snapshot every day and keep N copies. The cost is easy to factor, not a runaway bill.
Plan your circulation: in every room, one high vent, one low vent, both with smart open/close,

Winter: warm air comes in from the bottom vent, goes out from the top vent

Summer: cool air comes in from the top vent, goes out from the bottom vent

This dual inlet/outlet role from the same vent will have to be managed by some kind of valves/directer-plates inside the ducts.

a smart thermostat in every room

Vent open/close percentage controlled by each room's temperature (essentially vent acts like a per-room thermostat, while the main thermostat controls the overall/average temperature).

Disclaimer: I'm not an HVAC person.
Then maybe they should learn how to deal with it
It’s not yet documented in the 3D printing community, but it’s not an unsolved problem. Both priming compound and black powder are fairly easy to make. Smokeless powder is a bit more difficult, but not much.
Asides from being tired, it's also problematic for the same reason that "I identify as an attack helicopter" is problematic. Assuming that all programmers/gamers/whatever are male is an actual problem, and the humor in "did you just assume my X" jokes are that people who get mad about the issue are annoying or wrong or a symptom of PC culture run amok. The joke can come across as transphobic. I'm sure you didn't mean it that way, but it's worth keeping in mind.
During the War of 1812, American civilian mariners used large cannons to commit mass murder against British sailors. It was pretty common at the time.
As Trump became increasingly authoritarian, I scrubbed a lot of my anti-Trump posts out of fear. I am trying my best to stay strong for free speech... But I also don't want my family or I to face retaliation.
Not necessarily. Elon Musk stopped personally interviewing every vetted candidate about a week before I interviewed at SpaceX. I had to write him a short essay instead. When I started, there were about 1000 employees. Also, if you do get hired and work on something important, it's pretty likely you'll meet the CEO at some point, even in a company with many tens of thousands of people.
This pattern is also present in e.g. LaTeX