skysight-inc/HackerNews huggingface dataset:
> bugs that would have been caught by a type checker

Type checking also introduces its own set of additional bugs by the virtue of object incompatibility, that do not exist at all in dynamically typed languages (or are handled correctly every time by the compiler/interpreter automatically).

Take as an example exchanging objects over sockets, rest, files, etc. Whenever the object definition changes in another piece of the software stack the statically typed parts will crash upon receiving the updated objects, even if it's just one new param added that would've been fine otherwise if dynamically typed (or say change from a float to a double which can be irrelevant). A nightmare in systems with lots of moving parts.

One might say that's working as intended, and it of course is, but it also forces you to fix and recompile all of that for no real net gain. Hence the longer dev time I mentioned.

I've spent years working with statically typed languages, and I honestly don't think I'll ever go back to them in any professional capacity.
Advancing the state of the art for std:unordered_map implementations
> The function will generally only work on a subset of types for given variable.

This is true for many functions defined in statically typed languages too. Just because your function says it works with an integer, doesn't mean it's necessarily going to work with _any_ integer (think `1/n`). Very often the type used isn't narrow enough.

Modern dynamic languages understand this, see for example Clojure's spec[1].

[1] https://clojure.org/about/spec
It's not because of anything intentional, it's because Verilog is poorly designed.

https://danluu.com/why-hardware-development-is-hard/

https://danluu.com/pl-troll/
I've done a few integrals of x from zero to one, they come up quite a bit if x is normalized.

Exception proves the rule, though ;-)
People nearly always gravitate towards abbreviations in natural language. The more a word is used, the more likely it gets shortened. LA for Los Angeles, Frisco for San Francisco, Vicki for Victoria, Jay for Jason, Dub for George W Bush, Doozy for Duesenberg, and on and on. Why should programming be different?
I think submodules end up highlighting failures of the (implementation of the) many small repo model. People want to develop in both the submodules and main repo simultaneously, and that’s relatively painful. If you find yourself doing that often, that’s a sign that your repos are highly coupled and failing the intent of the many small repo model anyway.
The author is pretty wordy. But I don't find a genuine hard hitting line of criticism against Sheryl Sandberg. It mostly goes on as loosely connected ramblings - about her writing a B-school type book, to being pals with Goldman Sachs & then the charity. The ending about justifying having children as best source of happiness is bizarre. Happiness is a very subjective experience. Some find it in religion as well. Maybe building new things or pursuing certain hobbies too (mountaineering for e.g.)

Apart from this story, I do generally find her several of her actions as COO quite questionable - especially Cambridge Analytica & the weird data/privacy policies over the years. As the boss, she did approve of all these moves.

I don't/didn't ever work for Meta, but I am told by senior tech folks working there that MZ is generally liked/respected within the engineering cadres for his leadership (as opposed to the zombie/alien jokes floating around). But Sandberg was someone you wanted to keep yourself away from, at all costs.
I had the same reaction (note: I actually got things mixed up, the one in question is the Unity "Enemies" demo [1], not Unreal), but if you consider the amount of detail - the saliva 'sticking' to the corners of the mouth, the 40+ muscles of the face, lips, eyelids, the iris, etc - it makes sense that it would be a ton of data. IIRC they are working on some kind of ML-powered compression so that this becomes actually possible to ship (the demo is not available to download, presumably it's too big and would barely run on a 3090TI).

[1] https://www.youtube.com/watch?v=eXYUNrgqWUU
All that energy started at the sun, we call it "light" when it's visible and "radiation" when it's outside our visual range, but it's the same stuff.

The fact that it reached the roof in the first place means the atmosphere is transparent to it. So with a white roof, the wavelengths being reflected are the same ones being received, it'll reflect right back through the atmosphere and back into space. Effectively it just increases the Earth's albedo a tiny bit.

Any wavelengths which were gonna heat the air by absorption, were absorbed on the way in and didn't reach the roof in the first place.

HOWEVER.

In the case of dark/black roofs, the heat DOES stay in the vicinity of the house, at least for a while. The radiation was absorbed by the roof, and now two main things happen to it:

One, the hot roof heats the nearby air by convection. This is the main contributor to the "urban heat island" effect. Eventually this warmed air mass will affect weather patterns, but even before that, it just makes the place feel hot.

Two, the hot roof emits its own radiation, in a whole range of wavelengths determined by its absolute temperature, according to Planck's law. This includes infrared wavelengths that the atmosphere is not transparent to (the absorption region between 5 and 8 microns), so that radiation IS absorbed by the atmosphere and heats it as well. And just like convective transfer above, the warmed air contributes to heat-island and weather effects, etc.

(The phenomenon of a hot object emitting its own radiation is why thermal cameras work, by the way. And if you get the object even hotter, the Planckian locus shifts into our visible range and you get an object that is "red hot", or even hotter still and it's "white hot", etc. This is why the "whiteness" of lightbulbs is expressed in Kelvin, that's the temperature of an object that would glow the same color as the bulb emits. The "warm white" and "cool white" are misnomers; the so-called "cool" color represents a much hotter blackbody source.)
Adventure games at the time were also discarding it; for example, in Simon the Sorcerer you can press a key to cause an icon to flash over every interactable object on screen.
> The fact we have currency that fluctuates on a day to day basis despite not being tied to anything beyond our trust in the system is not much better of an argument.

Translation of what you wrote: "I've never really thought about economics for more than a couple of seconds, and therefore I cannot see the difference between the US dollar which literally supports a 21 trillion dollar economy and is guaranteed by the full faith and credit of the richest government in history, and a cryptocurrency backed by no one, which performs perhaps 0.01% of the transaction that the dollar does."

https://www.verywellmind.com/an-overview-of-the-dunning-krug...
This is the major one. I work on a 10 year old rails app and it has got to the point where we are terrified of making any change that has the potential to affect areas outside of the visible git diff. It's easy enough to manually verify regular changes by looking at the code. But something like a library update is impossible to verify and we constantly end up with production issues because of something changing in a library that wasn't mentioned in the upgrade guide and would be impossible to have considered beforehand. But that a type system would catch.
AppImage is sufficient.
WSJ and signup with a privacy.com virtual credit card that you can easily pause/cancel/limit anytime.
... and yet its travelled 12 billion miles from Earth
My mother struggles with her iPad. I presume Apple does usability and discoverability studies with seniors, but clearly they ignore the results. Usability was a sacred goal back in the HIG golden days, but now is sacrificed.

If they had a geriatric mode that concentrated on functional UI over form, I would probably use it myself. Here are the most obvious issues (some are Safari specific):

* Lack of scroll indicators. If you don’t know you have to scroll, then you are screwed. It doesn’t have to be scrollbars, but there must be some visible indication and/or control so that the need for scrolling up or down in particular is obvious and discoverable.

* iPad multiple windows. The usability of this is completely broken. I would also love to disable it for myself, because I don’t use multi-tasking and the UI only ever frustrates me. Horrific UX.

* Keyboard focus indication. Watching your mum type into a field, scroll, and not realise the keyboard focus is not where she expects is hella frustrating. Should a field outside the viewport even retain keyboard focus?

* <input type=number> completely broken. I have watched my mother type in a number using a comma (because other numbers on the page were displayed with commas) and the UI silently fails. Same with $. I’ve experienced this as a developer - it is just sooooo broken because the field accepts invalid characters but input.value == "" which is fucked.

* auto-hiding the tab bar in Safari. Mum opens a hundred tabs. And doesn’t know about the rest of the Safari toolbar. Just leave the chrome visible please.

* Hard to Undo. I remember how fucking magical undo was, and still is. Undo is not accessible (although admittedly far far worse on Android). Implicit save is fantastic for most things, but frightening for some settings. System confirmation modals as a workaround are seriously fucking nasty.

* The top-right swipe system menu is difficult to learn. Especially for system modal changes (rotation lock, wifi, bluetooth).

There are so many complicated things on the iPad that I need to teach my mother, just like Windows of yore. Some of those issues can easily be fixed, if the UI were to be more obvious and less “pretty”.

Maybe they could call it “beginners” mode. Like the opposite of a “pro” model or something.

While I am being a whinging Englishman, they could fix some bugs too. 4 major iPadOS versions, and I still run into the same fucking bugs every day. I mean, the hardware is great, but why do the same bugs persist forever? Obvious bugs, with many appearing to be very shallow. Maybe hire some devs to fix bugs as their only job?
Apple’s Mac team gets a lot less attention than before (2016)
> Color in general is a statement about human perception, not physical characteristics of light. As Newton said, “the rays are not colored”.

The color is fully and solely determined by the wavelength of the light, and the wavelength is an objective physical phenomenon; it is not crazy to talk about the objective realities of color. But yes, it's full of pitfalls.
If only you could add the YouTube like/dislike ratio back to YouTube, but I digress :)
... what? You think someone stretching their money for an SSD somehow indicates that they're not worried about their budget?

Here's a hint: if they had the budget and availability they'd just get a bigger SSD and not write that comment.

-

Obviously, due to some aspect of their circumstance, be it availability, cost, download speeds, etc. the size of the toolkit is problematic.

I mean there's no intrinsic size for a development toolkit, but I don't know anyone who'd say 60GBs of data is a small development toolkit when as others have pointed out, there are older versions of the same Windows toolchains that still complete the same function and manage to take a fraction of the space...
“Delete your work and clone again” is ridiculous. Just goes to show that you don’t know what you’re talking about (or the xkcd guy for that matter).
16% of Americans say they have ever invested in, traded or used cryptocurrency

> https://www.pewresearch.org/fact-tank/2021/11/11/16-of-ameri...

The SEC has been crying foul of crypto-scheme’s since at least 2013.

> https://www.sec.gov/files/ia_virtualcurrencies.pdf

Early journalistic opinion has had called out Bitcoin as a Ponzi scheme years ago.

> https://www.washingtonpost.com/news/wonk/wp/2015/06/08/bitco...

Every major banker at Davos-, “ Bitcoin may be called a coin but it's not money. It's not a stable store of value," said Kristalina Georgieva, managing director of the International Monetary Fund.”

> https://www.cnn.com/2022/05/23/investing/davos-central-bank-...

Now why does that matter? Those are the people the general populace are exposed to the most. Not some peddler buying crypto ads on Twitch.TV for his new Buttcoin.
It seems pretty narrow to assume that because _you_ don't engage in this thinking, that _nobody_ does.

Plenty of us do. The fact that we're not running the world is a detail.
I like libraries and languages that create a bunch of types which are essentially just renaming existing types. So you'll have a type PostID which is just an int but the language won't let you give a PostID to a function that takes UserID even though its both just integers.
Some people might (probably not that many on an absolute level, tens of millions worldwide possibly), most people will have what they have now but much less new and more beat up, as the market gets saturated with used/fixed appliances. That's the good future, the bad one is where everything is garbage and can't be fixed at all.
If it was really transparent maybe...

I would think that means that if the number of washing tablets went from 12 to 9, then packaging would display in prominent letters "Same price, now 9 tablets instead of 12"

Similarly for unit weights:

Chocolate biscuits, "same 12 biscuits, now 20g instead of 25g. Pack size reduced from 300g to 240g"

That would be transparency from my perspective.
A hard fork in the Handshake community
Yeah this is basically it in the course of actually using them; people should probably only submodule in tags as well. Some of people's problems also come from using them where they're not necessary.
Really worrying is when you run into something like a major Canadian bank where the online banking portal system rejects passwords longer than 14 characters and with a wide range of standard english punctuation marks in it, likely because they're storing the damned thing as a plaintext string in some mainframe database field on equipment/software from the 1980s.

It was like that up until very recently for some gargantuan banks.
Reader mode fixed it for me
> Solo devs maybe.

Like I’m gonna bother to set up a Subversion remote for every little repo that I create for myself.
>I'm still blown away that they literally made the .NET team revert the dotnet watch PR at the last minute, so that they could sell it as a feature.

This is not even true. Due to limited resources they wanted to cut scope of what the .NET 6 update included and they thought that it would be okay to delay the dotnet watch feature because most people would still have hot reloading from using Visual Studio.

The PR for bringing back the hot reload code was merged 3 days after the PR for removing it.

https://devblogs.microsoft.com/dotnet/net-hot-reload-support...
No, lack of interest in a topic does not, by itself, cause awkward phrasing, run on sentences, poor structuring of the logical flow of sentences within a paragraph and paragraphs within the larger structure, repetitive language, repetitive language, repetitive language, outright incorrect word choice, overuse of the passive voice, ambiguous references... I could go on.
it took at most a billion years. there may have been predecessors that were lost - the only evidence we have from that era is what made it into the DNA of surviving ancestors.

I guess I still feel like abiogenesis should be the bigger filter. we have ideas and suggestive experiments about how it happened, but nothing's come close to convincingly demonstrating how fully self-replicating life can evolve through simple steps. whereas endosymbiosis just seems to require two prokaryotes from different trees surviving in the same membrane, and it's not difficult for me to imagine a plasmid slipping in and making copies of enough enzymes to get by.
"They have the strongest magnetic fields ever observed, so strong they can melt you—literally dissociate you down to the atomic level—from a thousand kilometers away."

So horrifying and yet I love the author's enthusiasm.
I think most schoolbook algorithms are tail recursive.

They're a bit hard to write down otherwise.
FYI, I've cross-posted this to the Virtual Beings Facebook group, with backlink.

=> https://www.facebook.com/groups/virtualbeings/posts/14218620...
> * "Use the command line with aliases" --> is this a terminal app in addition to browser extension?

No, this is the command line in the extension's main window. It allows you to search multiple sites at once using aliases.
https://en.wikipedia.org/wiki/List_of_deadliest_animals_to_h...

Mosquitos kill more people each year than all other animals combined - including humans. I believe violence for fun is evil, but perhaps this is one instance where it is to be encouraged. Perhaps gamifying it in this way distances people from the feeling of ending a life.
> Calm down.

What about my comment made you think telling me to 'calm down' was warranted?
If you have some developers using window, and other developers using anything else, without some kind of line ending normalization, then you will end up with inconsistent line endings, possibly in the same file, and potentially diffs and commits where every line in a file is changed from one line ending to another.
Buy the dongle from Apple and it will be expensive, but it will work perfectly.
Goals are not automatically satisfied, let alone well-satisfied. The question is asking what it is about us that allows the methods used to be particularly effective.
And a java observerFactoryVisitorInstanceBuilder is like a total nerd with no rythym trying to dance to hip hop
I suppose it makes up for the missing one after "us".
Swift and Kotlin both do a fantastic job here. You think in types but don’t have to spend much time typing them.
Haskell and PureScript are the ones I’ve used.
Observation: People are dunking on this lang [because it doesn’t act the way it says it ought to].

Counter: The Platonic Ideal of this language is interesting. I like Go.

Yeah I wonder why people would downvote such a high-effort comment.
Yeah you can't buy trust. Once it's done is done.

I'm not touching a language developed by folks who don't see a problem in scamming users, sorry.
Erlang: The Road to the JIT
This is funny - I was going to chip in and say that you really start to appreciate submodules once you’ve experienced the fractal hell of subtrees!

If I ever have to untangle a messed-up repository containing a subtree again in my life I’m quitting development and moving to a cabin in the woods.
> The PVs absorb a lot of thermal energy, too, more than the shingles themselves do.

I've found this to be interesting going back as far as middle school, where we're taught renewable energy sources like solar panels can help reduce global warming by replacing greenhouse gas emitting alternatives. Yet fundamentally, they are designed to turn the only external source of energy our planet receives (sun light) into heat and other forms of energy that will eventually become heat rather than reflecting it back out into space (albeit through the atmosphere). Seems so backwards to me.
The ThinkPad is and was it's own world of design, it was well thought of at the time of its introduction - because it looked different than other laptops.
“mobile devices have overtaken desktop computers in web traffic, and there’s no turning back”

https://kinsta.com/mobile-vs-desktop-market-share/
Do you believe that automobile based architecture never worked, or that it worked before but no longer works? How could it ever work if we refuse to invest in the infrastructure to make it work?
> In the absence of government/societal regulations slavery will occur

Slavery cannot occur in the absence of governmental and societal regulations, because in that case there's nothing stopping the slaves from leaving. Any such obstacle would be a governmental or societal regulation.

> and thus the “market” minimum wage is 0.

Slaves are paid much more than zero wages. In every culture, a slave in a good position is much better off economically than a freeman in a bad position.
That doesn’t address the criticism. If I pay for a good or service via crypto and it is not delivered satisfactorily, what is my remedy? Who even decides what “satisfaction” is?

Yes, the dispute/chargeback process for cards is cumbersome today, but it is a solution - albeit inefficient. What is the crypto answer?

I don’t mean to put you on the spot for this question, but I would love to understand how decentralized solutions might address this issue.
since abut late september 2020, iirc.
The boat of a million years was a good intro (for me) to the troubles of living forever. But I won't worry about it for at least 3 or 400 years

[1]
https://en.m.wikipedia.org/wiki/The_Boat_of_a_Million_Years
So it did say "developers" and not "users"?

I think they misread the line.

(Whether it was right or not, so you don't need to tell me anything about that.)
How are you supposed to know which customers are trustworty and which aren't?
Of course you're right! I must have expressed myself badly. My point is that every word, every phrase in the text of any page can become a link to a search on some site you need at any time you want.
Definitely XBT is still the best performing asset in the past 5 or so years. This correction is healthy.

There is still a lot of leverage and greedy protocols around, but Bitcoin is solid. With all the fear around, I’ll be doubling my DCA (averages).
The person you are referring to, Éric Denécé, appears to be something of a conspiracy theorist. What I have seen from him directly hasn't been impressive. The site hosts articles from several authors and it's not clear how closely associated they are with his think tank. Jacques Baud doesn't appear to be part of his inner circle.
> That's exciting for situations where trusting a central actor to be well intentioned forever is not wise. Publishing "news" on a blockchain, so you don't have to worry about a future actor trying to whitewash what history is, as an example.

That is fundamentally a contradiction. Sure, the published news can't be changed later, but you have to trust the actor publishing the news to be trustworthy forever. Just because something is immutable it doesn't mean it's true.
What does this offer that I can’t do with Shortcuts (specifically Services)? https://support.apple.com/en-au/guide/shortcuts-mac/apd163eb...

Other than annoyingly popping up anytime I highlight text like class IE spyware.
“Those users” are a mystery to me. Who are they? Instead of talking about hypothetical persons, I am sharing my perspective and recommendation, as someone who learned C before learning Go, and who programs Go from time to time. To me, Go feels like C set to “Very Easy Mode”. Memory: specify layout but don’t worry about freeing it! I see Zig as C set to “Easy Mode”. More control than Go, can do all the C things as good as C, but memory management is explicit (like in C, but less tricky to get right).
They way it works in practice is that the air handler that comes with the heat pump will contain a backup emergency heat element in case it gets too cold or there is a problem with the heat pump. The cost to run it is much higher, but it should only run in the most extreme cold temperatures.
The way I see this is: today, we say that Voyager 1 and 2 were the first.

Imagine that Voyager 3 and 4 are launched next year.

In 100 years from now, people will say that voyager 1,2,3 and 4 were the first.

It's not that voyager 1 and 2 will lose that distinction, but they might share it with others, in the same way that Voyager 2 shares it with Voyager 1 to our eyes.
They're allowed to organize but they're not allowed to talk about why? Pretty weird take.
By "quiet" do you mean publishes twice a week:

* https://www.nytimes.com/column/paul-krugman

and tweets regularly:

* https://twitter.com/paulkrugman/

?