skysight-inc/HackerNews huggingface dataset:
TLA+ makes development faster, not slower (once you get a feel for how to use it).

I mean, it would be slower if you'd spend time writing mechanically-checked formal proofs, but that's working 10x for just slightly more confidence than you can get with TLC (a model-checker for TLA+) alone, so in almost all cases people just stick to specifying and model-checking.
I can't say I'm a fan of the GUI (part of this is me not needing most of its many features, which are doubtlessly useful for others), but the Calibre command line tool `ebook-convert` is fantastic and handles conversions pandoc can't. I love Calibre for this.
That is absolutely correct. If everyone plays 100% GTO, then no one makes any money except the house. In order to actually profit, you need to deviate from the GTO strategy in order to exploit your opponent's mistakes.
Fwiw, on Chrome in Mac, you can configure it so that pressing cmd-q won't close the browser without holding it for a few seconds.
Nope, email via arpanet (1973) preceeded usenet (1980).
The UI isn't pretty and it can be clunky at times, but it's functional. UI is hard, and I guarantee a lot harder than you think it is just by how flippantly you've described the endeavor so far.

Also, be wary of judging someone by how they choose to spend their free time. Notice how you haven't actually lifted a finger yourself, just judged others for how they lift theirs with zero skin in the game.
That's a good point. I was going by cases because to me that implies that some action needs to be taken again to stop runaway exponential growth again. It's hard to compare almost any numbers since testing is better and treatments are better.
The book "The Mythical Man-Month" has some of those laws built in.
Happy hacking! It’s good to see another JS compiler get brought up. I strongly suspect that our community hasn’t yet found the perfect kind of combo of tiers for JS; the more we try stuff the closer we will get.
Whether the worst is past or not, there is an ongoing economic recovery. Just look at the charts.

If you believe that isn't going to last, you can short the market. Just be aware that you're betting against the capabilities of the Fed's printing press.
However, conventionally the Prime Minister will be chosen from the ranks of elected Members of the Commons, and all the Great Officers (the senior cabinet posts like Foreign Secretary or Chancellor) will likewise be MPs. So every Prime Minister in living memory was the elected MP for their constituents.

Since it's only a convention the Commons certainly could just decide not to do this, and of course there isn't anybody to stop them - but that would be extraordinary. It hasn't happened at all in the modern era.

I guess the most plausible way it could arise now is if there isn't any majority in the Commons after an election, a conventional senior-junior coalition partnership in which the larger party gets PM but the smaller party gets some other roles is impossible for some reason, and the "obvious" compromise centrist politician has meanwhile been elevated to the Lords.

Nothing in the existing rules actually forbids a Lord being PM, it would just be incredibly inconvenient (the Commons hold the PM to account not the Lords so...) and look undemocratic, so I guess in that case they might decide the way forward is we put this chap in place as caretaker, his executive gets us out of whatever immediate hole we're in, and then hold fresh elections. If there is a decent majority in the Commons for that idea, it's enough to make it happen.
yes some aspect of this dudes diet was coming for him. he made it interesting by eating a ridic amount of licorice (?)
> Yes! I always remember the name of the books but almost never remember the name of the author.

Then use the search mechanism in your file manager/OS. If your library is too large, use calibre itself. Alternatively, use a script to symlink all the ebook files into a central directory.

Windows/msys2:

`c:\msys2\usr\bin\find -type f -name ".epub" -printf 'mklink "%p" "c:\library\%P"\n' > links.bat && links.bat`

Linux/mac/etc:

`find -type f -name ".epub" -exec cp -s -t /home/me/library '%p' +` (find might be able to do symlinks on its own, not sure)
To me videos are more akin to conference talks. They are interesting when they focus on presenting an idea, a technique or a pattern with simple code. An exercise where the code itself doesn't matter too much essentially.
Or open in private tab (without cookies)
Tangential: it's called K-shaped but really it's kinda sideways-Y-shaped.
Both these links are broken on the article that is linked: "Chapter 22 of Selected Papers on Fun & Games. (See “Randomness in Music”.)"
the hackernews I come here for
I’m only talking about engineers. Look at compensation on levels.fyi. Staff engineers should make north of that.
Perhaps not. But when it comes to UN institutions and their processes, they follow the official UN list of recognized nations.

And legally, how do you recognize a country that does not officially recognize itself? The Taiwanese constitution still says it is the Republic of China. The current legal situation is that, by recognizing Taiwan, you are officially saying that the Taiwanese government is the legit ruler of the mainland.
Every time this article is posted I laugh to myself a bit.

At this point the "masks may give people immunity" sounds like part of the "unlocking narrative". Stories that are used to bring the public out of the panicdemic craze that's swept the world.

You know what else gives immunity? Not wearing a mask.

You know what not wearing a mask grants? Herd immunity.

Two concepts that we aren't allowed to talk about on the internet.
My Dell M6800 RAM has 2 bad bits out of 32GiB (easily found with the wonderful 'stressapptest' tool). I'm not exchanging the DIMMs because of that (besides, it's of course in the DIMMs which are more difficult to access). When running Linux I mark a MiB around those memory locations to not be used (memmap option). I haven't bothered to do the same when running MS Windows (it seems a bit more complex). Every once in a while that memory is accessed in a way which causes some corruption leading to a fault. I feel a bit guilty about all those senseless bug reports automatically generated and sent ...
I think vanilla calibre supports this web version now, at least in linux. I just install calibre on my vps and run it headless. I posted directions up thread.
State balanced budget provisions have largely been pushed by one party.
This is an absurd criticism. YC “had” money for the same reasons it’s a great institution: the ingenuity and character of its founders (PG, RTM, TB, JG). Money is created and how to create money is the same nature of problem as how to create something people want or find highly useful (and then requiring that they indebt themselves to you for it).
Even that politico article is missing pertinent details:

"Judges cannot—nor should they try to—align our legal system with the Church's moral teaching whenever the two diverge. They should, however, conform their own behavior to the Church's standard. Perhaps their good example will have some effect," the paper [by Coney] concluded.

When asked during the 2017 Senate hearing how she would weigh her faith with her responsibilities as a judge, Barrett said, "It's never appropriate for a judge to impose that judge's personal convictions, whether they derive from faith or anywhere else on the law."

https://www.newsweek.com/what-has-amy-coney-barrett-said-abo...
One of the most non sensical comment that I've seen on HN
Shh nobody tell him AirPods are just bluetooth headphones :)

https://www.apple.com/airpods-pro/specs/
Do you expect a customer to purchase peanuts by the kg and another customer to purchase peanuts by the tons at the same price/kg?

Larger companies bring larger revenue. They get juicy discounts. I acknowledge the situation with smaller devs, but the comparison is extreme - billion dollar company vs. a single developer. How do you reconcile these?

Every enterprise software has volume licensing even though the cost of distribution is negligible. Is an App store different? I argue its not, but open for discussion.

With Stripe, I can get 1.9% or even lower transaction fees if my volume is $2M+ annually. Usually for poor small companies, they have to pay 2.9%. So sorry for small companies :-( but that's how the world works. There is a lot of emotion behind arguments on HN when it comes to Apple. It is mob thinking and bandwagoning, I am not impressed.

Edit: Sorry, I was referring to another comment. My mistake.
Charities are irrelevant from the failures of the system itself.
<Citation needed>

Based on what else I've seen about him -- admittedly only this thread -- I would guess that while he would not assist or change his behaviours, he would not actively try to frustrate it.
I believe the argument was something like if the US wants to extradite him and charge him under their own laws theoretically FA would get in the way.

If he were run through Canada/UK/Aus courts you wouldnt see the same argument.
> nobody cares about the less fortunate; and those who do, only do so superficially

I feel like this is dangerous thinking.

Very different approaches can be reasonably proposed to solve the same issues by people with very different perspectives on the world. People who don't support - or even directly oppose - the actions you believe should be taken don't necessarily not care about the same things that you care about.
Author of the model here. First time on the front page with my content - thanks for sharing!

This is the same model I used to service several dozens of SaaS companies a month when we didn't have any software to help us.

The idea was that I need to have one core template that I can use to quickly onboard companies around $1m in revenue, while keeping it modular enough to add more complex forecasts or metrics for companies in the $5-20m range. (Not all of those more complex pieces are in this template though).

I'd appreciate any feedback on the model! There's definitely a lot of legacy stuff I would do differently if I were to start over.

I'm planning to update it this fall to make it simpler to get started, while keeping the structure robust enough to keep adding forecasts & reports over time. Maybe a video how-to would make the learning curve a little less steep as well.
I really miss the compose key functionality from X11 whenever I use Mac or Windows. No need to remember weird number codes or open applets.
it's frivolous because it's silly to think that eating a large amount of anything with total disregard for healthy nutrition won't result in some kind of unhealthy outcome
No, thanks. I already have a couple of security drones. Their names are Sig and Mossberg.
I can't help but wonder if this post was written as a response to Kanye's tweets about starting a Y Combinator for musicians. [0] Which Sama offered to help with. I would love to see another post about whether Kanye and Kim could function like PG and Jessica for a music based YC. (Which twitter has already dubbed Ye Combinator.)

https://twitter.com/kanyewest/status/1305977929180966913
The crucial thing about TLA+ is that because it's not actually executable code your investment in it is completely up to you. You could decide to put in 100x the time if you wanted, you could decide to put in 0.1x the time if you wanted. Your investment in it is totally up to you and completely independent of the time you'd spend in writing the code.
They probably haven’t yet discovered the “favorite” link at the top of the page.
It really is night mode, not just some dark mode for a virtual world. It's even night on the wild mode; the author could add some crickets sound, it would make everything better.

The author also seems to be one of those people that think that sunlight is yellow.
When the analogy was built off of saying that saying that cars are bad my metric X, when the claim was that software has gotten worse by metric X, and cars have actually gotten better my metric X, no, it's not a good analogy.

And yes, there are some ways in which hardware has improved. But the claim is that, judged by what you're using it for, most UX-apparent aspects have gotten worse. Is there a clear way this is wrong? If you look at most UX-apparent metrics, it hasn't. Latency from keystroke to character render has gotten worse. App start time has gotten worse. Lots of other latencies have gotten worse.

None of the nightmares described in the article were typical of software UX.

These would be arguably fine if the additional features you get were a necessary cost, but they're not.

I'm also not sure that devices have gotten more efficient in all respects. Each version of iOS gets more energy-intensive, for example.
Instead of formal support systems people need to depend on occasional charities.
> If you do not win a general election you cannot form a government.

On the contrary. All you need to form a government is some way to get a majority for Confidence, and all you'd need to make that a working government is Confidence and Supply. That's all Theresa May had, she did not win the election but she had DUP promises to vote for her on the question of confidence and where necessary for supply, and that was enough to limp on for quite some time.
Quoting from the summary page:

"In 2019, for the first time in history, non-hydro renewables like solar, wind and biomass generated more electricity than nuclear power plants."

Reactor construction times have been increasing, and from recent measurements, in-progress reactor constructions are averaging just north of seven years expected build time.

The report also includes information about COVID-19's effect on the energy and nuclear industries, and has this to say about nuclear and renewables comparatively:

"While the nuclear industry was struggling with COVID-19 cases, dramatically reduced workforces in operating plants and facilities under construction, the renewable energy industry apparently suffered much less and shorter impacts of the pandemic. It is obvious that operating solar plants or wind farms need significantly less maintenance by fewer workers than a nuclear facility. Also, the construction of new generating facilities requires less workers on-site at any given time in the renewable sector than in the case of nuclear. New renewables (excluding hydro) come in much smaller units, and therefore appear as a whole significantly more resilient than in the nuclear sector."

Edit: removed a summarization I'd made about construction/decommissioning based on a chart on page 58, because I have a feeling that may only take currently-planned work into consideration, rather than attempting to predict future projects.
Can you provide examples of such charitable programs and how they were destroyed by government programs?
The Wall Street Journal Front Page Friday September 25, 2020 with Art
Thanks. Its refreshing to see someone giving props in the comments.
> clip without blowing out your meters

If the audio clips, and the meter doesn't "blow out", then in my opinion that is a defective meter.

ALSA already has an eq plugin (http://quitte.de/dsp/caps.html#Eq10) and I added this to it:

if ((s > +0.99 && x[z1] > +0.99 && x[z2] > +0.99) ||
(s < -0.99 && x[z1] < -0.99 && x[z2] < -0.99) ) {
//clipped audio isn't exactly 1.
printf ("dsp/Eq.h:process(): input clipped :(\n");
}

....

if (
(r >= 1.0 || r <= -1.0) &&
(r < 20 && r > -20)) { //uninited memory?
printf ("dsp/Eq.h:process(): output clipped :( %0.16f\n", r);
}

(one day I should try to get upstream to accept that or something like it...)
That's the point. A significant portion of US voters, at least in the districts that matter, want to pick and choose who they help.

Higher taxes and government provided safety nets are less biased than charities. Why would I be proud of a country where people beg on Facebook for donations when their family gets cancer, and a significant portion of those go on to vote against things like universal healthcare, parental leave, minimum sick leave/vacation leave, etc.
Mr. Beck,

First let me say that I appreciate your contributions to this discipline.

I'm not sure I am following your premise/argument. So, work on whatever you want and implement it in whatever way tickles your fancy?

How does autonomous task/autonomous implementation jive with TDD? Am I truly free to choose what to work on (business priorities be damned) and free to implement in any manner of my choosing, say using a new cloud service I just read about in a new language and framework that interests me? What if I implement without tests, or source control?

This seems to be a recipe for people to find the easiest tasks to work on and cowboy up a solution.
Tech is bad because our hypothesis of "nature will help us adapt to our disregard for foresight" is proving false. Across the board: economic, social, manufacturing, education, environmental -- everything is giving us plenty of evidence that we are headed in the wrong direction.

All meaningful measures of human wellbeing are going down at increasing rates. We are making mistakes at a rate that outpaces our ability to learn from our mistakes and we doubling down on the strategy that got us here in order to get us out.

The line about us not knowing the future and needing to take the best guess we have and building more on it than we are confident in its correctness is illogical and clearly disordered.
Is a different species than the common rat. A rodent in a different genus and family that is a solitary monogamous species from african rainforests.

They can't stand cold so well as brown rats so couldn't be used in snowy places, probably.
I don't think so. Charitable giving is a way to assuage your guilt without actually addressing the root causes that created poverty and inequality in the first place.
I'm reading it, and from what I can tell she is being criticized for her politics. What's happening, according to the article, is that conservative leaning media and religious groups are framing those questions as anti-Catholic. It's a nice time honored political move of screaming "discrimination!" whenever people speak badly about you. It might fire up some demographics, but I don't see it.

The complaints about her have been purely about her political views and never about her religion directly.
I appreciate Maciej Cegłowski's perspective here:

https://idlewords.com/2005/04/dabblers_and_blowhards.htm
I was working on something similar to say, stepped away, and saw your post. So I'll add to it:

TLA+'s place is as part of your design process (you have one, right?). It's the thing you do before committing any code to the project or radically restructuring an existing project (prototype code fits in the design process, but it shouldn't be considered committed most of the time). By spending a bit of time thinking about the design, and using tools like TLA+ to validate that design, you can save yourself months and years of heartache down the road.

By way of anecdote, some colleagues were working on a concurrent algorithm, needing to share data between two embedded processors talking over a databus. A bit more time spent on the design, versus the rather slapdash approach they took, would've saved them 6 months of debugging and tweaking until it worked. The issues were subtle, so it "worked" but wasn't totally correct and tracing the errors they were seeing back to that code was non-obvious (and hard, debugging embedded isn't trivial). It was quite literally a case where skipping a couple weeks of design cost them months later.
Going through Lamport's video lectures (https://lamport.azurewebsites.net/video/videos.html) is a great way to get the basics down. It proceeds at a fairly lesiurely pace so if you just block off some amount of time every day (say a video or two a day which usually works out to 30min - 1 hour depending on how well you want to practice the concepts in the video) you'll be able to use TLA+ by the end of a week or so.
For my first stab at learning something new I usually try on my own, but when I'm getting lost or things aren't working as expected I like videos, especially ones that weren't prerecorded. The number of times documentation either takes a mental leap or actually skips a step can be frustrating. It's also helpful to see where someone else makes mistakes because it's often the ones I would've made also.
The author of the article says that a network of regular security cameras is a better solution. He must not be married.

There's no way my wife would allow all those wires everywhere. And the wireless security cameras are a pain because you have to remember to recharge them.

Now, before the wannabe This Old House crowd starts up with "You just put the wires in the walls," consider that 43% of Americans rent their homes, and the number is even higher in other countries. The vast majority of landlords won't allow you to run wires in the walls.

That said, there's NFW I would have one of these in my house because I don't trust any tech company to have a camera in my house.

It's marketed as a security device, but it's not like a toy quadcopter is going to stop an intruder any better than a non-flying camera. Which means "not at all."

If you want home security that can reach all parts of your home, and provide alerts when someone breaks in, get a dog.

No, the dog can't alert you when you're not home, but again, it's not like you can do anything about a break-in when you're not home either way.

Then again, iOS has the built-in ability to detect dogs barking and react to that. Perhaps in the not-too-distant future, your Homepod can detect the dog barking and hit you with a text message.
> Assuming that Goyal is on the spectrum is the charitable thing to do. It allows one to excuse his brusqueness and defensiveness as simply something he was born with.

Alternately: His first language wasn't English.
To avoid criminal charges beginning with sexual assault and rape allegations, I think, not from the US. Which may have been a tactic to extradite him before other charges but as others have said here, he is a terrible personality to have in this situation as he's polarizing and contentious at the best of time.

When groups like the ACLU have pushed issues via lawsuits its often with a very specific, media attention perfect client like Rosa Parks who cannot be vilified or attacked for a past criminal record or documented issues with society and law enforcement. Not because those people don't deserve representation but because their cases were too easy to strike down and prevent progress on the underlying issue. We see this today with so many validating the killing of George Floyd because of a past criminal record or recent behavior without eve considering if those actions deserved a death sentence or night in jail. It's sad but it's true.
Your charity argument only validates the parent's comment. No healthy society should rely on private charitable as safety net for the less fortunates.
AFAIK, it's the only format on Kindle that will use the newest layout engine which fixes justification issues (ie ragged right), kerning, hyphenation, drop caps, and some of the weird spacing issues that earlier layout engine produced.

What you are describing might be fine for novels, but for works where the typography is part of the creative result, it's not a great solution.
Charities serve as that safety net, because something has to fill in the gaps - and they do so incredibly inefficiently.

Consider how many tiny, regional/branch charities/NGOs they are in your city alone, and then consider all the overhead of running a small business. Now multiply the two numbers together.