skysight-inc/HackerNews huggingface dataset:
No, many ordinary cars contain image classifiers that read speed limit signs dynamically. This is pretty standard. And they sometimes get it wrong e.g. my car reads 80 MPH as 60 MPH about a third of the time, much to my dismay.

The dynamic classification is required because the world isn't static. An increasing number of locales have digital speed limit signs that vary the speed limit dynamically, some times independently per lane. Automation requires cars to respond to the world as it is, not how the world was when it recorded a month ago.
I agree. In another comment I mentioned how I think Elixir’s pattern matching and annotations (type specs) would take clojure to that next level and strike a perfect balance between between ergonomics and correctness.
Not sure. I was raised by conservatives (albeit somewhat middle of the road) and they and most conservatives I’ve chatted with really admire Carter as a person; just thought he was an incompetent president.

My childhood church group (all Republicans, I’d guess) used to build houses with Habitat. It’s kinda hard to think poorly of Carter when he built something that does so much good.

I wonder if the loud, vitriolic right wingers make it seem like the right thinks as a united, extreme block, when maybe there’s a large, quiet group that is not well represented? Not sure. I may also just be in a bubble of reasonable centrists. My left wing and right wing friends are pretty centrist in my estimation.
Same here. Clojure offers a bunch of different invariants than ‘this field is a string’. Things like ‘nobody is modifying this complex data structure out from underneath you’ or ‘this complex value is trivially printable, readable, inspectable, comparable, diffable, etc’. And if you want to know for sure that field will be a string, you can spec it and enforce it where it matters. And ignore it where it doesn’t.
Interesting to see heat pumps come up more and more these days. As a lot of comments here point out, heat pump technology is already pretty good, even in cold climates.

It seems to me a lot of the barriers to adoption in the US are lack of awareness from consumers and widespread support from installers. The equipment for a heat pump shouldn’t be much more expensive then an air conditioner since they share so many parts, but that isn’t the case in practice.

I think government regulations that encourage heat pumps manufacturing and installation are part of the solution. For examples, Biden administration recently issued orders to use the Defense Production Act to produce heat pumps [0] or NYC banning new natural gas hook ups for heating [1].

The other part of heat pumps adoption is making them exciting for consumers. It feels like if you get the right combo of all of that, heat pumps could be the next electric vehicle.

I only recently learned about heat pumps and found it difficult to understand how they worked and potential benefits. Towards that end, I started hacking on this tool for others to get that info: https://www.heatpumpswork.com

[0] https://www.whitehouse.gov/briefing-room/presidential-action...

[1] https://www.theverge.com/2021/12/15/22837799/new-york-city-b...
Ask HN: What would you do if given a sabbatical?
In academia it is more common to give a year for every 7 worked, to take time off work to do something of your choosing that ultimately enhances your employer in some way. Say, writing a book.

If your employer offered you a sabbatical, what would you do with yourself?

I work in operations, I'd want something like 3 months to experiment with some ideas related to the software release cycle: version control, building, testing, releasing, and deploying a complex application (~50 packages, 20 clusters, 5 environments).
Apple’s terms were no carrier installed bloatware and they get to update their own phones.
Living Off Trusted Sites Project
Not to mention fire suppression systems and electrical risks.
There were also Thought Treasure. In some aspects it is similar, only a bit more modern (1990'):

https://en.wikipedia.org/wiki/ThoughtTreasure
LVT is not the same tax to all land, its precisely based on land rent.
"designpoint.io is parked"

Expected to see your designs.
Possibly.

But also possibly (at least given my limited economics awareness): everyone who uses a motorcar increases the scale of the automotive industry, and the automotive industry gets cheaper per unit the more units are made, so the fewer cars get sold to video game develops the more expensive tractors get.

Same for petrochemicals, steel.

I don’t have any answers, it’s just a question I doubt I can as yet even manage to phrase well enough for the average real economist to consider interesting.
> Maybe you mean suburban sprawl? Or maybe you just mean the urban area is less disjointed? Urban sprawl is exactly how I would characterize Japan, but maybe I just have the terminology wrong.

No, he's right. Sprawl is inherently a negative term. Japan has large cities because you know, they can't put people in Manchuria (they've tried) or on the Moon, so they have to put them somewhere. So the most efficient way to house large numbers of people is in dense cities.

The US is a great example of both urban sprawl (outside downtown, American cities have town to village population densities) and suburban sprawl. The worst of both worlds, really.
What's Inside a Rock?
Anecdotal, but for some reason, when I tell myself "It's just cold water", my fight or flight response instantly goes away.
"Editorializing" is against the guidelines.

Trying to submit a subsection of a bigger work, with the closest it has to a title, is perfectly acceptable... if it has its own URL. If it doesn't have a URL, then you're screwed.

One of the few benefits of tweet threads: you can link a particular tweet.
I will agree that the change of not having a automatic stream of income, to having a stream of income, is quite a successful, satisfying feeling. I've not yet done enough simulations and calculations on whether or not UBI or what else is best. At least UBI would be more efficiently spent gov dollars than any other program. Every dollar the government spends is probably about as 10% as effective as just giving the money directly to people, but then it creates jobs, culture, etc. Like I said, I dunno what the perfect mix would be, will do some simulations one day to design the perfect societal/governance policies.. or maybe AI will beat me to it. Optimizing for happiness while reducing unhappiness, without scapegoating... what were we talking about? kinda went on a rant there.
The one I often think about is: Your USB-C charger is more powerful than the Apollo 11's computer.

https://www.popularmechanics.com/technology/a30916315/usb-c-...
You can simply replace my example with pornography websites as a sibling comment suggested.
While I believe you I also would appreciate to know what the correct answer is then. Even an oversimplified summary version woull be great
I find that is a far less common problem than the documentation being wrong. Even if someone doesn't add documentation for some library, static types provide a lot more insight into how it works than dynamic languages (Racket style contracts are even better since they can check way more than static types while still working in a first class way with docs).
The whole point of using it is to connect AdWords spend and/or the maximum amount of data you can get out of google search. There's a definite cost to not tuning these things as well as google possibly can. If you actually want to know about your own website, just about any competing tool is better.
I do reconsider it all the time; we only have short lives and I cannot build a lot large systems in my life. So that is why I asked if how it is measured. I see that my teams are more effective with static typing, but that also is my management as I, as I said, cannot really imagine writing large systems in not statically typed systems. I write a lot of scheme and k and bash and wrote a lot of tcl and Perl but never could get to scale like I can with statically compiled languages.

I lean more to dependently typed languages than dynamic as I simply saw only misery, but, again, this is not saying anything, it is just my experience. I am a bit afraid though, because there is no clear measurement, it is just anyone’s experience.

Edit; which actually would be fine; if it works for you and your team, company and business goals…
Maybe I missed something on this discussion but symlinks and NTFS are not really related.. They have them yes, how they're handled is different.
What's the standard for being an "actual Windows user"?

Asking because I doubt e.g. my mom knows that NTFS has symlinks.
You can’t cash out: Bitcoin is not a Ponzi scheme It just works like one
Strongest magnetars would rip apart all molecules even 150gigameters away.
It seems there is at least some grammar:

Among the most significant ones, Yves Duhoux demonstrated that the language behind Linear A makes heavy use of prefixes and suffixes for word-formation (that is, the individual syllables added at word-start or word-end to convey additional information, such as gender and number.)
Mandate that the unit price needs to be front and center (like it already is for many things), and mandate what that unit must be for a given type of product. Many times I've seen even the same exact product in different sizes, but one unit priced in $/oz, one in $/lbs, and one in $/qty100, effectively making existing unit price labeling useless. If the units were fixed, people would be able to build an intuition for how much the unit price for a given product should be.
Counterpoint for this rant (showing it's again not very objective, and just what your or your environment's expectations are): it's easier to cross-compile binaries for Linux (using Clang and a sysroot on Windows) than it is to natively compile on Linux (not using a sysroot, as that is the 'default' flow there) if your environment is mostly Windows already. We do this for one of our products, in fact.

The post meanwhile seems to be part about open source policy (nasty, but not a technical issue - also including a new-to-me and hard to find on a Google or DDG search fact about the VS gallery endpoints having led to legal threats), part issues induced by 'weird' modern languages not caring to support Windows (as expected?), part Git for Windows not bothering to handle symbolic links cleanly (and the weird admin-only default thing that remained from Vista), and part... concerns where if people would spread the proper way of doing stuff (curl.exe bundled by default for downloads, or long file names being 'weird' - albeit less broken than claimed here) instead of just ranting this'd be fine too... but not really a coherent whole.
Fixing Decayed (Rotted) Wood
That's not what this is, and if you'd bothered to look for more than a second, you'd seen that too. All the claims listed are very concrete claims that are possible to falsify, unlike "Thing good!", and the research (which, admittedly isn't directly linked, so it might be hard to find what research they're referring to) shows that this is either not true, or that the research is inconclusive. It is important not to take these statements for granted if they cannot be shown to be true; that's simply cargo-culting.
If your home has ductwork, you can add a hepa filter to the circulation system. Mine uses a deeply-pleated material that must be 40+ sq.ft. feet in area, on an always-on blower system. I change the filter yearly, should change it more often.
Carcinisation of mirrord (or: why we use Rust)
Not reading things is an excellent way to establish for yourself the tautological obviousness of everything.
Considering how many null pointer bugs I've seen, I think that this is a case where absence of evidence is not evidence of absence (at least for null safety).
I appreciate there may be some international issues with this, but at least for U.S. domestic, what's wrong with folks using services such as Zelle? At least for direct gifting, vs "ordering" where you want the payment tied to the transaction.
The Intel Xeon processors that cloud providers typically use don't have the Intel Quick Sync core that provides hardware A/V encoding/decoding on typical desktop/laptop CPU SKUs. So the software has to fall back to CPU-based codecs, which are much slower.

AWS EC2 has a VT1 instance family that enables high-speed A/V encoding via a Xilinx media accelerator card.
`git submodule update --init --recursive` is the magic phrase.

And, yes: submodules are really useful, as well as a PIA.
Is it bad faith? I mean, you yourself used a comparison. Even as an order of magnitude, I'd like to see some numbers. Somebody talking about numbers and alternatives should at the very least not be silenced.
This what is called in Cognitive Behavioral Therapy "All or Nothing Thinking." Microsoft is a for-profit company. It is pro open-source when it helps them and closed source also when it helps them. I like the new Microsoft which has open sourced a lot of stuff. It's way better than the old closed source regime.
I guess the naive approach, if we wanted to do a quick lossy matrix multipy, would be to take the truncated SVD and use that. How does this library compare to the boring strategy, I wonder?
It depends on the relationship you have with your spouse. A solid, long term relationship with trust makes this much easier.

We've done this for 17 years now on my salary which has been maybe a little over the national median for software engineers in that time. We live in a median-cost city. Since we are homeschooling, we have avoided communities with high property taxes (we pay 50% less than our neighbors in good school districts).

We've had two cars the entire time, although we'll let them age rather than trade them in for newer models. Our house is modest and we were actually able to pay off the mortgage years early. We max out my 401k and our IRA contributions.

We don't take fancy vacations, which is more of a personal preference rather than a cost cutting decision.

At this point everything is completely commingled financially and we just think of it as our money. Legally that's pretty much the way it is, if we were to get divorced (not going to happen) my wife would be entitled to half of everything (including my 401k). My sister was in a similar situation and I saw this happen in her divorce.

So there are safeguards for the non-working spouse. But still, if there isn't a high degree of trust and openness in the relationship it might not be a good idea. It has been great for our children.
Ah, forgot that! Yup, another big lesson.
I'm not really sure, but I do remember my parents *hated* Carter. I remember distinctly sometime in the '90s thinking "Look at all the amazing things Carter has done with himself after being president. I always thought he was an asshole!"
That sounds more like purchasing an asset you expect to appreciate, because you're actually selling it on to someone else. That's not the case in a Ponzi scheme, where you're expecting ongoing returns from your investment (which only come from suckering more people in).
>If credentials are stolen, crypto or otherwise, a scammer can then use those stolen credentials to make a payment.

Crypto credentials are not comparable to bank credentials. Crypto credentials are a public key; you still need the secret key in order to authorize a payment. Credentials are insufficient to make a crypto payment.

Bank credentials are usually just open-source information that anyone can get a hold of, and they are usually sufficient to make a bank payment.
Worked example, numbers from my Patreon, rounded for ease. Worst case is 34-41% fees, with around 14-20% from the Patreon side.

Let's say I make $25/m from Patreon. I receive 79.18% to 86.12% (processing fees, Patreon fee and currency conversion)

Withdrawing every two months via Payoneer ($10 USD fee under $500, minimum $50), I would take home $33.06 to $29.59.

Which is 34 to 41% of the total, before tax.
> I see that my teams are more effective with static typing

If you think you really can see evidence for it then I'd encourage you to write up a paper and submit it for peer review. I guess when you sat down to write it you'd suddenly realise that you don't actually have any hard evidence.

> cannot really imagine writing large systems in not statically typed systems

Ok but lack of imagination is not science. Some people cannot imagine a spherical Earth, but that doesn't make it untrue.

For example I work on a system in a dynamically typed language (Ruby) that successfully handles tens of billions a year, so we know that it is possible. (We are adding optional static typing to it, but it was written without it.)
My opinion is that the WEF is the champagne version of TED talks. It would be wrong to say they're irrelevant, but their primary output appears to be organizing conferences, and I've never seen a decisionmaker say they have to do suchandsuch or not do suchandsuch because the WEF told them so.
> Investors who do not get more returns in the companies compared to a debt instrument will take their investments to companies which can offer better returns….

Of course, but to do that you first have to find another investor willing to take your place by buying your shares. An individual shareholder might leave but the shareholders, as a group, are just as invested in the fate of the company as before.
type A/B is an unscientific concept that is mainly used by a subset of people to justify their neurotic behavior
Only because they’re not being marketed anything else.
I agree. My own theory is that the benefits of higher productivity - that it was assumed would translate to more free time - have largely been captured by the financial sector by way of increased credit/debt servicing.
Monica from Friends was right. Games are fun because of rules. If I can headbutt you during a game of table tennis, table tennis will never be fun for you.

Same principle for markets.
> my hope is some day crypto will be known as a Nakamoto Scheme

It’s called this in various places. See https://salbayat.org/the-strange-case-of-nakamotos-bitcoin/
I wonder if the HV supply emits a high-pitched whine that humans can't hear but dogs can?
IMO Patreon exists for creators to create public profile pages on which people can subscribe to support the creator on a recurring basis in return for some perks. It's (IMO) largely succesful on the basis of network effects (once you support one creator on Patreon, the friction to support another is significantly lower). Plenty of creators also have paypal 'tip jars', but I think these are significantly less effective at enabling a steady income.
Good luck getting every "free man" to agree, or even everyone in your immediate circle. Real life is not an X-Men issue where Captain America is unwavering, uncompromising and always victorious; sometimes good generals call for strategic retreats, sometimes the sensible option is living to fight another day.

You don't know how true is your manly bravado until your life, and the lives of those you love, are on the line and defenseless. I say that as someone who has lived in cities of Mexico where organized crime rules with impunity, but anyone who has seen war, not from the drone cameras or humvees but from their own homes, would tear you a new one for being so naive.
That's not relevant to the discussion, if you have something you want to say then just say it. Don't try to ask me a question you think you know the answer to and then tell me my answer precludes me from having an opinion on the subject at hand.

This is one of the most common methods I see employed by bad-faith conversationalist and it's sickening. Your point should stand on it's own merit, not on your ability to invalidate the "oppositions" side.
Solo devs maybe. Merging and branching are so much worse in svn that it’s not good enough for “most developers”, aka those working on professional projects with a team of developers. Sure we used to make do with svn, but I have no desire to go back.
> It'd be like building a house and finishing and immediately changing something on it, or fixing something that broke, forever

So it would be like owning a house?
shrug I haven't touched the right/wrong part, and I did it on purpose. All I said is that it's a legitimate decision.

When an Alzheimer grandma gets a call with a great business opportunity and loses all her savings, that's a scam. When somebody invests maybe too much in bitcoin because his gym buddy told him so, that's at worst a bad decision (or a great one, depending on when he did the investment).
Why would he be very far from that? Also, I haven't read the book but from the synapsis it doesn't seem particularly disruptive.

He already has ships named Of Course I Still Love You, Just Read the Instructions, A Shortfall of Gravitas. If anything, I'd expect him to name a ship No More Mr Nice Guy or Falling Outside The Normal Moral Constraints, or for that matter, the Mistake Not My Current State Of Joshing Gentle Peevishness For The Awesome And Terrible Majesty Of The Towering Seas Of Ire That Are Themselves The Milquetoast Shallows Fringing My Vast Oceans Of Wrath
>When I say the majority of anti-crypto people are privileged, it's because of this. They never got to experience life in a world where people nickel-and-dime on a 5 dollar purchase.

Ah yes, a classic case of "non-business owner privilege". Most of us are blind to how good we have it.
So they also provide a service that imgur, catbox.moe, google drive, and others do for free?
Posted now the fifth time, see [past]
I think you're really, really undervaluing branches. The fact that patches are mostly shared as branches changes everything.

It's what enables three-way merges, and makes rebasing much more manageable.

The ability to traverse and jump to some other point in history is really missing here too.
> Ok but lack of imagination is not science.

Sure, but that’s what I said in the first place. It all seems there is no evidence, not even empirical for either way. I was looking for any, if there was. MS or whatnot must have something no?
The future will be filled with ads for things that are real. It will be what’s scarce and exclusive. And half the things they advertise as real will probably be fake anyway.
A lot of the studies have been problematic because they look at toy problems (like leetcode problems). Static typing really starts to show its value in large projects. One huge project I'm aware of that uses a lot of python is the Sims 4 which uses it for a lot of the game engine and mods.
> The Dutch? Hello it’s The Congo.

You probably mean Belgium? I’m not sure if you’re aware but the US occupations of Haiti and the Philippines were pretty bad. Based on what the US did during The Banana Wars and the Indian wars, yes you’re exactly that kind of people.

And what does that even mean? The Germans weren’t that kind of people either (and some might argue to an actually bigger degree, unlike the Americans they didn’t at all seemed to be interested in subjugating foreign people until WW1/2) until they were…
My counterpoint is simpler: I use some of these tools (like VS Code) because they're better, not because they're open source.

Also I don't think Pylance or whatever core extensions being closed source contradicts with the fact majority of VS Code (or vscodium) is open-source. And I don't see anything morally wrong that they want to close source some of their competitive products.
Once again the headline does not match the claim in the article. This is not a breakthrough in terms of technology. This is the announcement of a partnership. There was no "breakthrough". This is government advertising for a private sector company that frankly is beginning to resemble corporate fascism.
That was every bit as fun as watching Seinfeld :|
Don't cut yourself on the edge of that butter knife.