skysight-inc/HackerNews huggingface dataset:
I absolutely love the variation and thought that goes into many a meme these days.

Bad memes are awful (Sturgeons law), but a good meme is cheap fun that I can consume in a second
They're common used in multi stage septic systems that have a perc field above the tank level. If this pump is without power for a significant time, it will cause quite a problem. However usually your tank will have enough free capacity for some hours. You don't see pumps in single tanks very often due to solids blocking the intake.
Isn't the downpayment on the median us house much larger than 30k?
I mentioned it as an example of one of the more popular solutions available. Yes, it's complicated and requires a deep understanding of what it's doing - and even then it has warts that you have to work around - but we're talking about situations this complexity is necessary for the desired UX.

Whether the user actually desires this experience is another question entirely...
Except for the fact that you don’t actually own your device, Apple does :)
Did you launch it in less than 8 hours though?
I did not ask for a formal proof, but a stronger proof than you not having heard of such a thing happening. It is just about plausible to me that a dog can refuse to eat and starve; dogs do get very depressed.

Anyway, by this method of denying the possibility of animals acting in a certain way until a counterexample is presented, you can ascribe any number of unique traits to humans; but they all stem from your default assumption that humans are unique. It's not particularly interesting to merely restate an assumption.
So are you unable to produce a definition because there isn’t one, or because the universe where your brain is mechanistically caused to define your terms is not inside this light cone?
And yet, it now 404s on both the salesforce project and the owners own personal GitHub.
Or use Elvish, which has builtin directory history :)

Directory history is the 3rd demo on the homepage: https://elv.sh/
You can change the evaluation semantics to allow cyclical references and either a max number of cycles or a stability parameter. This allows you to solve differential equations in excel. While this isn’t quite what you described, it’s closer than the default behavior.
We use flow extensively at work (we have a monorepo w/ some 400 projects in them). `ag FlowFixMe | wc -l` gives me almost ten thousand hits. Which means that in practice, there's a lot of unsoundness going on even if one chooses to use flow over TS.

A lot of people at work dislike flow because while it is generally sounder than TS, it throws some really stupid "errors" (e.g. Array prototype.filter doesn't refine arrays of nullables, it can't tell property access isn't a getter w/ side effects so it errs on the side of assuming it always is, etc).

Typescript simply draws the line in the sand clearly from the beginning so that its scope as a project stays well defined and it doesn't end up accidentally falling into obscure gaps like flow.
Pity, they're $200+ in Australia.
It used to not be so, a front end developer at a typical web agency would just write HTML and CSS, maybe a sprinkle of jQuery, and any programming/logic would be done in the backend templates by someome else.

Now frontend development is so complicated that you need to be a programmer as well as a frontend developer to get anything done.

The first hint of deviation was when people started being called frontend engineers, we never needed that term before.

It is also my guess that this is why frontend developers went from entry level roles to the highest paid roles in most agencies I have worked at. A twist I never saw coming!
It’s going to crash again, just like it always does. My guess is that it will sit around 30 for a while, dip to the low 20s, and fluctuate around that range for a couple of years until the next bubble.

I’d be checking which companies (e.g. TSLA) and ETFs (e.g. ARKK, given their TSLA holding) are exposed to BTC risk and putting your money elsewhere.
Automatic Pool Stick vs. Strangers
This is a very very very dumb "take".

So do you snark the same if an electric power line is down and you drive a gas truck to fix it?

If a hydroelectric dam needs maintenance and you use an ICE boat to do it, is that "ironic"?
It's an insignificant cost. Nobody cares about it at any scale except embedded development (or occasionally due to artificial restrictions created by app stores).

The money saved by shaving a few MB off your binary is going to always be like 0.00001% of your costs, and even if you're at such a massive scale where that could justify developer investment, there's going to be lower hanging fruit to worry about.

If you're at such a level of optimisation that it's correct to worry about deploying a 60MB binary, you must be doing exceptionally well. Most places (including Amazon and Google) are using 200MB+ docker images and serving poorly optimised image files.

And if it _really_ bothers you, you can always install the runtime separately for a sub-1MB binary, or use trimming for a sub-10MB binary.
Thanks for this insight.

I would suspect that Coal and Natural Gas generation plants use a lot of water for cooling. When the plant is designed to dump as much extra heat as possible, as cheaply as possible (for 100-degree days and ~200-degree hot water), things start to fall over when the cooling water freezes in the uninsulated cooling lines.

Or, it's pretty much lack of winterization and lack of a plan for this kind of cold.

Just speculating.
Do you mean Robot Odyssey: https://slate.com/technology/2014/01/robot-odyssey-the-harde... ?

As for your idea, Zachtronics had one for a while, but it was flash, so I don’t know if it still exists.
True crtical loads have backup generators up to this task, or the maintenance people should be fired for incompetence. Though they could get a break for some failures of the system, but only a handful statewide
Friendly reminder that Apple uses slave labor to build their machines and actively fights against the right to repair movement :)
Surprisingly intuitive! I like it :)
To your point, the example of Idris is sound and decidable, but in practice the decidability doesn't matter: you add fuel[1] to limit recursion, but it can just be some arbitrarily large number (but not infinite) number of loops.

[1] https://www.idris-lang.org/docs/current/contrib_doc/docs/Dat...
I chose this account name because if how fondly I remember getting shareware and freeware from simtel20.wsmr.army.mil.gov (iirc) in my first years on the internet. I once ran into someone in a game who said "hey, I used to put backup tapes in that when I was in the service" or something to that effect. It's wild.
Because our government just printed a LOT of money. Look into what money supply does to inflation. More supply of money means things cost more. Interest rates go down, and it’s better to not have cash but assets. I just loaded up on gold, platinum, silver, art, crypto, and real estate. Those will all fare better than cash or savings as hyperinflation grips the country.
>So basically, this is the worst winter in the history of Texas to such an extent that nobody could have possibly predicted this?

More like "to the extent that people who were actually accountable for how money was spent couldn't justify spending the money to hedge against it".

Could you justify to your boss spending 5% per year on a project to hedge against something that happens every 50-100yr and has a 10% chance of really screwing you when it does? Exactly this but applied across every utility in an entire state.

Know-it-alls on the internet, love to tell other people how to spend their money but the real world is more complex and doesn't have the luxury of hindsight.
That doesn't explain why coal and nuclear plants failed. Or why gas power plants in other states are still running. All of which is in line with the 2011 report about TX not winterizing their power plants properly.

Frankly, it seems like you've decided that the issue is renewables and you're searching around for an argument to justify a conclusion you've already come to. Because what you're saying is simply not actually supported by the evidence or consistent with the current situation.
As he should. Nasa is cool.
> I would have thought that if producing lactase when consuming milk has a cost, then over time, milk-consuming populations would suffer and disappear from lower fitness, and the ones who aren't drinking milk would survive and win the genetic race.

Your focus is oddly misplaced. There is a cost of producing lactase, regardless of whether you do anything with it. This cost indeed caused those who continued to produce lactase after weaning to suffer and disappear from lower fitness. That is why, from a world perspective, almost nobody today can digest lactose in adulthood.

If you drink milk as an adult, you still have to pay the normal cost of producing lactase. But you get the benefit of being able to metabolize the lactose you're already consuming. This makes the production of lactase profitable.

Note that this relies on you drinking milk. If adults are not drinking milk, the ordinary dynamic of lactase production being a waste of energy that lowers your fitness will prevail.
Proving you are worth talking to is the hard bit, and even then the recruiters don't know waffle from insight. Its a fact of life, I think: We are the people who really care about technology, the people we work for usually don't.

If you are a student we (D) regularly fund students to work on projects for us.

There's more money than you'd think in small communities - don't badger people, but don't be afraid to ask.
I have the Adidas soccer cleat insert running this, and it's a fun metric but it's not as accurate as it should be, and sometimes it just doesn't record at all. For $40 it isn't bad, but any more and it would be not worth the price.
Sitesug: Provide some site suggestions for you
It will be interesting to see which communities had their power cut and which were barely affected
I use VoiceControl while feeding my infant. The phone is mounted nearby and I can navigate using voice commands like “Swipe up”, “Tap [button]”.
Most people aren't particularly left or right wing!
>But programming language types are different than SQLite types so that's already a mismatch that could introduce errors.

No...because they can be boiled down to the sqlite types and again it doesn't matter if you properly validate the data on insertion which you should be doing.

>Also, there is much more boilerplate in man-in-the-middle-ing each database query to validate data rather than have a single entry point which validate the data types which is the database.

No...you don't validate queries..you validate insertion

>Also, using any in-database feature like functions or triggers should also have this security baked in but won't due to SQLite's missing validation.

You don't need to depend on it...because you validated on insertion.
That's why I like my 1980's modified turbo car. Surely the smell of oil and fuel fumes seeping out the open wastegate are healthier

( /s )
But do you put them on the same networks?
I, for one, want HN to have an option to hide my karma point next to my username. It's a distraction. It's okay for them to use that number for moderating purposes, etc. but I don't need to see it for every time.
At some point you have to weigh the harms of government overreach against the harms of government weakness and inadequacy e.g. failing to disburse unemployment insurance payments correctly in the presence of basic, predictable frauds during an economic downturn.
Tesla's stock has never been a car manufacturer stock. That's why it has so much short-selling against it. If you value it as a car manufacturer and compare it's (underlying business numbers):(stock price) to anything else, it's insane.

"at any company that made sense" is true, to a point. But the point of tesla has been, for a not-insignificant number of people, not meant to make sense. It's faith based. It's cult based.

Elon Musk has strong parallels to Trump's appeal. It might not make sense. That's not the point.
The current version 1.3.2/3 has a bug in Auto, it will only adjust up. Use Initial Auto instead until the next update, or periodically reset the jitter buffers with the |< buttons.
I wonder if this is related to bitcoin mining? (https://www.coindesk.com/bitcoin-mining-farms-in-texas-offli...)

Sure, they claimed that they turned it off, but there will always be someone who doesn't turn it off, especially when the bitcoin prices are going up astronomically. Rising electricity price doesn't matter.

Also, they hold up the "floor price" for electricity and push it up, meaning that electricity prices will never be cheaper.
It doesn’t help though!
> The problem is that the law doesn’t take context into account, and those signs are actually required.

Not actually true.

https://leginfo.legislature.ca.gov/faces/codes_displaySectio....

Companies are choosing to CYA because if they're sued the burden of proof is on them.
People aren't talking about it because it's something like 0.2% of summer energy production in TX, a sunny state, so a very far off problem compared to pretty much any other power related issue or concern to solve for.
I was referring to the "When the President does it, that means it's not illegal", claiming that it's okay for them to do what they do to regular people but not okay for regular people to do the same to them.
Why would it be a shit show? And I wouldn't necessarily ban it, just make sure it is acknowledged as a delusion. If you really believe I need to take seriously someone who claims a human being can walk on water, you might need to have your own head checked for malfunction. Beliefs don't live in a vacuum, and everyday experiences should absolutely guide you to beliefs that are not outright rejections of reality.
You can make the CNN focus more on shape rather than photographic texture using style transfer, hence, Stylized-Imagenet: https://arxiv.org/abs/1811.12231 I've wondered if you could do the same thing with anime images as well, and if a joint classifier (using, say, https://www.gwern.net/Danbooru2020 ?) would be much better for it.

Of course, the big trend now is CLIP/ALIGN https://openai.com/blog/clip/ https://arxiv.org/abs/2102.05918#google which are trained on web images on such a scale that they do quite fine on anime images. Look on Twitter or Reddit for 'Big Sleep' examples using the ThisAnimeDoesNotExist.ai anime model: CLIP can generate anime images reasonably well, along with everything else it can do so well. (The 'blessings of scale', I call it: https://www.gwern.net/newsletter/2020/05#blessings-of-scale Just train on as much data as possible, and a lot of these weaknesses fix themselves.)
Man, brings back Yukon Trail on PC memories
How the Warming Arctic Helped Drive a Deep Freeze into Texas
I'm a big fan of BSD and it's philosophy, but I think it's relative lack of adoption is now a vicious cycle and it's falling behind. It is better in some specialties, IMO: if I was setting up a NAS server, some serious firewalls, or traditional web servers, I would give BSDs a serious look first. The documentation is great, and there's a lot to be said for it's simpler, cleaner implementation. However, I think Linux is winning still. I need CUDA for work, and frequently use software that supports Mac, Windows, or Linux. So for my daily driver or other day to day usage (like cloud instances), I wish I could use BSD but I just don't see it as being a viable choice anymore.
Yes, it'd probably need to be some kind of global system to prevent that. Countries doing their own carbon taxes normally add carbon tariffs to imports, but of course that wouldn't help for bitcoin.
Wait, I thought that's what made white people "white".. No?
off-topic: more than 60% of page is just ads above fold.
I was out for 17 hours from yesterday to mid afternoon today. Slept through the 0deg weather without power and yet still kept the house at 43deg internally without a heat source.

Here is our simi-successful attempt to survive.

* boarded up all the windows and doors with sheets, curtains, and heavy drop clothes

* limit going outside to fewest essential trips

* close all bedrooms and abandon them. All pets and occupants sleep in close proximity in a common area

* we have lots of sleeping bags and mink blankets. It’s more about layers
Isn’t this exactly evidence that Telegram is a fringe platform? That you went to it only out of fear of being tracked on the mainstream platform?
I recommend looking into history.

Apple was failing as computer company. Apple only survived because Microsoft threw them a lifeline, licensing Office suite in Macs and investing in Apple. Microsoft wanted to show anti-trust regulators that there was software competition in PC market. If there was no anti-trust suit against Microsoft, Apple would have likely went bankrupt.

Microsoft was on the way to owning Desktop and web space, by tightly integrating IE into Windows. Left on own, Microsoft would have routed all default browser traffic to Microsoft search engine on MSN. Google would have remained some student research prototype into an algorithm about backlinks.
The solar panels in my roof shed snow way faster than the shingles do. I suspect it's a combo of the angle plus them being slick glass rather than rough asphalt paper.

Maybe they're warmed too, I've never actually touched them.
You might be interested to know that there are -- broadly -- three lactase production strategies that humans exhibit.

Everyone produces lactase as an infant, for obvious reasons.

Some people cease producing lactase at some point in childhood, so that they are unable to digest lactose as adults.

Some people continue producing lactase throughout their lives, so that they are always able to digest lactose.

But some people continue producing lactase as long as they maintain regular dietary lactose intake, even if that circumstance lasts well into adulthood. However, if they ever go for an extended period without consuming lactose, they permanently cease lactase production.
And if your someone that's so so sick and tired of SaaS hostage situations, this should leave you crestfallen and despaired.
Consult your local regulations of course. But frozen pipes are no joke and can turn a brand new, perfect home into a condemned tear-down, rebuild in a matter of hours.
I believe it is because sdf are very easy to do constructive solid geometry on. Intersect, union, subtract operations are basically free and robust. Where as with solid geometry robust csg booleans are highly problematic with rounding errors and edge cases galore.
So elegant. Nice job!
France Just Suffered a SolarWinds-Style Cyberattack
"given before taxes" as in "given before income tax", but by that time a whole lot of other taxes have been substracted...
I had a few shareware programs on Simtel in the early 90s. I think the one that brought in the most money was a Novell login frontend that put the display in VGA mode and rendered a floating message of the day in a nice font as a screensaver. It was imaginatively named “vgalogin”.

I remember the magical feeling of getting random checks in the mail from folks that used it.
It is developed in a single source tree and released as a complete operating system, so the base-system utilities are all very well integrated with the OS and consistent with each other. The third-party software ecosystem is very flexible (especially with Poudriere) and does a very good job keeping those packages from interfering with the base system without also making them feel separate. It had containers before they were cool. A lot of configuration can be done in a very concise and consistent way, and the documentation is overall very thorough, for example:

https://www.freebsd.org/cgi/man.cgi?query=rc.conf&sektion=5

https://www.freebsd.org/cgi/man.cgi?query=tuning&sektion=7
When I go to bed it's:

Hey Siri, turn out all of the lights.

Hey Siri, play Ocean from Ambient Sounds.

Not a huge deal, but enough of a bump to break the flow.
The legal term is "reasonable expectation of privacy" (per the supreme court) and sadly it is not a boolean, it is an 'it depends' answer.

> filming private property that isn't yours from a public space isn't legal if that's your intent.

This is exactly what the "Streissand effect" case was about. Its the legal reasoning behind how the paparazzi operate (How else would we have pictures of what Taylor Swift did at her private 4th of July party?). It is absolutely protected speech to film/photograph private property from a publicly accessible location (if it is a privately owned public location that you are filming FROM, like a mall, then you must stop when asked. You are not required to destroy the material however).

Edit: This is all in reference to US law.
New Origin Story for Comet That Killed the Dinos
Well said. Whenever I have to turn on the TV (which actually requires plugging in the cable box, because I simply don't use it, and also because it's crappily designed and causes buzzing in my speakers when plugged in), I'm always shocked by how blatantly ideological the advertising is.

Upthread there's a comment on how someone's kid is being made fun of for not purchasing custom skins to use in Fortnight, and I almost commented something about how to me, there's always something been something weirdly uncomfortable about people who choose to spend money on arbitrarily customizing something. I'm glad I didn't, because thinking about it, I am the weird one. Most people are quite happy to "waste" time and money in this way. I'm not one of the kids (or adults) who grew up like this their whole life.

Lest this comment come across as me saying I'm the one sane person in a crazy world, I should add that I'm certainly affected by this when it comes to the Internet. Although I haven't seen more than an ad or two in years (thanks ad blockers), I'm still affected by the addiction-promotion used by websites to keep you there so you (theoretically) see those ads. I caught myself spending hours a day scrolling through Twitter. I'm trying to kick the habit, but it is a habit. Maybe I'm just in a better position to recognize it because I see the damage too much TV did to others.
Yes, that was very sad. I really didn't think they would sink so low. I've always just used Raspbian on my Pi's without giving it much thought. Remotely activated Microsoft spyware was nowhere on my radar.
Honestly probably better to store some water, run your pipes in a tiny stream, and then if you lose water at least your pipes will be drained.
Take the spatial derivative for the normals? Runga-kutta methods work wonders for that: https://en.m.wikipedia.org/wiki/Runge–Kutta_methods That works well if they are true signed distance.
My thoughts exactly when I program Chrome, in headless mode and with no UI, to scroll and click on a button.
Again, this is all maybe sorta possible in a completely theoretical new world, but in this world the debate is different - either we continue to let health insurance companies deny coverage to most and make it so healthcare goes only to those we barely need it, or we socialize it so that its accessible for all. Even if I agreed on the ideal end state, that doesn't change the fact that there are only 2 realistic next steps, and one is better IMO even if its further away from the "ideal".

I understand you are libertarian and believe only in consent, i don't need that explained to me again. I'm talking about actual concrete next steps on a concrete situation (healthcare), not "imagine you could rebuild the entire world in an ideal fashion". Thats the question I really want you to answer.

More along the lines of the philosophical (but less important, pointless) debate - Consent is not so clear as you think it is. Why should I consent to your single-minded focus on consent as the only valid principle of organizing society overriding all other concerns of practicality? What if I view that as an imposition of your virtues on mine?