skysight-inc/HackerNews huggingface dataset:
I dislike the typesetting changes that came after the second edition.

It was a really elegant book, reminiscent of other classic Springer Undergraduate Mathematics Series tomes.

Lots of distracting color, highlighting, and boxes were added, which IMHO make the book less clear.

Obviously, the content is still great.
I hope I’m not making a strawman of your idea. So you want developers to work for free on whatever it is a company wants, with the only caveat that the dev gets to choose the tech stack? What is the value of the platform to the dev at that point? They can do that already without a middleman telling them what to work on.

Furthermore, what company wants free work that might be totally irrelevant if the tech stacks don’t align?
>It's simply dumb to believe that you can change the way of living which was going on for all of human history

Which way is that?
You've got to be careful here. This article refers to the heat budget of the _entire_ earth, not the Earth's core. The Earth's core has relatively little in the way of radiogenic elements now.

Most of the heat originating in the core comes from

- The formation of the earth (called primordial heat)
- Latent heat (released when iron freezes onto the solid core)
- Differentiation (e.g. settling of heavy stuff to the bottom)

The mantle is chock full of radiogenic elements though.
Same time. I'd taught myself linear algebra from the Strang lectures (and a Slack study group we set up with some random university's syllabus, which gave us a set of homework problems to do) long before this, so mostly I just matched the professor's lectures to the Strang material, and dipped in and out of Axler when proof and conceptual stuff came up; it's not like we did Axler cover to cover.

Before doing this, I'd only ever sort of skimmed Axler; it's sort of not the linear algebra you care about for cryptography, and up until the spectral theorem stuff that's exactly what Strang was. It was neat to get an appreciation for Axler this was.
Large family trees in ancient DNA reveal prehistoric politics, social structure
I never thought I'd see the day when JSTOR becomes blogspam.
Yeah, I kind of agree, but my issue is kind of with this statement (in the link from the peer post):

> What if we could bootstrap our entire system from only this one hex0 assembler binary seed? We would only ever need to inspect these 500 bytes of computer codes. Every later program is written in a more friendly programming language: Assembly, C, … Scheme.

And my issue is that this isn't true. hex1 isn't written in assembler any more than hex0 is. Both of those bootstrap files can get onto the system simply by ignoring whitespace and anything after #, converting the hex into binary and writing it to a file.

Having hex0 doesn't add anything to the mix, other than being shorter than hex1, because you still have the same initial bootstrap problem of how you can prove that the hex0 binary represents the hex in its source vs the hex1 binary and its source and both have the same problem of needing to prove the hex in the source matches the assembly (and that the program even does what the comments claim).

hex1 is a more useful bootstrap point, because you can use standard system tools to create the binary from the source (e.g. sed) and also compile itself and verify that the files are the same.

Having hex0 and hex1 just means you need to manually verify both rather than just hex1.

I guess my point is that if you have insufficient trust in your system that you can't e.g. trust "sed" to create the original binary files, or trust the output of "dd -x" or "md5sum" to verify the binary files, you also can't trust it enough to verify that the hex in those source files is correct or that the binary files match.
i am not at all astonished, at a uk grammar school in the 60s we were forced to read "the moonstone" for our eng.lit. o-level, at the same time as "great expectations" - guess which we liked more.
Yep, the article is behind the times. The lack-of-magnetic-field hypothesis isn't even the preferred one anymore I believe.
It's long, uninterrupted periods of staring at a very near object, usually lit artificially unless you have a pleasant reading space by a window. It leads almost invariable to nearsightedness more than just 'poor vision'. This effect is more pronounced in children due to the fact that their eyes are still growing and change shape much more easily. There have started to be myopic toddlers where this was previously a very rare genetics based phenomena.
This certainly sounds like your company is having a gap. But the gap sounds to me more like the lack of technical leadership (a strong lead, principal engineer, etc) than a PM. 10 out of 10 PMs I worked with (and it had been more) wouldn't commend on software architecture and internals and wouldn't prevent the needless complexity and unmaintainability aspects. They can at most point out that feature development and bugfixes are too slow, and then its up to the engineering team to improve on this. But also for 10 out of 10 PMs feature development will always be too slow, since customers are asking for things being done yesterday, so this alone isn't a great indicator that engineering is broken.

APIs using different TLS versions falls into the same category. Unless the TLS version is part of the product (which is the case for e.g. API Gateways, webservers and proxies) PMs will likely not care. They should however care about the difference between no TLS at all and a "somewhat modern TLS", because "no security" is definitely an important gap in the product.
Ha! Looks like I was wrong and confusing refinement types with dependent types: https://cs.stackexchange.com/a/21733 (unless of course this person is also confidently wrong, heh)

> Dependent types are types which depend on values in any way. A classic example is "the type of vectors of length n", where n is a value. Refinement types, as you say in the question, consist of all values of a given type which satisfy a given predicate. E.g. the type of positive numbers. These concepts aren't particularly related (that I know of). Of course, you can also reasonably have dependent refinement types, like "type of all numbers greater than n".
1959 Chevrolet Bel Air vs. 2009 Chevrolet Malibu IIHS crash test
There was an article on HN recently, "Apex Books of Goodreads" https://news.ycombinator.com/item?id=37970307, in which the author uses a Pareto frontier to attempt to account for the recency bias. It was not entirely successful, as the result includes four of the Harry Potter series and five Calvin and Hobbes collections, including the highest-rated The Complete Calvin and Hobbes, from 2005, and second is Brandon Sanderson's 2014 novel Words of Radiance (The Stormlight Archive, #2)
'Great wealth transfer' isn't $72T but $129T, and government gave it to boomers
Can you please clarify or provide more context regarding your question?
I wish they had cut all benefits from tier 3 companies only^[1] while leaving other tiers intact. Big tech salaries in Europe are already so much higher in comparison, that it would probably not impact their ability to hire.

On the contrary, tier 1 and 2 companies already have a hard time hiring even with the benefit (from personal experience).

[1] highest band in the trimodal salary distribution https://blog.pragmaticengineer.com/software-engineering-sala...
Probably refers to "Coulombic efficiency." Ie, it takes 4 electron transfers to turn 2 H2 + N -> NH4, so that gives you a conversion factor between Coulombs of electrons (1 Amp of current is 1 Coulomb per second) and number of NH4 molecules produced.

Yeah, someone would have to get access to the paper to see if they state the energy efficiency. I assume that b/c they don't mention it, it is abysmal. There's pressure to put good results into the abstract.
I consider myself very lucky to be born in this age of civilization where technology increases at such incredible pace. Playing games on an atari in my childhood, then sega master system, nintendo, snes, pc games, the first 3d acceleration consumer cards, all the way to having a supercomputer in my pocket. What a time to be alive.
This book is Open Access and you can download it from this link [0].

[0]: https://link.springer.com/content/pdf/10.1007/978-3-031-4102...
Inside Sphere (Las Vegas)
Research shows roaches suppress immune system before giving birth
The look on Christina of Sweden's face on page 1 made me laugh, she looks exactly how you would imagine a 17th century princess hearing about Linear Algebra.
I recently replaced a windshield (plus calibration) for a Honda Accord and it was $350.
Doesn't seem to be available in English but what a splendid website!
Sure, but if you’re burning H2 in pure O2 you aren’t producing nitrogen oxides, and if you’re burning H2 in air, you end up with a whole lot of N2, CO2, and Ar left over, residual H2 or O2 (because your combustion is not exactly stoichiometric), and a relatively small fraction of nasty nitrogen oxides as side products.

(And yes, you can and should condense out the water so you can recover the higher heating value instead of the lower heating value, and H2 will have the nice property that the condensate won’t be especially acidic, unlike boiler condensate from hydrocarbons, which is annoyingly acidic.)
> Very few engineers want to maintain relationships with customers, interview users to identify potential features, manage leadership, play politics for resource allocation, and so on.

I’ve never met a PM that did any of that either ;)
This looks fantastic. As someone in a serious relationship with a Korean person, this is something I could actually see myself paying for too.

But, I would like to see some more about what it offers. Right now it looks like it is a video caption replacer with a dictionary. There are free tools like that that exist. Anki is a plugin and not built in, why? What about those starting learning? Do you have lessons or small references?

What's your plan for ML? Honestly, the largest benefit I see is for pronunciation feedback. This is a thing a lot of apps get wrong, because it is important to learn how to pronounce things from the beginning. This usually isn't as big of a problem for someone learning English but tones are a bit more important in Korean though not as much as say Chinese (this is part of why it's typically easier to understand someone in English with a very heavy accent than understanding Chinese with a very heavy accent). But a self learner is going to have an incredibly difficult time getting verbal feedback while a native or more traditional learner has this feature built in because there's another person there to give them feedback.
A theoretical optimal dating app would make less money as engagement would drop off and the acquisition cost of customers would exceed the value that could be extracted from them.

The dating market is not efficient, it is a bit like a lemon market, and switching costs are vastly underestimated for a variety of reasons. It doesn't help that people are readily encouraged to leave their partners by third parties with no skin in the game. I see it as a general multi-armed bandit problem with a exploration–exploitation tradeoff dilemma with pretty noisy rewards. If the switching cost was more accurately measured then people would naturally do less exploration and more 'exploitation'. I think tradition helped find this balance with an emphasis of overestimating switching cost versus a natural tendency to underestimate switching cost (hope springs eternal) - tradition is a way of handing down the results of previous 'exploration' done by others to a new generation so they don't have to learn the population statistics independently from scratch and at great cost.
Those aftermarket windshield replacements (Safe-Lite, etc.) in my experience (have had a few over the years) always end up leaking. Always. If I had insurance coverage that applied I'd insist on a dealer replacement with OEM seals and glass.
I would argue that everything you described above falls under the umbrella of business development and should be in the hands of a VP level exec and their staff.

Unfortunately very often I've seen this role handed out to a person who does not have either the qualifications or experience for this role, despite perhaps being adept at the clerical parts of the job (the meetings, the JIRA management, the Power Points, the Agile theatre).

My sense is that product managers are a layer of management which frequently causes disconnects and friction between the executive team, engineering, and ultimately customers. They typically have no power to influence business strategy and frequently no expertise on the complexities of engineering the product. (As always there are exceptions - but few and far between).

I'll even point to a perfect example playing out with Creative Assembly, the studio behind the Total War game franchise. Here's a nice dissection of the situation (complete with insider company leaks) by Bellular News:

https://www.youtube.com/watch?v=RDcgpaypkQI

The TLDR is that an excessive focus on a product management driven strategy is hurting the long term viability of a multi-million dollar franchise with a very commited but increasingly dissapointed fan base. Also some good points on the dangers of letting technical debt accumulate and how not to intereact with your customers. There's an MBA case study unfolding here I think.
Using the incorrect octane fuel is one way, it’ll seriously shorten the engines lifetime but will probably take months to become obvious.
What’s your source on the benchmark thing? It seems like they have a lot of backend KV store options including FoundationDB and TiKV which are both distributed, so I’d be curious how the backends perform relative to one another.

https://surrealdb.com/features
Looks interesting indeed. Seems to only be available in NL though, as the company seems to be Dutch and they don't say anything about where they are available. Make sense if they do the whole "make a reservation for me" thing.

> They're not owned by Match.com

Let me know in 5-10 years. I'd bet a substantial amount of money that eventually match.com will acquire them as well. Seems to be what ends up with all these dating services.
A large part of the fault here lies with Masimo however.

This is capitalism -- it's your job to protect your company's information and trade secrets, and to pay your employees enough and treat them well enough so they don't go to a competitor. Everyone knows a potential acquisition might fall through or not be genuine in the first place, and that any potential acquirer can turn into a potential competitor in an instant. That's just business 101.

And it's not like Masimo is some mom and pop business that can't compete with Apple's salaries on 20 key employees. It had revenue of $1.24 billion last year, so come on.

All of this clearly hinges on whether Masimo had Apple actually stole trade secrets (presumably violating an explicit NDA or similar that Apple reps had signed), and whether Apple infringed on patents. The result on stolen trade secrets was a hung jury, and we'll wait for the final answer on patent infringement after presumably a sequence of appeals.

But the idea that Apple was "looting" was not confirmed by a jury, and "hiring away" treats these employees like property, which they are not. They are perfectly free to go work for Apple, and they should if Apple gives them a better deal.
Yeah humans can measure progress afterwards but are terrible planners for anything beyond ourselves and next of kin.
Is there some kind of summary available somewhere of what features are “unique” to jQuery (or at least significantly easier), and what features are now generally available as vanilla JS or CSS?

I’m not a JS developer and I just have a basic understanding of what jQuery is used for, so I’d be interested in seeing some kind of historical timeline, both to better understand why jQuery was originally created, and to understand what purpose it might fill today (legacy dependencies excluded).
Probably not just yet. I calculated downthread that the productivity is something like 16x less per unit area than a hydrogen electrolyzer, so that would need to be improved to make it cost-effective probably. Also they don't mention the energy efficiency, only the "current efficiency" so I would assume the energy efficiency is also poor. Sounds like there's much to be done still.
>Yearly services are still thing?

Usually yes.

Certain sports cars with turbos or superchargers mandate 6 month service periods for their engines. And you need to abide to that if you don't wanna void your warranty.

This is a scam by the auto industry.
Hahaha, loved coding RPG on the AS400.
The file system on top of the database layer! Awesome stuff
Progress is exponential until "surprise it is a sigmoid!" I'd argue we are there already, but even if we aren't planting seeds is rarely a waste in the long term.
The names didn't come to mind while I was bashing out the previous post, but kind of - Mobian, PureOS, Ubuntu Touch, Postmarket, etc. (Though I have zero interest in using a command line or editing config files on a touch screen, so hopefully a little more polished than desktop Linux.)

Lineage is a great version of Android, but it tracks AOSP so it's always (I think?) going to be a fork of whatever Google is doing and probably won't diverge massively from wherever mainstream Android goes.
I think the main use case today is the dom traversal API. It makes operations like "add the 'error' class to all <input> elements in the form" simple:

$('#some-form').find('input').addClass('error')

Obviously you can do this in vanilla JS, but it's more cumbersome so you'll probably end up rewriting your own less complete version of jquery. There is some value to using a well worn library with public documentation that other developers can find/extend instead of a home grown solution.

With that said, I wouldn't use it for a green field project. For sites that require lots of interactivity I would pick a modern front end framework that doesn't require this kind of manual dom traversal (probably phoenix/liveview).
> so many gay men report great satisfaction from it.

Yeah man, love this app, who wouldn't...

https://imgur.com/a/Ff0qaPn
> Wow there’s so much to unpack here. We live in a world that is largely heterosexual and monogamous, meaning it takes two to tango.

Is it really?

The world may be largely monogamous and heterosexual, but is that the case for Westernized societies? I remember reading stats on how native Western EU cultures rank highest in terms of infidelity and divorce rates, with Luxembourg enjoying a massive 40% divorce rate. The world may be monogamous, but I doubt that's only because repressive Old World societies are propping it up.

Costs became unmanageable and out of reach for the average folks once women entered the workforce, essentially doubling the supply of labor overnight. This could have been balanced out with men not being looked down upon for staying at home with the kids (although that raises more questions, considering men weren't really biologically wired for the task).

There's a reason most rich families have mostly stay-at-home wives/moms even today. The man earns the dough, while the woman stays home or works a very chill job, while her primary focus remains the house and the family (including its finances, social standing, kids - which tends to be a very high amount btw, etc). And in my experience, the ones that aren't structured this way tend to fall apart quickly.
Reminds me of the (dead) RoughDraft mac app by 43 Folders(?).

There is also FocusWriter - opensource and multi-platform.

https://gottcode.org/focuswriter/
There is something about doing physical activity with others, that make others more likely to open up as well, so you can have a bit deeper conversations. Maybe it's related to the dopamine you release or something.
Start with tickling, maybe. It induces laughter, like a good joke, and it is as physical as it can get.

An interesting thing with tickling is that it is notoriously difficult if not impossible to tickle oneself. Does it suggest something on the nature of laughter and humor? I don't know. Probably that there is some social aspect to it, and a form of unpredictability.
So what? It's not like pythonic whitespace prevents similar manual alignment incompatible with autoformat like

if x=1...
if y=2

So you still have to resolve the coding style conflict somehow
The bigger problem is that you are arbitrarily limited on the amount of profiles you can swipe through each day.

Tinder promised to help me with the numbers game, then built their entire business on scarcity.
I never said moving from 4 to 8 bytes would require less changes that IPv6.

The problem of adoption with IPv6 is not technical. It's that IPv6 changes radically how we thing about IP networks.

IPv6 explodes all existing concepts of DHCP, DNS, NAT, etc. You have an entire generation of network, system and software engineers that have no clue at how IPv6 work, no existing infrastructure to learn it, and somehow expect that it's going to stick.

I say, let's solve the 90% that is really problematic with IPv4, being the number of adresses, and the rest is moved to some other standard.
Handing the company over to PMs is a very common problem I’ve seen at smaller startups.

It’s generally not that they are above the leadership team, but that that the leadership team have abdicated responsibility for product development to the head of product.
Changing the topic slightly: I used to fly on an American direct flight from San Jose to Austin with some frequency.

The flight attendants called it the "nerd bird". lol
And now imagine the service of, say, VW would be at the same level...
Theoretically, if you know how to race, you’ll always be hitting the same relative level of pain, just for different amounts of time.

Easy runs should be easy though, and hard training runs should very, very rarely cause pain.
The way without modern organization-dependent technology.

Read some Ted Kaczynski.
Now take a DNA sample for each one of the males and check the paternal haplogroup. That will tell you a story.

Why so many of them have paternal haplogroup R (European)? (in some areas, with a frequency of up to 88% of males)

What really means is that the natives you are running into are... you.

What happened to the rest?
> Does driving an EV 10,000 miles over the course of a month damage it far more than driving 10,000 miles over the course of a year?

Assuming 10,000 miles over a 30 day month, driving every day that's over 300 miles per day. That's pushing the limit of the range if not more, so they are fully cycling the battery every day. That's not good for battery life.
My company is product led. That means PMs have huge influence on what gets built. The how is still left to the engineers.

I think it works pretty well. We ship a lot of great stuff.
Yep. Huge kudos to the author for making it available, but the PDF does feel sloppy with all the bright colors and images. In science textbooks, less is more.

Compare this to the very latest edition of Stewart's calculus, which now uses even more pastel, subdued colors for diagrams.
Exactly - you’re selling commoditized products, not bespoke pieces.
So basically you'll wait for Russian occupation and then get conscripted to Russian army.
So if you create schemas on the fly, you cannot? Why would I use such a db?
Or Nielson & Nielson, discussed previously in HN: https://link.springer.com/book/10.1007/978-3-662-03811-6
Love it how the homepage hasn't change in years.
If you’re in the NYC area, the Bronx Zoo has some. Not the same as the plains, but definitely a shorter drive.

They are fascinating creatures.
First you want to displace natural gas for fertilizer production. But yes, if the energy efficiency is good enough and the electrolyzer costs are very low, it would make more sense than electrolyzing hydrogen and then running that through Haber-Bosch. Remains to be seen if either of those criteria can be met.
And non-standard analysis is useful elsewhere in math as well. Here's an example:

https://discreteanalysisjournal.com/article/87772-a-simple-c...