skysight-inc/HackerNews huggingface dataset:
Those topics fall under the general heading of Mathematical Logic.

Wikipedia is usually a pretty good place to start for any such question:

https://en.wikipedia.org/wiki/Lambda_calculus

there are a lot of external links and references there.

I don't know if there's a lot of work still being done with the original untyped lambda calculus but typed lambda calculi (or analogous models), on which I believe Haskell is based, are another story.

You may also find this interesting:

https://softwarefoundations.cis.upenn.edu/current/lf-current...

It's an introduction to the coq proof assistant which is based (at least to the best of my understanding) on a kind of typed lambda calculus. In the first few chapters you will learn how to construct the natural numbers and formally (ie. in a machine verifiable way) prove theorems about them.
Updating jQuery version shipped with WordPress
If by common sense you mean ethically, then a lot of people would disagree. This is a worthy battle and future case law.
Software on private torrent sites comes straight from the scene, who treat their hobby pretty seriously.
> 1970 gas shortages 2000 dotcom bubble burst 2008 housing crisis

All missed opportunities to change broken institutional structures and to do things differently.
E.g. https://greentec-usa.com/

I have no experience with them-- I've just assumed it would be overpriced.

I'd certainly be interested in worm drives for personal use (e.g. for access logs, and photo archival), but not so interested that I'd pay a big premium over standard drives. :)
Google has failed to compete in all three of those things (in terms of hardware), so maybe they need to stop trying the same thing over and over and hoping for a different result.
Let me understand this: you want a business to have enough capital to pay its expenses for 12 months on zero revenue?

Holy Jesus; that's massive.

Capital is not free. Typical costs of capital today are about 8% (1). You're proposing, essentially, an 8% tax — not on a firm's profits, but on a firm's expenses. I don't want you to think, "oh, that will push a few firms into failure, rendering their entire business unviable." I want you to think, "it will spare a few firms." I also shudder to think of what happens to firm formation in the face of the steep, steep barriers to entry this raises.

You propose a very, very expensive way to build resilience. You're right, though, that the costs would be borne by all of society. Maybe it's worth it? But it's a hell of an ask, and I'm skeptical.

(1) if you have better figures than http://people.stern.nyu.edu/adamodar/New_Home_Page/datafile/... then I'm all for 'em
> Alcohol is still killing more people than all the illegal drugs combined,

That's because they're illegal.
A friend of mine once said that if he could do college over again he'd major in math and philosophy. He said something to the effect of philosophy teaches you to argue from a set of premises, math teaches you to argue with a given conclusion.
Well in the case of traffic tickets, revoking their license or taking their car away would be much more effective solutions than jail time.
There’s an insurance product for that.

Pandemic insurance is available for businesses - it is a cost that will, by definition, not likely pay back. But if an event occurs it will pay out as expected.

Human behavior is such that only about 12% of Californians in at-risk areas purchase earthquake insurance - even though many significant earthquakes have occurred in living memory.
There's no intent to deceive necessary in the water heater example. The water heater company could have sent it in with a note to the regulator saying "we moved the second element up, because we believe it will perform better on your test" and the regulator would likely just accept it instead of redesigning the test.

Also, for the water heating one, there's a plausible reason for the regulator to care about the discrete measurements rather than the total amount of thermal energy in the water. Hot water at the top of the tank is more valuable, because it's used first and less likely to be wasted, so you could wait it more heavily in a test. There's no parallel for the VW test cheating. No indication that's what happened here, of course.
Sure. And the expected value of getting caught and paying fines, etc. etc. It's true, but I think the point stands.
Author here. I'm delighted to see this is still interesting / useful to folks. In case anyone is curious, here's a short origin story for this tutorial.

I learned Lua for a game jam - during the course of the game jam itself. Like many, I found it a bit weird at first. 1-indexing feels wonky (you get used to it, though); now that I use Python all day, I would miss syntax shortcuts like list comprehensions going back to Lua.

When I was a kid, I learned C from a little pocket reference book while building little self-motivated projects. I still think this is the best way to learn - have a project in mind, and just enough fundamental examples to get you there.

I threw together the Lua tutorial mostly in one sitting, spending some time to edit, and going back and forth on how to keep the whole thing runnable while still explaining how external modules worked. Shortly after publication, Adam Bard contacted me with his idea for learnxinyminutes.com. I said great idea and ok'd the inclusion of the tutorial on Adam's site. Adam invited others to write their own similar-style tutorials, and his site grew up quickly.

Lua itself is a truly beautiful language, though I understand this is not a popular opinion. It's beautiful because you can learn the entire language, through and through, quickly. Memory and comprehension of the language itself get out of the way, so the only hard problems left are your decisions about what to do with the language. (You ask "How will I?" vs "How can I?") Instead of being feature rich through added features, it's feature rich through good language design. I expect some will disagree with me, but as one comparison point, consider the complete syntax of Lua:

https://www.lua.org/manual/5.1/manual.html#8

versus, say, Chapters 11-14 of the ECMAScript spec:

https://tc39.es/ecma262/#sec-ecmascript-language-lexical-gra...

It's not apples-to-apples - the ECMAScript spec is spelling things out in detail, while the Lua section is an overview - but it's still a thought-provoking contrast.
Let's say you want every 5th element of an array, with zero indexing your code can be very elegant. Your indexes are 5 * 0, 5 * 1, 5 * 2. With 1-indexing you have to do (5 * 0)+1, (5 * 1)+1, (5 * 3)+1 etc.
Interfaces in CSharp8 are bit of mess
I'm reading that as: in a world of scarce resources, there is always going to something higher priority to deal with than extremely low risk catastrophic/existential events.
Interesting! From their website it looks like you must become a "school" (about $4000 USD) and that gives you access to the material? I guess theoretically you can be a school of one for teaching a single child.
Do You Have What It Takes to Be a Master Auctioneer?
Yeah, I think you got lucky. He sounds like a great boss. And, he was probably right.
If curious see also

2015 https://news.ycombinator.com/item?id=9038505

Discussed at the time: https://news.ycombinator.com/item?id=3830867
Even that is not true. There is no criminal law against defamation, or libel. There are civil liabilities, but they almost always require the defendant to show commercial damages.

The standard in the United States is that the information published is both knowingly false and published with actual malice. And for matters of public concern, there is a further requirement that the information be provably false. Separately, the charges cannot be ridiculous, as demonstrated in Hustler v. Falwell, where it was held that even though Hustler published a story that Jerry Falwell had incestuous sex with his mother in an outhouse, and even though that story was false, known by the publisher to be false, and published with actual malice, it still did not meet the standard.

Misinformation campaigns are absolutely allowed in the United States. This is a current problem with Fake News. Fake news is protected by the First Amendment, no matter who writes it. And indeed, much of it is written by foreign agents, specifically with the intent of influencing US elections.
I'd say that's the zeroth rule.
Your mobtime app does not look like it was built with hyperapp, but instead is using ferp.
snmalloc: a message passing allocator (Microsoft Research)
> support system

At the risk of making the same mistake everyone else makes, I wonder whether the support system and the task queue can be the same system.

They're both distinct from issues because they are made for communication with the rest of the world. (Tasks are one-way until the description turns out to be incomplete.)

Of course they're also distinct from each other in other qualities. Most importantly, having more tickets is generally bad.
Khan is awesome. And if we end up building our own curriculum we will likely be using it for math. It doesn't seem like the one-stop shop we would like though.
Revenue means nothing. Is it profitable?
Covid-19 ‘Breach Bubble’ Waiting to Pop?
Looks like Apple ripped off yet another Web spec... AppClips anyone?
I've been casually using jq for years, yet you just managed to put three things I didn't know about it and will use extensively from now on in a single one-liner. Thank you!
Google Sheets will soon be able to autocomplete data for you
The risks involved with rapidly changing the planet's climate are huge and largely unknowable. We're running a very dangerous experiment where we can't know what all the results will be. Hence, you don't run the experiment.
There used to be a lot more parity between Vim and Emacs. But nowadays, it's swung a lot further towards Vim. Any ideas why?
> The whole RISC philosophy was a huge mistake. Yes, x86 instructions do not map well to transistors, and they have to be unpacked into uops to be executed.

The RISC philosophy wasn't a mistake. Our architectures have just become more sophisticated so that we don't have to make a binary choice. The hybrid is good. The internal uops get the pipelining advantages of RISC, while we get the encoding compression of a CISC instruction set.
You just identified exactly what OP was asking for: context.

I can't hear what the police are saying to the protesters, can you?

That's context.

The police actions appear mildly questionable, I'll give you that. But we lack context to understand what happened here.

The problem here is that both sides are defensive of themselves. This is precisely why understanding context and nuance is important, because each is incentivized to favor their own viewpoint.
Flying into the ELT (Fulldome) [video]
It feels like a big challenge. In particular having to be compliant with common core for states that don't allow you to simply "wing it." That said, it feels like a big enough market that it would be a perfect candidate for crowd-sourcing courses.
If you want to go deeper, the hydrogen atom doesn't even exists in the way we think of that word, because particles are just an illusion, only quantum fields are real, just like a yellow dot you see on a computer screen is not really there, instead it's just a simultaneous excitation in the G and B fields of your screen.

For the planets in our solar system the colors are real.
> people who are in the majority

Who do you think that refers to?
It is if it’s not profitable.
This is something that's repeated very often on news media with zero citations to the datasets from which they derive their conclusions.

Would be interested to see your sources because folks like myself are highly skeptical about unsubstantiated claims, especially when they serve ulterior interests. In this case, small business rhetoric supports mostly the large businesses that want to suppress wages and avoid workplace protection regulations.[1]

[1] https://citationsneeded.libsyn.com/episode-111-how-small-bus...
If the employees actually cared they'd ask the company to match the money.
VVIQ[1] is a common test.

[1] https://en.wikipedia.org/wiki/Vividness_of_Visual_Imagery_Qu...
Exactly. Scene groups are tight knit and very professional.
Everyone with a strong political commitment sees HN as dominated by the opposite politics to their own. This is an illusion. For everyone saying what you're saying, someone else is saying this: https://news.ycombinator.com/item?id=23396632. Both statements are false; it's just a large enough and chaotic enough dataset that you can find examples of anything—and the ones you dislike the most will be the ones you remember the most (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...).

For sure terrible comments appear. The false part is to say that they're representative of the community—they're not. Commenters with opposite views notice opposite examples, claim those are the representative ones, and are just as wrong. I've mentioned just one counterexample chosen at random, but could as easily link to 50, and another 50 on your side.

Most such posts get downvoted and/or flagged, though it takes a while for the immune system to work. More here: https://news.ycombinator.com/item?id=23686864
>At this time, we think it’s important we put our money where our mouth is, and direct some of our discretionary funds — such as those typically used to fund a spot bonus program (which is separate and distinct of our annual bonus program) — to bolster our efforts to ensure our products and services are accessible to the people who need them,” she said. “This requires making a few small sacrifices, but why wouldn’t we do that?

You're a Nazi if you want to get paid.
While I like your app and definitely consider giving it a try now that it seems to support e2ee, you shouldn't create a new account to post the same message after your other one got voted down so hard. Please consider writing a "show HN" post instead.
So you plan is to replace calories with mostly empty (calorie and nutrient-wise) greens...
Very hot take. I couldn't disagree more. The ultimate aim of these diversity projects is to help members of disenfranchised communities find meaningful employment at good companies. This both strengthens the product and makes the company more attractive - implemented correctly, it can be come a powerful flywheel of benefits. Implemented incorrectly, and it can sink morale without actually empowering, supporting, or helping anyone.
It seems like the main effect has been to surface all the racists who come out in opposition. Programs like these are highly efficient at that.
What about, power corrupts. But in a democracy it's hard to do it in the open ... For long :)
The tabbed ribbons are called Notebookbar in LibreOffice.
Strange question, for anyone that has the Bekant non-motorized desk, is the desk wobbly?

I noticed that the motorized version is significantly studier, where the standard version was quite wobbly.
In hindsight it seems so obvious. Going forward, "duck poop" will be my new default answer to every question.
This example is weirdly spelled:

echo '{"k1": [{"k2": [9]}]}' | jq '.k1 | .[0] | .k2 | .[0]'

is equivalent to

echo '{"k1": [{"k2": [9]}]}' | jq '.k1[0].k2[0]'

I kept waiting for the author to explain this, but they did not
Yoga is purely functional, so it's possible to use backpropagation to compute it efficiently.

It actually compiles 2 versions of each function: call them foo and foo.grad. foo.grad takes the same arguments as foo, and also a gradient for each output argument. It then computes gradients for each input argument.

The algorithm is simple: traverse the expression tree in the usual order you'd use for emitting code, and remember the order. Then traverse in reverse order, propagating gradients as you go.

The tedious bit is writing the gradients for every built-in op. For an operation like + it's simple: each argument gets the same gradient as the result:

void ExprAdd::backprop(YogaContext const &ctx, GradientExprSet &grads, ExprNode *g)
{
grads.addGradient(ctx, args[0], g);
grads.addGradient(ctx, args[1], g);
}

For something like divide it's a bit grosser:

void ExprDiv::backprop(YogaContext const &ctx, GradientExprSet &grads, ExprNode *g)
{
// https://en.wikipedia.org/wiki/Quotient_rule
grads.addGradient(ctx, args[0], ctx.mkExpr<ExprDiv>(g, args[1]));
grads.addGradient(ctx, args[1], ctx.mkExpr<ExprNeg>(
ctx.mkExpr<ExprMul>(g,
ctx.mkExpr<ExprDiv>(
args[0],
ctx.mkExpr<ExprPow>(
args[1],
ctx.mkExpr<ExprConstDouble>(2.0))))));
}

More at https://gitlab.com/umbrellaresearch/yoga2/-/blob/master/jit/... if you're curious.
> If the heating elements aren't at the bottom, specifically for this reason, how come they aren't?

There are typically two heating elements, one near the bottom and one further up. You can use the higher one if you only need a half-tank of hot water.

I'm not sure if this is the complete answer to your other question, or if sometimes conditions are such that convection occurs extremely slowly despite a substantial temperature difference.
They had an always on policy and the ACLU sued them because people were afraid that they might be using them for surveillance.

Again, sometimes context is important before making assumptions. People will tend to immediately fill in the blanks to fit what they want to be true. And unfortunately more often than not, when receiving new information, they won’t retract anything or reconsider their position.
How does increasing the pool of labor not decrease the price of labor?

This is economics 101.
>Outside of a book, do we still read code from top to bottom?

This one I disagree with. We frequently read code in a browser, as part of a pull request or just exploring a repo.
So apparently they're spending from "spot bonuses" rather than the annual one, which is different than what the headline suggests, but still... With that much revenue, I find it hard to believe they couldn't allocate separate funds for this -- funds that (as the employees point out) would be recurring.
"Error: Model is singular" is pretty frustrating to debug
NASA’s next Mars mission has now burned nearly half of its launch window
I used it for presentations and liked it conceptually because you would be able to advance the slides with the flick of a wrist and without having to hold a clicker. The problem was that it would always unlock from hand gestures and the software was glitchy. Still, it had a lot of potential.
My bank telling me what software I may use on my personal property is not legitimate.
Haiku does actually claim to be POSIX compliant generally, and is certainly UNIX-like. We don't include "vi" in the base install, though.
The Lottery Ticket Hypothesis: A Survey
I recall from the comments here and in Ars Technica that there was a significant debate whether IA could do that or whether this will be considered bankruptcy fraud or whether the publishers could still claw back the servers despite the separation.

There's another last ditch option though - IIRC, IA has copies in US, Canada, Netherlands and Egypt. Let's say that some government where an IA server is hosted is convinced to nationalize the server. They have legal authority - there's much legal latitude for acting in the name of national security, and there's an obvious case to be made here: if we consider disinformation to be a security threat than a server hosting reliable and trusted internal history is an obvious asset (e.g. [0]).

Such an act would easily override any legal attempts by the publishers, and can be pushed for even after a conviction and bankruptcy and without involving the IA foundation at all.

The danger is that post-nationalization the information would not be considered reliable - this can be ameliorated if the servers are immediately rerendered to a private party, but it's enough of a downside to make this a last option to push for. That said, I suggest keeping this option in mind.

[0]
https://theconversation.com/dominic-cummings-how-the-interne...
Employee spot bonuses.

The headline deliberately makes it sound like they suspended the annual bonuses that a lot of employees expect and budget around, which is not the case. This is a weasel headline designed to induce outrage where none (or at least nowhere near as much) is warranted.

Given the topic, you could even make the argument that this headline is designed to incite anger along racial lines, which IMHO has no place here or anywhere.

The HN title should be changed immediately.
ah thanks!
Nobody argues that. The OP said “the ultimate goal is...” and many people would argue against decreasing labor costs as the ultimate goal. More like a side effect.
They suspended spot bonuses, not your yearly bonus. These are sometimes given out at the end of a long project, they might be worth ~2k.

Still really annoying, but also kinda click-baity title.
just

```
set -o vi
```

problem solved! no more emacs pollution!
I cannot help to grin the veil suspicion that this intends to be an one stop measure to say "we did all we can do, but you guys don't support it".
YouTube TV had enough channels at launch. They kept adding channels that I didn’t want and charging for it. This went from best value to worst value in three short years.

Not sure what the old media hacks are trying to accomplish here.
You still haven't resolved the inconsistency.
No. The goal of white supremacists is to keep minority participation in high reward activities such as engineering low.

This is because mediocre white men are afraid that more talented minorities may gain access to the labor pool and they might start having to work harder for a living.

ReticentVote is fairly openly asserting that he wants less competition, because he is a mediocrity whose wages will suffer if forced to compete against minorities.

It saddens me that the very first comment here was from a white supremacist, but that is unsurprising given that Daniel Gackle works really fucking hard to ensure that HN is a "safe space" for white supremacists.

Congratulations dang, you've done it again. More bigoted white supremacists spreading their shit on your platform. The klansmen in your family would be proud of you.
What a beautiful conclusion for him on such a beautiful project. This man clearly loves the art of programming... so much, that he would give up power, just to pursue it again.

Thanks for the wonderful blog posts (over the years) and products.
What’s the point of YouTube vs xfinity? It would be interesting if they let you pick a la Carte but no one wants to do that (lower fees)
It's almost as if pirating software for home users doesn't have the negative impact the big corporations would make you believe.
1) Unemployment for software engineers is negative, there's way more room to hire skilled people before salaries become the reason people switch amongst top companies.

2) The poster I replied to stated that lower labor costs were the primary goal - and I refuted that. You seem to think I am stating something I am not.
I appreciate the foss alternative, but at the same time it seems downloading binaries manually is also part of the “problem”.

It matters a lot what site binaries are downloaded from, and a lot of average users don’t really understand the difference.

I suppose as long as a human decision is involved there is room for error.

Wonder if this can be solved without going 100% down the app store path.
If diversity caused lower wages then we'd see a proactive push among corporations to create inclusive cultures to invite that situation. But we don't, because it doesn't.
So like bombing a Yemeni wedding. You want to kill one person there, but the other 50 are acceptable collateral damage.

A very American solution.
Isn't that what the big button on the front of the machine is for?