skysight-inc/HackerNews huggingface dataset:
If you think that number is high, consider that most people are forced to pay that amount every 30-60 days in rent just to keep a roof over their head. That's a tangible debt that exists and affects people.

The concept of "national debt" is a joke in the face of cost of living. The overwhelming expense that hamstrings most people is every 30 days is losing 30-50% of their income to rent after they just lost 40% of it to taxes.

This "$3k per person debt" on the other hand is related to printed money largely pocketed by corrupt people in our government - who now will print over $1T dollars in a single go for the latest cause ("keeping the govt open", Ukraine, etc.) - it has nothing to do with what Americans ask for or receive in benefit.

People are over-burdened with excessive living costs and really have to take that hit each month, this so-called debt is a joke. I wish the U.S. would default on the debt already and start replacing government infrastructure with modern technology so our country can operate like a functioning machine again.
I’ve owned 3 cars in my life, one of them driven into the ground, one high mileage and given away when we moved to the city, and the third we still own. A transmission is the one thing I’ve never had to fix. Now that’s just me. Obviously transmissions do fail, but I’d bet in aggregate, it’s not nearly the most pressing issue. But it is the second most complicated set of moving parts in the car, so when it goes, it’s not cheap.

All that said, electric cars really shine in city driving. No transmission to go, and regenerative braking to save the pads. It’s valid to call it out if that’s your use case like these Amazon trucks.
Hi @not_me_ever

I know this is totally unrelated and probably won't see it, but I read your comment about German solar farms sometime ago and I was wondering if you could throw light on that. I can't find any email to contact you by except the one you shared like a year ago (hnr@webhome.de) which I figured belongs to your friend. Please, what's a good email where I can reach you? Mine's in my profile. Thanks and hoping to hear back.
COAs are physical, and as referenced on that page, NFTs are the main solution to this.
It's a similar situation to the Kepler Conjecture (https://en.m.wikipedia.org/wiki/Kepler_conjecture). The proof was already known, but people weren't sure it was correct until it was formalised.
Oxymoron is two contradictory terms.

Opposite of reactive would be non-reactive maybe. Opposite of nonsense would be something making sense
But how does it compare to DeepL (which is AI-assisted IIRC)? It's well known that Translate isn't as great for everyday usage.
It's based on emails published as evidence in a trial:

* https://www.justice.gov/usdoj-media/atr/media/1322631/dl?inl...

* https://www.justice.gov/d9/2023-11/417557.pdf

* https://www.justice.gov/d9/2023-11/417581.pdf
If you want to see for yourself, VPN to Hungary and try YouTube when signed out.
It's Time to Retire Terraform
They're also custom made vehicles for delivery use case [1]. And they're also still a major shareholder in the company.

And long-long-term maybe some kind of integration with Zoox for an tsla/uber like delivery experience (with drones?).

[1] https://youtu.be/3CWCqJl0BEs
And what are these hypothetical candidates interviewing for, exactly?

In the '80s and '90s, every time I got a new computer, one of the first things I'd do is write a very simple CGoL simulator, and then sit back and marvel at how much faster it was than the previous PC was.

So personally I guess I would have aced that question, in any number of languages and platforms... and yet I'm not really a particularly good programmer. It took me quite a few new-computer cycles before I started wandering down the various optimization rabbit-holes --

https://conwaylife.com/wiki/Tutorials/Coding_Life_simulators

-- and I never got anywhere near as far as either HashLife or QuickLife. Now I just happily use other people's nicely optimized code, for the most part.

So... it's a problem that a sufficiently nerdy programmer type of a certain age will be very likely to have encountered before, and you'd learn completely different things about a candidate depending on the level of that past experience.
> I volunteer at my local food bank to help feed to homeless. I understand just how dire the need is.

If you spent much deal actually dealing with the homeless themselves, you'd know how crucial a resource a library is for homeless people. For something you see as "dire", you don't seem to have even done anything as simple as google "libraries help homeless."

> Libraries are a luxury we cannot afford right now,

Completely false. Libraries are one of the areas of public spending where the return per dollar spent is highest. Libraries are social institutions we cannot afford not to fund.

> and frankly nobody uses them

Again, you seem to have failed to do basic research as libraries get a ton of use and genetally suffer from a lack of funding relative to their usage rates.

> There's already federal subsidies for internet and telephone for the needy, and the people that live too far away to get internet definitely don't have the money or means to drive into town to use the library.

Most poor people are urban and in dense enough areas to that easily access libraries could be (and often are) available.

> I would be willing to compromise on small buildings that function as internet cafes that are free to use for the public, we can get rid of all the excess staff and books, though.

Oh, how generous of you. Why don't you go meet some librarians and learn about what they actually do before you write off their usefulness.
Eve more so in Go where the single standalone executable can:

- run code

- build code

- format code

- generate code

- profile code including flame graphs

- run tests and report performance down to allocations

- benchmark code

- manage packages

- manage workspaces

- scan and vet suspicious code

It's amazing how much a 2 character command can do.
Most of the comment is correct, but

> Or maybe we could test how the proteins in the sample chemically react.

> ... but that doesn't help, because the atoms are connected the same way.

When the shape of a protein changes, the chemical reactions may change too. For example some proteins usualy bind to a specific molecule, but if you twist it incorrectly the "hole" where the molecule binds is broken. So it's theoreticaly possible to check this, but I don't know if it's easy in a lab.

> The only difference is in how the proteins are twisted...

> ... and we can't even figure out how proteins are supposed to be twisted in the first place,

In many important proteins we know.

> let alone how they're twisted in a specific sample.

From a sample there are sote techniques like x-ray difraction, but you need very pure samples, and be lucky that the protein forma a nice crystal, and perhaps a lot of other problems. We have done these in the past to determine the proteins shape before computers, but I think it's just too difficult with a small sample of human tissue.
Sure - I have trakt for managing what I have watched. Testing Queue for ios for future watching. I use todoist for general to do lists (moved to ticktick but back because of 2FA).
I don't really copy quotes any more but I used pocket previously. I use onenote as my filing cabinet - I take photos with phone and upload for OCR. I used to use Evernote but it's got too costly for not enough product and I already pay for Microsoft 365. For professional storage, I have a combination of one drive (work account) and one note (my own one - folder set up for work).

Over the years I have tried a few different tools but didn't get along with Notion etc - I get bored easily and don't want to spend days setting up a system as I view that as procrastination.
This is a bit long and histrionical in a ways that can make it seem to lack credibility, at times -- easiest example: maybe there was a joke in 2008 that "Code Yellow" was named after a lead's tanktop. But it's very much what you'd think, there's a "Code Red" and "Code Yellow" and Code Red is DEFCON 1, not Code Yellow. Shorthand for signalling "this is your manager^3 saying its okay to work on this, in case your manager^1 gets in the way"

The thing I'd like to draw your attention as a Xoogler, 2016 to 2023, is this bit:

> Gomes, who was a critical part of the original team that make Google Search work, who has been credited with establishing the culture of the world’s largest and most important search engine, was chased out by a growth-hungry managerial types led by Prabhakar Raghavan, a management consultant wearing an engineer costume.

This is the dynamic you can hang your hat on as being how Google changed post-Sundar, definitely post 2020. A la Sculley era at Apple.

It's a huge company, there's pockets of good and bad.

But by far and large, unless you're happily settled into a corner of a corner of an org humming along coding on some infra that is both crucial and yet not politically important, 'standard business' decision-making has infected every corner. Scaling meant importing a lot of management from other companies, and not great ones. And the self-induced "crisis" of not growing revenue 20% every year has left them empowered relative to those old dunderheads babbling their opinions about users.

There's all sorts of knock on effects: cliques became much more important, especially as a lot of managers promoted a new layer and withdrew from day-to-day once WFH started. It was shocking to see people unleashed: rampant power abuses, hiring of friends. I was shocked how quickly it turned into not just a regular company, but a bad company. Partially because it had no immune system / practice dealing with bad behavior. Everyone is just trying to get to tomorrow now, instead of doing the right thing, even if it is hard.

EDIT: One more thought: It's a lot harder to fight these effects with the overly-polite-to-point-of-vacuousness I saw the higher up I got. You end up with all these biases that are grounded and kind but get you to the point where you're enabling bad stuff. Ex. "no one person is responsible for failure/success of their product" enables "for some reason Yahoo's ex-search-head is high up at Google, and saying the right vacuous things that rhyme with The New Order: stonk must go up. So now we get more evil."

I'm still sad about the launches I participated in that were straight up lies when demo'd and advertised. Rot went all the way up from what I saw, VPs were more than happy to throw their name on outright lies if it was the hot thing that year at IO. Then when it isn't, they disappear and leave vague instructions, and the real shitty stuff starts, because now middle managers just want the old cool thing as 1 of 6 things in their portfolio.
The Federal Reserve will be incentivized somehow or coerced into more situations where it simply devalues the dollar in order to make debt payments easier to make.

The national equivalent of having a long-term mortgage. The house becomes cheaper to pay off over time.
I come from a country where most people drive manual transmissions, and the rule of thumb is that you're replacing the clutch at 150-250k kilometers. Automatics have torque converters instead of clutches, so that's probably a non-issue. I do imagine that they're much more integrated, and without a sacrificial clutch plate to take load shocks, the entire system will give out after a certain distance. This is all conjecture though.
Yeah. When you build a new city you should really start by laying a high speed train line starting at the city center, going directly to a reserved land plot for a new airport exactly 30 minutes away.
"Thermonator is the first-ever flamethrower-wielding robot dog"
Thinking about search ads over time, I had forgotten how ads were clearly marked in a blue box way back when.
For a single author you don't necessarily need any server at all. A cloud directory or zip files work well.

But gitolite is so easy to setup & maintain, it's not a big difference and for r/w-access management within teams, it's priceless.

I guess one could even hack anonymous access with "PermitEmptyPasswords yes" and "AuthenticationMethods none"
I think the point the author is making here is that calling the electric utility about charging dozens or hundreds of vans is different than checking in to make sure your home setup doesn't violate utility policy.

Amazon is very often in a position to dictate terms of an agreement, but here they needed the utility's assistance. Amazon had to figure out how to negotiate the landscape.
If the US goes for an invasion, I think we'd be way better off invading Baja California. Spice must flow! That is, we must keep up with demand from the Alameda-Weehawken burrito tunnel [0]?

[0] https://idlewords.com/2007/04/the_alameda_weehawken_burrito_...
From my understanding, the libraries written in Lean are also formally proven by the kernel. They may be hodge-podge or incomplete, but they are (by construction) not "buggy" in a way that could lead to incorrect proofs, right?
I'm potentially super interested in this as am building this kind of feature for my job at the moment

But https://hashquery.dev/#faq says:

> the Hashquery SQL compiler is not available to run locally, so you do need to define your data connections inside of Hashboard and use its API to execute your queries.

> We do plan on making the full Hashquery stack available to run locally in the near future

I'm not quite sure what the use case for this library is at present

If I'm not a Hashboard customer and don't want to pay $60/mo for a nicer way to query my existing db, what am I going to do with it?

Hashboard seems roughly similar to Superset and/or Cube?
Your Work Will Suck for a Long Time
Not at all. I literally mean that libraries are funded by communities (i.e. private groups, towns, counties, states), and some communities chose to fund them lavishly and some not to fund them at all.
> People have been robbed of their livelihoods

That's absurd. People gambled with their livelihood, some got rich, and most lost.
IMO it was super good for a first shot! They way over did the software that they used to present the show, but I was super impressed with the polish! I have a feeling they will grow to be much better after some practice!
"Bring your whole selves to the office" can work pretty darn well (at least from the C-suite PoV) when the company is a (relative) plucky little startup, and you're trying to get the drones to work 80+ hour weeks for crap pay.

But when you're a corporate behemoth, with a "keep turning crank to keep making $billions" business model...then not so much.
Yes, and the teachers also want better schools. That doesn't mean schools were better in the past.
Is there readily available software for that?
This is alarmist linkbait that fails to provide any context.

The follow plot shows interest as a percent of GDP -- that is, in relation to the size of the economy, which is how we should all look at this:

https://fred.stlouisfed.org/series/FYOIGDA188S
Love M5Stack. Perfect for people such as myself who want to do the software, but don’t want either little boards chucked in project boxes, or to start 3d printing custom enclosures. Perfect way to make a neat, enclosed solution with little to no HW effort.
this is really interesting!
> However, as the number of members in the set increases, the number of possible IDs increases exponentially.
Case-sensitive: 53^8 = 62,259,690,411,361
Case-insensitive: 22^8 = 54,875,873,536

Nitpick, but isn't this polynomial to the members of the set?
There are Javascript frameworks and CSS frameworks. Tailwind is the later one. Even the Tailwind front page describes it as a CSS framework.
People in denial following the Cass report: it's like deprogramming cult members
But like, you can look at what parts of Mathlib this development imports, it's mainly stuff imported by files in this subdirectory https://github.com/leanprover-community/con-nf/tree/main/Con... , and it's pretty basic things: the definition of a permutation, a cardinal number etc. Almost all of these are things that would feature in the first one or two years of an undergraduate math degree (from just quickly scanning it, the most advanced thing I could see is the definition of cofinality of ordinals). It seems practically impossible to me that someone would make a mistake when e.g. defining what a group is, in a way subtle enough to later break this advanced theorem. If you think that people could mess up that, then all of math would be in doubt.
Injury rates for Musk's SpaceX exceed industry average for second year
google search was horribly unusable for me yesterday in English from California.. it was obviously changing my search terms and then delivering "popular" content, not at all what I was searching for.. literally not at all..

this sea change is related to the AI rush -- very disappointing and at the same time alarming, due to the previous universal reliability of google search
Wealth and income inequality, as well as societal support for parents [1] [2], are important components in any fix of this situation when discussing "resourcing". My comment should not be read as "only the well off should have children." That was not the idea I intended to communicate, and I agree it is distasteful. I believe there is plenty of work to do already simply ensuring folks who don't want kids are empowered to not have them [3] [4] [5] [6], I leave the other problems mentioned in this comment to others to triage and action. Good luck to those folks, I don't envy that book of work; it's going to take decades to fix.

[1] https://ifstudies.org/blog/pro-natal-policies-work-but-they-...

[2] https://www.theguardian.com/world/2023/may/29/baby-boomtown-...

[3] https://www.pewresearch.org/short-reads/2021/11/19/growing-s...

[4] https://msutoday.msu.edu/news/2023/childfree-study-confirmed...

[5] https://www.axios.com/2024/04/16/young-adult-sterilization-i...

[6] https://jamanetwork.com/journals/jama-health-forum/fullartic...
life←{⊃1 ⍵ ∨ .∧ 3 4=+/,¯1 0 1∘.⊖¯1 0 1∘.⌽⊂⍵}
I wonder by what measures are you asserting, "This camp has won comprehensively". Who, in your estimate, has lost?
Bird Flu Is Infecting More Mammals. What Does That Mean for Us?
What is your evidence for this? If it is true that the average teacher of a given subject has no greater understanding/insight/knowledge/intelligence in that subject than the average person then I am wrong in my beliefs on this matter.
Yes it's 2 years (if you are buying it as the consumer)

[1]: https://www.eccnet.eu/consumer-rights/what-are-my-consumer-r...
A Universal Vaccine Against Any Viral Variant? A New Study Suggest It's Possible
I feel like google is prioritizing reddit way more than regular forums . Quora is the second most annoying thing , Search for y , Click on top result which is Quora > Either it's a personal opinion or a brand account answering or the real answer is locked behind subscription . Not to mention the dominance of large brands like this https://detailed.com/google-control/ and non existent personal sites . But i am still pessimistic about new search engines like bing has backing of a behemoth microsoft yet can't copy simple features from google.
I don't disagree with you at all on this. However you may need to combine several to get to an end result. And if that happens a few times in a codebase, well makes sense to factor that into a library.
Chinese also has furigana-like characters that can be written next to characters, bopomofo or zhuyin fuhao https://en.wikipedia.org/wiki/Bopomofo, although only taught and used in Taiwan as far as I know.
Observe the following curriculum and identify just how much of this would factor to homeschooling, and what it would entail: https://www.tc.columbia.edu/curriculum-and-teaching/curricul... .

Not only could core courses be summarized in brief, the bulk of it is relevant because, as I said, teachers have to reach many students at a time. That makes it redundant. Notwithstanding, tutoring gives kids a learning advantage that has been replicated time and time again. The distinguishing factor is focused attention and enhanced communication (two-way). If a parent understands the material and can function in everyday society, they can teach their kids, if they want to.

Most parents do not have 8 kids, they have 1 or 2. If a child is neurodivergent in any respect, then a parent could and should seek out help anyway, which would inform their teaching.

To reiterate, teachers college training does not ensure that your child has an education that focuses on fundamentals and yields effective learning outcomes, nor does it ensure that all teachers do well. Nor do I suggest that any and all parents try their hand at teaching. Those who can grasp basic core concepts in math, and demonstrate adult reading comprehension, ought to fare fine if they want. As for those who don't understand the basics, I don't think your argument would persuade them anyway.
India aims to achieve 'debris-free' space missions by 2030
Apple cuts Vision Pro shipments as demand falls 'sharply beyond expectations'
Load Testing Node.js with Artillery: A Beginner's Guide
Private schools only accept easy students.
Miracle-WM tiling window manager hits 0.2.0. What are Mir and Wayland all about
I didn't say it was inherent to the fine dining enterprise. I said it was an intentional experience provided for the benefit of the customers.
Yes, but it kinda locks you into running 'alr build' and adds other things inside 'config' directory like user's distro and other things. My guess it's probably great when you already have a done project and want to publish it, but if you want to compile your code ASAP, it's much easier to avoid it completely (except for pulling packages)
You probably don't make as many deliveries as an Amazon driver, who are constantly stopping and parking and starting and backing out of tight spots.
What's hard about Mandarin aside from memorizing the characters and pronunciations?
I'm not sure exactly what degree you mean by separatism. Most of the examples I know of did have a religious component as a factor, but they weren't cults or extremists. They still taught science, technology, etc and associated with people of different backgrounds.

I'm sure there are bad homeschools, just as there are bad public schools.
"it wasn’t shut down to make room for other social network features"

The deciding "feature" was that the social networks that were going to replace the RSS/Reader ecosystem would force all users to only publish on the operator's site, wereas with RSS you could get content from any site.
I've said it over and over: the American automobile transit system is inherently unsafe. That's why I've been a self driving skeptic. We have a system where there drivers must break the rules and/or drive in an unsafe manner regularly. This involves: excessive speed when others are driving too fast, entering the oncoming lane when needing to pass someone double parked, making blind turns because a big truck is blocking your view, not knowing when a pedestrian will enter a crosswalk and needing to slam on the brakes, having to yield when crossing a lane of traffic... the list goes on and on. There isn't an actual safe set of rules, and the rules we have are so commonly broken that a learning algorithm won't follow them.

I'd put this inherent danger at somewhere around 0.1% of the time. I'd say I'm forced to drive dangerously about once every 10 miles of driving, but the fact that people must drive dangerously occasionally to use the system means that a machine can't ever learn to use it safely.