skysight-inc/HackerNews huggingface dataset:
This is a good overview, but notice how hazy these different categories are around the edges.

> not only create servers, but also databases, caches, load balancers, queues

These things are, I would say unquestionably "infrastructure".

> firewall settings, routing rules, Secure Sockets Layer (SSL) certificates

These things are more or less configuration, basically files that exist on the above.

And yet, as you say, it's common to manage them using provisioning tools like terraform.
Well of course there are parallels. But on the other hand, I have very high regard for UK government digital (having twice worked in that space) and would be much more inclined to trust them than a local authority, especially where the potential benefit might be enormous.
I don’t like them either. I also don’t like the sound isolation. It makes me feel sort of numb and out of touch when I walk around with such headphones.
Neat. The more, the merrier.

If anyone wants to work through SICP in the original way, you can get MIT Scheme, and run it on some computers.

sudo apt install mit-scheme

Some of us added support to DrRacket, for working through SICP that way (though if you already know how to use an editor, etc., you might prefer to just run MIT Scheme): https://docs.racket-lang.org/sicp-manual/
From the twitter comments: https://twitter.com/bicycult/status/1255122953798328320

They were still logged in and refreshed the page; they found out by going to their user settings.
I've donated and shared the link with others, best of wishes <3
Journeys in Blockchain: Leemon Baird of Hedera Hashgraph
I'd echo this - I know a decent amount of DBAs/data devs who need to generate an ERD once a year for some giant overview thing for their new VP or whatever, and Visio just doesnt cut it, graphiz has a million ways to slice it, etc.

Maybe that market isn't that interesting to you, but the value prop for 100 bucks a month (since most real schemas that have the problem of requiring visualization are going to be >50 tables) for one schema that I then get to go cancel or w/e isnt that strong - It'd be enough that I'd consider writing that graphiz layer I keep screwing around with.
That's about numbers from "real-life" distributions, so that's a different thing.
I've used TS for 4-5 years now and I have been using Next.js/GraphQL in a work project. I would focus on TS since I don't really think Next.js/GraphQL is worth the hype and I would bet TS will outlive both by a significant margin.
> ...infinitely many 9s...

How about we prove that an infinite number of 9s is impossible?

Assume that we have a finite number of 9s. Add a 9. The result is not infinite. Add another 9. The result is still not infinite. We can repeat this process for an infinite amount of time and still not have an infinite number of nines.

Any process that can not be completed in a finite amount of time can not complete and can not have a valid result based on that completion. Any process that can not be completed in an infinite amount of time is also bogus, but is in a sense even more bogus.

Added: Note that this is different than the case where we are asked to contemplate infinity with respect to continuous functions. By defining the number of 9s as a discrete (integer) value it opens things up to a discrete argument. These pointless navel gazing exercises always end up as a war of what everyone things things are defined as.
GraphQL is a genuinely different kind of tool in the box, and it is at times useful in that way.

Typescript is really just a tool for people who want autocomplete in VSCode for their javascript, or who really still want to be coding in C# and unless you're just dying without those things it's a lot of overhead for not much benefit.
I'm glad that Rust has no `auto`. I find this:

fn map<U, T, F, I>(it: I) -> impl Iterator<Item=U>
where I: Iterator<Item=T>, U: From<T>
{
it.map(|t| From::from(t))
}

infinitely more readable than

fn map<U, T, F, I>(it: I) -> auto
where I: Iterator<Item=T>, U: From<T>
{
it.map(|t| From::from(t))
}

The type signature of the first one clearly tells me that the return type is an `Iterator<U>`, even though the actual type cannot be named because of the anonymous closure.

The second one leaves me guessing what the return type is.

If the actual type cannot be named, it is rarely the case that this is all there is to it. Usually, users are expected to use that type "somehow" (it is a `Range`?), and that means that there are some interfaces that these types implement.
Yes that proof depends upon the representation in text of rational numbers (a dot and a series of digits). Try it in hexadecimal - it becomes opaque nonsense. Without some mathematical basis for 0.9... X 10 being something, there's a dangerous dependency on the representation that makes many folks uneasy.
You realize the tweet right below that one clearly states that it only applies to tweets containing a specific hashtag, right?

"The above legal language applies ONLY to replies to this tweet using #MayThe4th and mentioning @DisneyPlus. These replies may appear in something special on May the 4th!"
Never heard of Fox News?
If you mean airport screenings, one presumes the usual pre-gate screenings.

If you mean visas and the like, also yes; to go from Egypt to Israel requires both an exit visa from Egypt and a tourist visa from Israel.
If you already have a decent job, the 3-4 years of extra real-world experience will likely put you much further ahead than college would. I wouldn't waste so much money and time on it given your position regardless of covid.
Comparison of Email Validation Services
NB: That is actually the second edition from 1996.
I know it is a bit of an aside, but how on earth did we overload the term camelCase (or CamelCase) when we have PascalCase available?
Appeal by Astronomers (on the effect of satellite clusters on astronomy)
I'm very happy to see better competition with Apple's AirPods. And visually, these look fantastic -- distinct but just as tasteful.

The lack of active noise cancellation still seems to leave Google a "generation behind" here, but playing catch-up is still a great thing.

But more than anything, I'm fascinated by the "Adaptive Sound" mode. Seriously, for years I've wanted my headphones (and laptop speakers) to auto-adjust their volume based on both the signal and ambient noise. If it works well, I hope to see the concept spread pretty much everywhere as an option.
SimbirSoft Is a Top B2B Mobile App Developer of 2020
Once people who have used such headphones for decades are older there will a be big market for hearing aids.
Big fan of terragrunt.
Is this a mockup? A garish white rectangle?
I tried this route as a counter to Cantor's diagonal argument, and got chastised by my then professor. I hope you have better luck, as I was never able to convince myself otherwise.
Back in the day, HP hiring used to value a Masters' Degree as 1 year of experience. And a Master's Degree took 2 years. So they made in explicit: get out of school and get a job.
> Not using foreign key constraint just for the sake of GDPR sounds weird.

That isn't what he said.

He said their inability to delete an account is due to poor design of their data schema by a well intentioned developer.
> We can repeat this process for an infinite amount of time

Well, no, you cant. How about I prove it to you:

Assume that we have a finite number of processes. Repeat the process. The number of processes is still not infinite.

/s
Thanks, a big part of this idea actually came from lecturers that have been using DrawSQL for teaching in uni classes :). I agree will definitely reach out to a few more to see if this tool will be valuable.

On making it fullscreen, that's such an useful/obvious thing to include in hindsight. Thanks for the suggestion! For now you can actually click on the "DrawSQL" logo within that opens it in full screen in a new tab
This should not be a mystery at all. India locked down entire country (no state rights in Epidemics laws), despite federal structure. Very few things can be bought, even Amazon is only delivering "essentials."

But more importantly, India has been contact tracing like a greedy algorithm on steroids since case #1. There was a positive case in a condo nearby mine. The entire condominium building and adjacent locality is sealed. Not a lockdown, sealed. Nobody in, nobody out. The authorities spent over 9 hours interviewing all family members, neighbors, and friends of the infected for contact tracing. Every contact is being monitored, with police showing up randomly to make sure of no symptoms and adherence to home quarantine.

People are self policing mainly to avoid police, but they are self policing each other because nobody wants their buildings sealed. It really is working, I see people unwilling to hand over their credit cards in shops insisting to tap to avoid infections. In my state, there are only 85 active infections, only 2 are residents of my city, and even then I'm given gloves and sanitizer when I enter minimarts, with only 10 minute allowance to go and shop with maximum 4 shoppers allowed inside.

Edit: It becomes a big news when a positive case is found nearby. There is a distributed effort of volunteers to monitor infections (http://covid19india.org). There is no way government can lie about numbers.
Quick example off the top of my head is the built-in sorted function. That returns a new list if I'm not mistaken.
The food bank thing is just an example. It’s an example of something worth donating to: a non-profit charity organization that can redirect funds to help people in some way.

So yes, you can do both things. You can donate to whatever you want.

My whole argument here is that donating to a for-profit business is never noble and never logical. If you give money to a for-profit entity you should either receive a product, service, or ownership stake in return.

Again, my whole argument is that this crisis has made many people in an act of group-think start considering donating to for profit entities, especially ones that frequently churn in the first place, to be a desirable action. It’s not, full stop. Nobody should do it.

Another example: my gym has an option to continue paying dues to support their “employee relief fund.” But the owners of the gym administer this fund. How do I know it won’t be used for profit? It’s not a 503(c) organization. The owners could just keep 90% of it and give 10% to the employees and that would be perfectly legal.

So it’s the same thing with all of these hastily-arranged informal restaurant/bar donation funds. There’s no oversight, there’s often not even an official organization that’s behind them.
I think most people use a case. Not using a case on a glass body $400-1200 device you're going to carry around in your pocket is pretty risky.
They also didn't carry their newspapers around and constantly read them all day. I know the article proposes looking at the sky before you look at your phone first thing after waking, but the article probably wouldn't have been written if we checked our phones first thing, and then left them home the rest of the day.
You bring the Peano arithmetic, I think people who respond to you can discuss Peano arithmetic without needing to be accused of pedantry.

(Disclosure: I have no idea what Peano arithmetic is.)
The problem is I know smart people who do very little because they are too
lazy, and people who are not that smart but keep working on a problem until they solve it.

IQ is only the potential of a person, not the guaranteed result.
Check mode in ansible

> --check
https://www.ifixit.com/Guide/Samsung+Galaxy+Buds+Battery+Rep...
I’m so glad for them and you. I really hope that’s party of a larger trend. It’s just not a trend here.
Twitter Moving from Pants to Bazel
Looks great, from looking at the use cases and examples.

What scares me is the requirement to have ffmpeg and ffprobe installed and available of course. Had a painful experience installing ffmpeg on Jessie Light on a rpi in the past.

If you know a good and easy way, or have a link to such a way, to install these on Mac / Windows / Ubuntu I think adding it to your readme could help you gain traction outside of people who already have some of the capacities needed to do such edits.

Edit: precised that I'm not looking for a way to install ffmpeg, I was just suggesting that pointing to a way in the README would be an improvement IMHO.
It could probably work in an ML variant like SML.
Cloudflare partners with JD to expand its network in China
100 Days to Offload
Namespaces and cgroups are orthogonal to OCI and runc.

gvisor is an example that runs containers via runc without all that, using the same scheme as User Mode Linux instead.
This makes no sense, so there will be a consultant firm behind this poor decision. It's sure it'll play out just like the direction the UK took over the lockdown.

The app take up will be poor and they'll start using the goog/appl data 'alongside' the centralised app, eventually sidelining the centralised app altogether.

But the contractors will have been paid and will continue to be paid.
For what it’s worth, I’m not a Python programmer and I got that correct.

The answer is:

[1]

[1, 1]

[1, 1, 2]

[3]

It relies on knowing something about how python applies default arguments.

I’ve only written about a hundred lines of python in my life, so possibly I just got lucky - still, I would have thought an actual Python programmer should get this?
I did this last night. It was awesome. I’m in the city, so I can’t see much, but did see the beautiful crescent Moon (and the dark, barely-visible Earthshine-illuminated portion), very bright Venus nearby, Orion (with a red Betelgeuse whose brightness has now recovered after waning for months), and then I saw a spectacular stream of just-launched, orbit-raising Starlink satellites emit from the North Star and fly past the handle of the Big Dipper. (Plus a couple other non-Starlink satellites earlier.)

(On a side note, it seems that SpaceX has made really good progress on solving the in-service brightness problem of Starlink, and hopes to launch all their satellites—starting with two launches from now—with low enough in-service brightness to be invisible to the naked eye once on-station.) https://spacenews.com/spacex-to-test-starlink-sun-visor-to-r...
Cool, but why? What’s a use case for this?
This relates heavily to the "what language should be taught in schools" argument. I usually answer "Java". And it's not even that I particularly like Java, it's just that the discussion often neglects that the course involved is all about classes, getters and setters, inheritance and so on. It's nonsense to shoehorn this into many other languages.
In fact, by that logic, its a negative correlation!

My old Engineering Professor noted that his B students were the successful ones that reached high levels in the real world.
The fatest historical market data (1-min|EOD) API Quotient. Check it out
"the number was appended to local-part, not the domain. I found out by going back to a tab where my session was still valid but the account dropdown had updated with the new name. Profile settings revealed the email."
Repeating the same thing you just said in response to an argument is not an argument.

Encryption is not changing content, in fact it's the only way to prove that the content was not changed from the version google indexed vs what your are seeing.

Please correct me if I am wrong, but google has always indexed paywalled sites, in other words there has never been a guarantee you have rights to view what google indexed. The only sin is to say "I told google I have A" but really you have B.

It seems like what you are arguing is that google should not index paywalled sites. This is a legitimate desire of course, but has never been reality.
Can someone please please make a util that configures tmux for me?

I'd like to run a small program that generates a tmux.conf, after asking me some questions, and having me demonstrate my responses.

So step one, it should be able to figure out what version of tmux I'm using. Then it probably needs to know what SSH program I'm using, so it knows how the keyboard and mouse from that program will mess with it.

Picture a Wizard where it asks, "Do you use the mouse to copy and paste? Try to highlight this text: [example1]. Then try to paste it back into this screen." and etc.

Wouldn't this be... kind of an obvious thing to make?
A long list of Google Analytics alternatives
That's maybe the theory, but in reality, the only thing Ansible hopefully is, is idempotent between playbook runs - but there are no guarantees there, at all. Only in very simple setups things can be fully declarative in it's totality.

Don't have much puppet experience, but I can't count the times anymore that I've had to add steps to playbooks just to determine stuff used in one of the following steps. The other option was to write a snowflake Ansible module. The individual steps/plays might be declarative, the playbooks are not.
I'd guess it's on the HN front page because people were curious about someone who could afford to spend 6 million dollars on ads in a single year.

My first thought was not "I was in charge of spending my employer's money on ads", it was "I was spending my money on ads".
It seems the case was eventually settled[1] for an undisclosed sum.

[1]https://en.m.wikipedia.org/wiki/Tinkoff_Bank
How to Prep for Speaking at a Virtual Conference
In-depth and detailed steps to prepare for delivering a successful virtual talk.
Really interesting read, and I love that there was a small GIF shoutout to Top Secret. Funny, campy action film in the spirit of stuff like Hot Shots Part Deux.

I'm pretty ignorant about how cameras work in general. Bit embarrassed to admit that I didn't realize stuff like ML was used to guess depth and know how to add background blur.
Interesting, though I think that will make more sense in the future when new features to better compartmentalize sections of the diagram is introduced. I imagine it will be a mess of lines right now haha
3D Dog
Use your imagination.

Edit: For a group of people that have critical thinking skills it's discouraging to see the same trite questions asked over and over again. The author of the project does not have to sell a use case. Use your imagination to create one. George Boole did not pitch the transistor.
You only need to define 0.9… as 9/10 + 9/100 + 9/1000 + …. Without knowing how that series converges you can then use the two expressions mentioned to conclude that it has to be equivalent to 1.
Pentagon officially releases UFO videos [video]
Show HN: A kit to teach physics and programming through wearable electronic art
With a group of other volunteers we are making a wearable artsy electronic device with which to teach physics and programming. The (nonprofit) kickstarter was just funded. I would love share and hear feedback on the teaching resources we are preparing. They are still in a very draft state, but here are some examples:

- Intro materials that teach about color and vision at https://spinwearables.com/sight/

- Intermediate materials about making your own stepcounter at https://spinwearables.com/stepcounter/

- A very advanced (college level) lesson on using neural networks for gesture recognition at https://spinwearables.com/rnn/

We are particularly proud that we made a widget inside of the webpage that can be used to practice coding before trying to upload the code to the wearable device: https://spinwearables.com/transpile/

There is much polishing and extending to be done for these lessons, but we are excited about the opportunity to teach how knowledge of science gives you the skills to make wonderful beautiful things. Any content suggestions or demos that you would have loved to see as a student would be appreciated.

[k]: https://www.kickstarter.com/projects/spinwheel/the-spinwheel-the-colorful-wearable-programming-kit?ref=7u9oi6
[main page]: https://spinwearables.com/
What it's saying is that replies you post using that hashtag may appear elsewhere. For example they could use them in promotional materials. If you use that hashtag you're acknowledging that. They aren't the first to do that. I don't see the issue.
Just use 'byobu'. it's a pretty good starting point :)
That's awesome. I have a former colleague who is like that too. He'd been coding for years when I met him and is still coding now. I know a few other folks like that, but also know many other folks who've stepped away from day to day coding.

Anyway, different strokes for different folks :).
Ask HN: Where can I learn autoconf, automake and make?
I am struggling to learn how popular projects maintain their build process using their configure scripts and Makefiles. I have come to known that they mostly use autoconf, automake, libtool and make. But is there any resource which takes us through this process step by step? Maybe with examples and links to documentations for further studies.
Oh so many useful utilities to write. Folks often say "what should I do with my programming skills?" when there are endless tools, whos lack hold us back.

My favorite would be a tool that wrote a Linux device tree source file, by digesting the board schematic. Port Linux to your new device with one click! Of course, that would take away a large part of my contracts. I'd have to do some real work for a change.
I just randomly scrolled down and this was the first item I read:

>Following a series of terrorist attacks against Cuba (such as the bombing of Cuban commercial flight 455, that originated from anti-Castro Cuban exile groups in the US, such as Alpha 66, the F4 Commandos, the Cuban American National Foundation, and Brothers to the Rescue), the Cuban government sent spies to infiltrate these insurgent groups operating in Miami. Afterwards, the Cuban government then provided 175 pages of documents to FBI agents investigating Posada Carriles's (a former CIA operative) role in the 1997 terrorist bombings in Havana, but the FBI failed to use the evidence to follow up on Posada. Instead, they used it to uncover and imprison the Cuban spies, known as the Cuban Five. [18][19]. The Cuban Five said they were spying on Miami's Cuban exile community, not the US government. They were imprisoned from 1998, until their eventual release via a prisoner swap in 2014. The terrorist bomber Posada Carriles (who admitted to planning 6 bombings of Havana Hotels and Restaurants) lived in Miami and was safeguarded by the US government until his death in 2018.

That's an "atrocity"? Get real; I closed the tab here.

This could more aptly be titled "Things Big Bad America Did That I Don't Like".
yeah, seems like a mixed bag with the wrong conclusion

they show the graphs, from which one can infer whether the infection is increasing/decreasing

but the top-5 conclusion seems to be based on total cases, which is probably not the case if rate is considered
Not only are there cases, which resolve the issue, but most people use phones while held in their hand, so the bump doesn’t lie against anything. The problem with the bump is purely aesthetic.
On a side note - you don't know a free tile server that serves elevation tiles, do you?
> 10x -x

subtracting infinities is dangerous, you can achieve any result from it

https://www.youtube.com/watch?v=-EtHF5ND3_s
Completeness is one of the most important properties of real numbers. Basically, you will have to completely throw away real analysis.
I use static builds from [0] for my Rockchip RK3368. You have to be okay with trusting those builds though.

[0] https://johnvansickle.com/ffmpeg/
Investing in Tecton
> Coronaviruses are easy to vaccinate against.

From what I've read, creating a sufficiently safe vaccine has been quite a challenge.
That and why not allow null for the foreign key constraint and set it to nullify upon deletion? Or indeed, anonymise data.
It's not a special case. It's the standard general definition of the limit of a sequence. The limit of a sequence a_1,a_2,...,a_n,... exists if and only if there exists some L (the limit) such that, for any (arbitrarily small) epsilon > 0, there exists some N with the property |a_n - L| < epsilon for every n>N. In this case a_n is n 9s after the decimal point (or a_n = 9*sum_{i=1}^n (.1)^i).