skysight-inc/HackerNews huggingface dataset:
Yes and no.

My understanding is that Archimedes didn't, and never could have, produced the actual formula, because that way of writing formulas didn't exist. That's discussed in the sub-thread here:

https://twitter.com/daveinstpaul/status/1213469023461138432

Additionally, the result was probably known before Archimedes, but again, writing that formula in that form probably didn't happen until Euler.
Actually, no.

Examples for creating them in Java, Python and Node are here

https://github.com/stelligent/cloudformation-custom-resource...

Just add a few lines of code for create, update and delete for your resource.

For Node and Python, you can write them in the web console, test them, copy the code to your git repo and export the SAM CF template for your CI/CD process.
> Hypothesis: On twitter, when your follower count exceeds the number you're following, you become a little nutty.

I follow 8 people, and have 1029 followers. Following this hypothesis, I would be batshit crazy. I don't think this is a very good hypothesis.
For Thousands of Years, Egypt Controlled the Nile. A New Dam Threatens That
Government has a role to play here. How about fining corporations for cyber security f-ups? I live in Japan which doesn't have much to teach the world in terms of good governance. But if a Japanese company leaks PII the government already has legislation in place to impose heavy fines and even halt trading for a period of time. Makes for sober reading during company orientation.
exactly the original comment was make sure not to leach, and someone else thought it was a toxic attitude, and I don't think it is too toxic an attitude - because there are people who are leaches after all.
I enjoy morning brew, finance & tech news

https://www.morningbrew.com/daily/r/?kid=8aebb0
I saw some stats that the incidence of raised temperatures with coronavirus was something like 98% of cases so if you don't have a temperature it's probably just a cold.
Karl Marx Still Can’t Escape Surveillance
Thanks!

Feel free to subscribe to the mail list.

I will announce coming features like authentication soon.
Oh yes, I wasn't trying to imply that any party was at fault here - just that the outcome is unfortunate.

This isn't just limited to communications tools. For example, people might have dietary restrictions for non-health reasons (religion, environmental impact, etc) that others do not share or even understand. I don't mind accommodating those (to a limit) e.g. when picking a place to eat, but it is a burden placed on people around them. That's just the way it is, I guess, and I suppose all people can do is try to minimise the burden, and to be accepting of those placed upon you.
The article describes in detail why this is such a challenging project:

> ... It is hard to do something truly different in the smartphone industry. Companies, especially smaller companies, are all working from the same parts bin with the same manufacturing partners. You take your Qualcomm SoC, your Samsung display, and your Sony camera sensor—and you take a flight to China and visit Foxconn, which, in addition to manufacturing, will even do engineering for you if you want. Smartphones are so samey because they have an established, for-hire supply chain that has a certain way of doing things, and it's much cheaper, faster, and easier if you just "go with the flow" and do what everyone else is doing.

> Big companies like Samsung and Apple have enough money, control, and connections to move the supply chain in whatever direction they want ...

> ... If you haven't noticed, open source smartphone hardware is not a thing that existed before now. There have been phones that run open source builds of Android, but those are full of closed-source firmware from non-open components. The usual hardware companies cautiously guard their hardware designs and drivers, and Purism's hardline stance on open source has ruled out almost the entire established smartphone supply chain ...

> ... "When we first approached hardware manufacturers almost two years ago with this project most of them instantly said 'No, sorry, impossible, we can not help you'." Others warned us, that it could never work, that it was too complicated, 'the industry does not do that,' and so forth."

> The thing to keep in mind here is that Purism has taken on an absolutely gargantuan task. It somehow scraped together a new supply chain of mostly open source components, it came up with a smartphone design from scratch, and it is building its own smartphone distribution of Linux. Two years is not enough time to do this. The OS and app package is not nearly finished, and it lacks basic smartphone functionality. The hardware is nearly finished, but you'll have a hard time taking advantage of it right now since the power management isn't really implemented, and support for things like the cameras are non-existent. If you really want open source smartphones to be a thing, though, this is where you need to start. The Librem 5 is a proof of concept.

> "Open source at any cost" really feels like the mantra the Librem 5 was made with. That cost is going to be significant, since 1) the need to go out and build its own supply chain means Purism is doing this with zero economies of scale, and 2) the company needs funding to build the OS. Get ready for some sticker shock: the Librem 5 is currently $750. That's up from the $700 early-bird price it had in 2019, and when the "Evergreen" 1.0 version launches, the price will go up again to $800. This is high-end smartphone money—and remember, you're not really buying a finished product. The Librem 5 is only for true believers in the idea of an open source smartphone ...
Thankfully this is still possible in the US... for now.
For those interested in mobility (including micro-mobility) and self-driving vehicle technology (from the perspective of a VC), I highly recommend Riley Brennan's "Trucks | Future Of Transportation" weekly newsletter: http://www.tinyletter.com/transportation
The problem for me is carrying around a phone with apps on it.

So I have a SIM with a dumbphone but no smartphone. People can call and send me messages. Frequently I leave that at home too.

I do have an iPod touch though which i use for podcasts, as a camera, and for a few specific things like a banking app. But no messaging, social media or distraction-type things are allowed on there.
I've found it increases portability and makes it both easier to move between pipeline providers and debugging failed builds locally.
Experimental Radio News: https://experimradio.substack.com
We know exactly how to build them that big, but choose not to because we have better materials and better techniques. That cupola was created because the builders were too ignorant to figure out a better way to enclose the space, with modern steel it is trivial to create a building that encloses the entirety of the Parthenon.
Really, really expensive lawyers I would guess. I look to Apple's behaviour towards the Right to Repair movement for proof of past behaviour/culture as an organisation.
When Bias Is Coded into Our Technology
Okay, maybe I can accept this readily. Easy enough to prove that doubling the height of a convex 2-d shape will double the area if you stretch all of its vertical proportions to double. If that shape is on a graph, the x axis is what it normally is, and the internal height of the shape for a given value of x is given by f(x), when you double the height it will be given by 2*f(x). The integral of a function times a constant is that constant times the integral of the function, so the area inside the shape would double.

I don't remember multivariable at all, would someone be willing to offer a 3-d proof?
Generalizations to higher dimensions[1] also have some fun properties. For one, the volume of a n-dimensional sphere (ball) goes to zero as n goes to infinity.

But not in a trivial way: given a radius r, you can find the number of dimensions n that maximizes the volume of the n-sphere. For r=1 it's 5 dimensions, but for r=3 it's 55 dimensions.

Numberphile[2] has a video on higher dimensional spheres which talks about this weirdness.

[1]: https://en.wikipedia.org/wiki/Volume_of_an_n-ball

[2]: https://www.youtube.com/watch?v=mceaM2_zQd8
Using syncthing you can trivially have it everywhere as well, with only a one-time setup and no continuous need to manually commit changes and manually sync them (unless you're using hooks for your VCS to automate that I guess).
A mature implementation exists, called voilà, see https://github.com/voila-dashboards/voila, which is developed by members of the Quantstack.
It's not exactly what you're asking for, but recently I started using Nest.js and it's been a godsend. It's a very opinionated framework, which means you can skip all the bootstrapping and go straight to building the actual application.
Imagine that the pyramid is made up of a very large number of very thin slices. Now take two copies of each slice ... they are thin enough that you really haven't changed the shape, except to double the height. You've doubled the height, and doubled the volume.

It's a little like performing a riffle-shuffle on two identical packs of cards. If they aren't simply cuboids, but are identically interestingly shaped, riffling them together results in something that's the same shape, but twice the height.

Does that help?
KDE FreeBSD updates (february 2020)
How Chocolate and Valentine’s Day Mated for Life (2015)
True, I was more addressing the general idea around "drastic" action along these lines. I hadn't heard of SIM free idea myself.

People often get a bemused or even aggressive reaction to those who cut out conventional device habits.
My First reaction was that it sounds awesome and I want to try it for a view month.

Then I realized that most German delivery services require a phone number and email address (like when you order a new shelf or phone or computer or ...).

Then I realized that the messenger I use to communicate with my family bases identity on the phone number (not my choice, but nothing I can easily change).

Then I realize that my main relevant usage is to get live information about public transport.

Well I guess I'm not quite ready for it yet maybe when I managed to convince everyone to switch to a non phone number based messenger.
The biases that drive anti-vegan hatred
This is mathematics, so the rules are whatever you make them, as long as they are internally consistent.

You can claim that 0.9 ̅ is a number that’s larger than every other number smaller than 1, yet smaller than 1, but then, you’ll face questions such as “what’s the average of 0.9 ̅ and 1?”. If you want averages to exist, you’ll have to break the rule the average of two numbers lies between them. So, the easiest way out of this is to say “in my version of math, we don’t do division”.

I don’t even know whether ”0.9 ̅ is a number that’s larger than every other number smaller than 1, yet smaller than 1” can lead to a consistent system, but, as an example, in nimber theory, the nimber called ‘star’ is confused with zero: it is smaller than every positive nimber and larger than every negative nimber, but not equal to zero (https://en.m.wikipedia.org/wiki/Star_(game_theory) )
For the US and Canada, there is JMP.chat which can be used to 2FA over SMS without a SIM. Uses standard XMPP so can be used from a computer or phone while on WiFi.

There are other proprietary services which can do the same for no monetary cost (usually lots of advertising and tracking, though).
I like it. I'm using a numbered version:

function showargs() { i=1; for x in "$@"; do echo "arg $((i++)): $x"; done }
fd -e py

Also neatly bypasses the glob issue.
Hammer and nails, but to me the intuitive derivation of the volume formula would be through integration. Approximate slice of sphere as a cylinder, and sum up the volumes of those cylinders as their thickness approaches zero
> Then I realized that the messenger I use to communicate with my family bases identity on the phone number

It is only required upon registration or a change of a phone. Most messengers don't require (nor really have a way of figuring out) whether you have the same simcard in the phone, or whether you have a simcard in it at all.
"Assembly Language Step-by-Step Third Edition" 3rd Edition by Jeff Duntemann is a great book.

It starts with the very foundation and builds up, up to interfacing with C and implementing data structures, still in assembly.

Sadly, this book still references 32-bit ISA. My guess is that the author got old enough not to bother updating the book anymore (the first editions of the book were about assembly programming in DOS, then DOS and Linux, then Linux only).

Still a very valid book, as x86-64 is backwards-compatible with 32-bit x86. Also, as somebody else has written, once you understand the basics, you can mostly swap things like register names and/or look to the reference pages of your cpu/linker/assembler.
This post assumes windows doesn't have problems with games. One of the biggest is how you get input lag in borderless / windowed because you can't disable Windows 10's composition features like you could in 7. If you're in a scenario where 5fps matters enough that it can dictate your operating system of choice, that's a much bigger problem ime.
I found Gradient and Paperspace pricing to be incredibly opaque, and even a bit deceptive.

First of all, Colab works on a "resources are free, just not guaranteed" model. When I was about to sign up for Developer, with "Free + Low-Mid Instance Types", I expected that I would have reasonable, shared access to low-mid instances as part of my subscription.

(otherwise.. what am I paying for? Don't charge me... to charge me.)

I then found out that you have to pay a per hourly cost for low-mid instance types; making it a better buy to just use AWS and GCP directly yourself. (When you suspend instances on GCP, you don't get billed for CPU or GPU hours; just storage).

And finally, after that, I found out I had to separately for storage, as well as a $5 deposit minimum or something like that! Colab doesn't have anything like this. AWS doesn't bill a minimum of $5 for each instance, even if you spin it down after a few minutes.

And finally, I couldn't even use the instances I thought I'd get access to, because you're out of availability. Which is really questionable: I'm paying per-hour rates, on top of a SaaS monthly subscription, and plus storage costs with minimum floors (probably a high margin item for you); for a very constrained capacity of GPUs?

We overpay for AWS, and GCP (their margins are insane! esp on bandwidth) because they guarantee most people availability. If I want to deploy 3 gigantic instances for a few hours, (and I have the right quota limits); I can. Sure I'm paying a lot more than what I should, but it's like taxi drivers: you're not just paying for the cabbies time as he drives you, but also his idle time as he looks for a customer.

I don't understand what I am paying for here. I feel like I'm just being charged margin for you to wrap around GCP or AWS with a colorful UI. I do not feel comfortable with you having my credit card details.

If you made a subscription, around $20 per month maybe, that gave me reasonable access to a mid-tier GPU instance subject to capacity at no marginal cost, I would happily subscribe.

Until then, I'm going with Colab, because the beauty is that your costs are fixed and not marginal.
It is. If you're running windows on an even remotely slow drive, unless you disable Windows defender (which you can only do temporarily through conventional means) the system is barely usable.
That will be quite misleading when you have filenames with spaces and arguments with quotes.
The dollar is likely a factor, as you mention. But from their list of cities only Toronto has a crisis of home affordability. Montreal is still within sane levels and Waterloo is not too much worse.
There are some books suited for beginners and these are:

1. https://www.amazon.com/Low-Level-Programming-Assembly-Execut...

2. http://www.egr.unlv.edu/~ed/assembly64.pdf

3. https://www.amazon.com/Introduction-Bit-Assembly-Programming...

The first one is somewhat written in "weird English" (Russian English?), but it is still readable. It really helped me with x64 assembly as a C programmer. I have used 2 and 3 as reference most of the time and the first was basically my "main x64 assembly book".
I would also recommend getting more proficient in C programming either by studying books such as "Expert C" and the "The C Programming Language" or reading "advanced" stuff somewhere on the Internet, e.g.: http://www.pvv.org/~oma/DeepC_slides_oct2011.pdf

The main takeaway in all this for me was learning about the call stack and the different calling conventions which gives you a clue on how recursion works under the hood.

Also when you are done learning about "practical computer architecture", i.e. assembly language programming, learn stuff about operating systems as well:

http://pages.cs.wisc.edu/~remzi/OSTEP/

Fun fact: this is not really related to assembly programming, but functions such as setjmp() and longjmp() are used for implementing exception handling.
I have hated every single formatter I've tried, other than Black. It seems to be the only one that's not just trying to put style into PEP8 compliance, but also keep it readable and maintainable.

I'm also curious about the issues you've had with it.
Back in the eighties I was the founder (and president for several years) of a Danish user group for BBC/Acorn computers (called Quercus). We included all computers from Acorn ranging from the Atom and the various versions of the BBC and Master up to the new RISC based Archimedes computers. This was before the internet, but we established a BBS and had a lot of fun. We had a reunion a few years back where people could play with a BBC model B and a Raspberry Pi.
https://bullets.news/ - The best articles for science lovers shortened to five bullet points or less.
From yesterday's article it seems unlikely to be at the 10% end. The doctor estimated deaths amongst those hospitalized at around 5% and for each person hospitalised there are probably a lot who just stay home so it's looking nearer the 1% (https://news.ycombinator.com/item?id=22263022)
Redecentralize Digest / few emails per year about decentralization: https://redecentralize.org/redigest/2020/01
This is why I set up VFIO last week. It's sort of a pain but having windows use be sort of containerized on my system makes it more tolerable.
Ah, the humble pop up. I don't see them so much anymore, but I also don't visit many websites that would do that anymore. It's always startling, sometimes it can take a good minute just to get through the onslaught of popups, popovers, chat widgets and permissions requests just to see the article.
Technical Museum! (http://technischesmuseum.at)
Is the point that you get your work recognized, instead of your “self”?
This was all done before calculus had been developed, and the ideas here are clear precursors of the ideas later made precise by Newton and Leibniz.

The intuitive derivation is by thin slices that are thin enough to see why it's true. The trained and sophisticated version is "Well, it's just calculus, isn't it."
Two things:

1. Stop having a parallel internal name hierarchy. This has always been a terrible idea, and effort to try to make it work less badly is unnecessary if you instead don't do it at all. IF you're EXA Metal Pole Europe and you own example.com then put the internal stuff in internal.example.com or whatever, don't put it in a "private" TLD named .example. If it's very important to you, you can use Split Horizon DNS to prevent outsiders looking up names in internal.example.com from your DNS servers.

2. Yes, measurements were made for potential TLDs and ICANN designated some potential TLDs as "High risk" and agreed not to try to delegate them (ie sell them). .corp and .home were on that list. Nevertheless you should not use these names.
I still don't understand the pay rhetoric in Canada. I live in Bangalore, and I make more or less the same pay as in Toronto for nearly 1/5th the cost of living.

Why are salaries so low in Canada ? Now at least owing to the US immigration fiasco, more labour should move in and salaries should technically rise - but I don't see that happening. Not sure why.

Competitive salaries on par with California or even NYC will have a dramatic impact on the influx of immigrants.
and how not to be independent. The essence is to be sometimes/often dependent on other people.
Ask HN: What are you learning in 2020?
Nice to hear. The single quote issue is the main thing that keeps me from using black. Double quotes are just too noisy.
Standardizing everything to 48kHz and then scale down in clean multiples of 8 would be the logical way to do it.

Offering more than 2 channels in a pure audio format has been tried countless times and failed every time. It doesn't do anything for headphones, and surround-mixed music has always been a gimmick at best.

1-channel can already be done on existing CDs, the left and right channels are fully discrete and can each contain a separate mono track. This trick was used on VCDs, to have two different languages on the same disc. The player can be set to only play one channel.

Here's a Techmoan video about using two mono tracks to squeeze twice the amount of music onto a CD: https://youtu.be/5fG1crhGqI0
Remindmail: Self-hosted reminder for unanswered emails
That means the expansion is very limited and can be inconsistent. The bash etc. way is much more powerful and convenient.
The free version of Colab is pretty great for ML students.
Finding the steps on the individual contributor ladder
Flashsort
Colab Pro is probably the "we want to give verified non-bots more access, but need a small monetary cost to actually stop abuse".

The collection of a credit card isn't just monetary: it also provides some sort of anti-abuse as most people have a limited number of credit cards; and even a bulk credit farm operation has a monetary cost per card (I read the going rate for a hacked card even is $100 ish).

Aged Google Accounts go for $1-2 from account farmers these days.
Depends on where you draw the line between work and self, I guess.
They really need to lower their specs to make this more affordable. I have no problem using slower hardware, on the contrary, it saves battery. Maybe they planned a cheaper version?

I'm also a little curious why they didn't choose an open android fork.
Me too, i has using windows notepad since 2003 to take notes, but in 02/2019 i just found Joplin...and its a amazing tool, simple like notepad and with cloud integration for backup.
https://joplinapp.org/
Thanks. It doesn’t say how that’s possible. I’d be more interested in the sars and mers case. I had never heard that before.
History, Genetics, and Infectious Disease (2016)
Ok thanks :)
While this is pretty frustrating and seemed to be the result of a bug, I would personally only use preemptible instances are when I have everything scripted, and save the state of my work when you get a termination signal.

To me, they're not really sold as "cheaper, just not 100% guaranteed"; they're sold as "cheap, it will be killed at any moments notice so".
The real meat here is in the linked video.

Lecture (and reliable audio) start at about 11m 40s.
The structure of this comment gives the (very American) idea that you want to become rich so you can save the world. You really just want power.
More about the book _Music: A Subversive History_ by Ted Gioia:

http://tedgioia.com/music.html
The Tree of Chess
SEO Trends in 2020 and Beyond
If coronavirus spreads as far as a typical flu, you’re talking about million or tens of millions dying and maybe hundreds of millions hospitalized.
A Belgian one (Leuven) ;-)
It would be nice of GCP didn't bill for pre-emptible instances that got system killed within 10 minutes of starting; or something reasonable like that.

I doubt it makes a material difference to their (or our) bottom line, but it's just a nice gesture and makes you never feel like "damn, I literally wasted money".
wayback URL:

http://web.archive.org/web/20200209091540/https://www.dpmms....