skysight-inc/HackerNews huggingface dataset:
Not as good.

The current subsidized low income internet package is something like $10-15 per month for Xfinity and it's 10-20 mb/sec.

The issue is not rich vs. poor. My internet is cheap because our building has contractually guaranteed a single monthly payment on behalf of the many units in the building for some number of years. You can make an investment based on that.

The City of Chicago is contractually guaranteeing payment on behalf of an even larger number of people. Any private company can make an investment in better infrastructure based on that. But the City is content with letting Xfinity provide garbage service in exchange for that money. If they City said "we will guarantee payment of up to $15 per month to any entity that can provide gigabit service to low-income families" there would be multiple bids from local companies, and they'd all be able to do it profitably.
I’d say action movie content serves as massive marketing.
American film is stacked with guns. It’s kind of ridiculous.

There have to be money involved.
> Is the website fast and inviting? Is the software easy to install? Etc.

A very gentle way of phrasing this ;-) Thank you.

The Nest used to be really fast with the previous Pijul, but I remember the first iteration took a few days of debugging under full load before being stable. I'm not expecting it to be fast until a week or two.
This is actually quite amusing
Undeniable Mathematical Evidence the Election Is Being Stolen
Is it able to somehow transform dynamic loading of content into expected clicking of links, upon which the server delivers another static HTML + CSS page? Or is this "prerendering" limited to already static parts of the website?

It would be great to have a web framework, which automatically transforms everything into links, which, when clicked, cause the server to deliver an updated HTML + CSS, which shows the same info, as one would have seen with a dynamic update using AJAX.
As you might already be aware OCaml is present on the nightly TechEmpower runs: https://www.techempower.com/benchmarks/#section=test&runid=1...
Unfortunately not doing too well.
Agreed! I got back into piano at the beginning of quarantine and it's been really interesting for learning how I learn. As you said, to make any level of progress on new pieces I need to break it up in to short 20 min exercises interleaved with breaks. My ability to motivate myself and to retain anything is also directly correlated with the amount of sleep I get. Going to check out your book recommendations as well!
I'd happily take a shot a year for a decade in return for getting rid of lockdown.
I think every Congress member has a "constituent services" office just for matters like this.
We have some friends whose child's passport application had gotten lost in processing. Their congresswoman was able to intervene and help them get their passports in time for a vacation.

Protip: Your House representative is likely to be more responsive than your Senator. Being up for re-election every 2 years rather than every 6, House members have more incentive to directly serve their constituents.
Reef-Pi
In some countries parties put up a platform of policies before an election, voters learn about each party platform and vote based on the policies they agree with most.

If people actually did the most basic of research about what each party intends to do (and how they have historically behaved when elected) rather than making everything a personality contest, then just maybe they’d get representation that puts forward policies they believe in.

And before anyone claims it: no “the opposite of $otherTeam” isn’t a policy platform and neither is “own the $ideologyNickname”
Sorry man, i totallly read that as ‘illegal in the EU’
> Most languages ... do not gain any benefit from this restriction. One exception is in domains where you are proving properties or doing analysis

Not even then. In some cases you need to forbid recursion in the proof language to make it consistent if it is based on the lambda calculus, but making the object (programming) language non-Turing complete does not make analysis/proof easier, unless you consider going from potentially infinite difficulty to unbounded difficulty "easier." The complexity of analysing a program written in a language with only if/else, no recursion, not even bounded loops, and just boolean variables and no arrays is already PSPACE-complete in the size of the program.

Some people think that program analysis is hard because of the halting theorem (or its corollary, Rice's theorem), but that's just the simple story told to first-year students. A generalisation of those theorems (sometimes called "bounded halting", but it's part of one of the most theorems in computer science, the time-hierarchy theorem) says, roughly, that, in the worst case, you cannot determine in under N steps whether a program will halt (/emit some output/reach a certain state) on input X within N steps. That's the "master" theorem that determines the difficulty of program analysis/proof, and not only does it hold for some of the more powerful non-Turing complete languages, it even holds for the simplest computational models: finite state machines.

To give an intuition as to why termination cannot possibly make analysing programs or proving interesting properties about them, consider that we can take any program, in any language, and mechanically translate it into such a termination language (even better: into a finite state machine!) while maintaining its behaviour for all practical intents and purposes: We add a decrementing counter, initialised to, say, 2^1000, to all loops/recursive calls, and terminate the program when it reaches zero (possibly changing types to allow that, but that is easy to do even mechanically). This program will behave just like the original at least for the duration of the universe, so we don't care about any differences that could arise later. In other words, if termination (or even "finite-statedness") alone made a difference to program analysis, we can already assume, without loss of (practical) generality, that all programs are like that already.

On the other hands, many specific instances of programs in either terminating or Turing-complete languages are relatively easy to analyse.
> In addition to some amazing first-person narrative about life at sea, it does answer a lot of the "why don't they just" questions in this thread.

Yeah it puts into perspective how daunting the tasks of cleaning up the oceans (pollution, crime, illegal fishery, drilling, etc.) really are.
This is a interesting topic because it exposes one of the great sins developers commit - we don’t pay each other. I’m not talking about nickel and dimeing your fraternity, but there is certainly a reasonable price for a lot of these packages and plug-ins we install that can create financial autonomy for a lot of people via modest efforts.
https://drawingmachines.org/post.php?id=148

It's kinda weird that the understanding of the word "spectrograph" seems to have changed a lot in not that long a time. My understanding is that work on observing the spectra of stars and understanding their composition went on in the 1920s. Not only did the 'spectro-' part acquire a relatively specific meaning, but it seems like the term flipped from naming a device to an image produced by a device in not that long a period.
I meant you’re wrong about Redis. It was in a unique position for a long time, if you pulled it out there would be nothing to really replace it.

RedisLabs does charge for redis (extensions, and support) and seems to be doing pretty damn well for the matter.
Also not on the ballot was any discussion of how Chicago spends it's billions of dollars that led to this budget crisis, though I'm sure there are numerous programs both less profitable and less popular than this one.
The 'Automating Inequality' book is 1/3 about homelessness issues, you might be interested :

https://virginia-eubanks.com/
In fact, if you look at the document I link to above, you'll see the correct Bayesian calculation where we actually compute p(Biased | 10H). In the first case it's pretty high but in the second case it's very small.
> extremely far from unethical to file a feature request.

I'm suggesting that it is in fact an ethical problem to try to get something for nothing if you break it down. It's no different than walking into an artists shop and asking if you can just have a painting. It doesn't make you a terrible person, but I think it's a problematic norm.

Now there's no requirement that the developer actually take the compensation (whatever it is). If you don't want it, add that to your README and never think of it again.
> The point of the quote is to show there are no limits curtailing liberties, not an absolute we shouldn't bother. The attempt to spin the quote into something else, probably because, you wish to "protect the children" is proving the point.

This is not even remotely how you used it. My argument is one where there are obvious checks and balances, where government power is clearly and significantly limited, and little is left exclusively to government trust.

Yet because I mentioned that there are actual people being actually raped, I get Godwin's Law'd. Not because I advocated for Chinese style state control. Not because I took away liberties that most people even care about, given most people are perfectly happy using Google services. But because I dared mention that real people are suffering.

This happens every time on HN, no matter how moderate my position. Anything even remotely compromising the Bottom Line (universal perfect cryptographic security) is Hitler.
It's more a problem of the free market. When companies grow larger and larger, the stuff they produce tends to become more and more locked down. So a freedom naturally leads to a loss of freedom elsewhere.
How do I find secret messenger accounts
There a couple of categories of comments on this thread that I think are missleading.

1) Judging the author's decision based on his previous behaviour or current speculation over his situation
2) Judging the author's decision to write OS and "demand" to be paid.

Both categories, imho, are missleading the real issue at hand which is this: We, as developers, as companies and as a society, who decided to depend uppon one man's work to make a living, our interest is to keep maintaining this library to keep our software running and evolving properly. Time (thus money) has to be spent for that.

So the question is for the rest of us here: Do we want to keep replacing various OS libraries on our depedency trees because some people can't keep maintaining them? Or shall we pay them? Or shall we maintain them ourselves? Somethint has to give.

To me, his point is at it's core very correct: pay me or fork it.

The rest is chit chat
Yes, "community areas" is bureaucrat-speak for neighborhoods. (https://en.wikipedia.org/wiki/Community_areas_in_Chicago)

It's useful for city planners and the like because "neighborhoods" have fuzzy boundaries that people disagree on, but Chicago's community areas are well-defined.
In Chicago the wards that make up Chicago are called Community Areas, nothing really confusing about it if you live in Chicago.
https://en.wikipedia.org/wiki/Community_areas_in_Chicago
Does the HOA run that? I'm curious.
To be fair, I would imagine, each apple on the tree has a slightly different nutritional make up then every other apple on the tree. Plants don't spread nutrients evenly throughout themselves. They push more nutrients to areas with more light or the areas that grow better.

I've always assumed nutritional guides on fruits are more like averages or something. There's no way each individual piece of fruit is exactly the same. Plants just don't grow that way.
I think part of it was also how long the G.I. Generation stuck around. At the time when you'd expect to start seeing Silent presidents, Reagan won election as the then-oldest person to have ever been elected president and was popular enough he had two terms and got his VP elected afterwards. If Reagan's first term had flopped (or maybe even if he'd never run at all, though that's really speculative), we would've gotten President Mondale in 1984. Or we might have seen a Silent as early as 1980 if Ted Kennedy won his primary challenge.

I think we're starting to see a similar phenomenon with Generation X being pushed out by long-lived Boomers and even a couple of Silents, but at least we had Obama (born 1961, so he barely counts) in between Boomers.

With that said, it's not for lack of trying that we haven't had a Silent president. Aside from the aforementioned Mondale and Kennedy's attempt, we've also had Michael Dukakis and John McCain as major-party nominees, the only third-party candidate who had a chance in Ross Perot, plus Bernie Sanders was a major contender and runner-up for the Democratic nomination twice.
> The package was called rebar3, not rebar3-nix or something. If the fork was called differently then no one would complain.

First of all, the fork obviously isn't there for general consumption. You made it sound like unsuspecting users would use it and have unverified code downloaded on their machines, which is borderline false when it doesn't have the ability to download code from online sources. This attempt to mislead is what I'm having problems with.

Second, it would've been nice if you've raised an issue on GitHub and helped improve Nix instead of complaining and spreading borderline falsehoods on HN. Erlang isn't exactly a widely used language, so design choices would be made by the few who actually uses it. It would always help to have more productive input by actual users.

> Also this fork was based on hacks, like patching rebar3's internal files and messing with caches. If you don't see anything wrong about this, then this way of thinking just proves what I said in the parent.

Ranting about how "it's a hack!" based on cherry-picked implementation details isn't convincing at all. The intent here is to have a copy of rebar3 that builds packages from local sources only, for consumption by package maintainers. That's not by any means unreasonable.

> But forking rebar3 wasn't needed at all, because rebar3 _already_ had all the features needed for Nix.

Tell me a single major distro where it's okay to essentially redistribute packages from language-specific package managers without making huge adjustments in the way packaging is handled. I know of none. For countless software, distros just give up on packaging altogether because the effort required to make that adjustment can easily get out of hand. This is the major reason many Maven packages aren't packaged on Debian.

To make matters worse, many packages from languages-specific package managers won't even compile on major traditional FHS compliant distros. Changes to upstream packaging aren't unwarranted, however much you'd prefer to believe otherwise.

> There's no reason to use SHA256, if you just replace it with a different SHA256 whenever it doesn't match with the upstream.

The SHA256 would be verified by package maintainers, reviewers, and the hydra CI instance.

> Docker exists.

If you're against the concept of distro-provided packages, why didn't you say so upfront instead of making baseless accusations about what a horrible security disaster Nix is?

Also let me remind you that almost all Docker container images rely heavily on distro-provided packages. What are you going to do now?

> As far as I know, Nix doesn't provide facilities for solving this problem at scale.

Neither do other distros, though Nix is a close to having a built-in solution as I've just shown you.

> When etc (or its analogue in /nix) is world-readable hilarity ensues.

Why are you repeating this when I just told you it's not true? /etc in Nix is not world-readable, plain and simple. This works perfectly fine on my NixOS system:

$ echo secret | sudo tee -a /etc/secret > /dev/null && sudo chmod 600 /etc/secret
$ cat /etc/secret
cat: /etc/secret: Permission denied
$ sudo cat /etc/secret
secret
Fair enough, but would you take all of the most suspicious-looking items in your house that could possibly implicate you in a crime and put them all into one crate, including printed material and books that explain how to perform said crime?
MDN's explanation of Vary is much better: https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Va.... This article uses the phrase "the server", when it should really be "the cache server". The actual server is the one that actually sends that header. The way this post words it makes it seem like the browser sends the header ("you can simply use the Vary header to tell the server"), which would be pointless.
I might not have changed in sound or meaning, but in English English in England it is very, very rarely used. We might know what it means from US TV, but you'd never see it on a menu* or supermarket label.

Does it still count if it's fallen out of use?

* I realise someone will google and find it on a UK menu now.
> Start simple

Proceeds to write thousand words.

Jokes aside:

https://martinfowler.com/articles/designDead.html#TheValueOf...
I've got enough IRS and social security calls on my voice mail as to ignore them all too. If I don't know the voice and I'm not expected the call it is ignored.
PDF Copy: https://architectureplaybook.readthedocs.io/_/downloads/en/l...

EPUB: https://architectureplaybook.readthedocs.io/_/downloads/en/l...
The national academies of Science have been working on a framework for distribution, they've been getting public feedback on their draft since August.

https://www.nationalacademies.org/our-work/a-framework-for-e...
Why CMS platforms are common hacking targets
Thank you for saving us a click.
Well, stocks go up and down, nothing new. There are also too many investors who panicky buying and selling without much knowledge of the industries they buy/sell stocks.

Zoom has been doing up ~500% this year. The large fluctuations are expected. Online learning/work will continue to grow regardless of a vaccine. It's not going to be in a crazy rate like it has been this year because of covid. I'm not even talking about companies, cause that's a no brainer. I'm talking about education and hospitals. For example, the convenience of having a virtual appointment is great for both doctors and patients and it's not going away no matter what.

My opinion about Zoom. Selling because of a vaccine is pretty stupid. You should sell if you think they are over valued and not be able to compete with the big companies long term. One thing to pay attention to is their future plans. If they don't have plans to expand their product line I would worry long term. There's no problem for a company to pay for Zoom for video calls and for another company for things like slack/docs etc. But when you have companies like Google/Microsoft who package and integrate everything together, and can give you a good price for it too, then it's a concern. Google/Microsoft make many subpar products, and this year zoom showed it nicely. But they keep copying the important features and will eventually close the gap.
> HTML is a language that is too ambiguous to parse, and that's not a good thing for browsers.

Wouldn't that be XHTML? Which was killed by HTML 5?
A Simple Walk-Through with NumPy for Data Science
I do calisthenics with a goal of being healthier. It seems to be great for upper body but for lower body not so much. So I have been thinking about adding deadlifts (got from recommendations by seemingly smart people on /r/bodyweightfitness). These wouldn't be bodybuilder deadlifts, they would be didn't skip leg day deadlifts. What would you recommend as a good lower body exercise, in the not looking to get big category?
Europe is rolling out its ESTA equivalent (“ETIAS”). It’ll probably be a cake-walk for US citizens aware that they need to apply for it, and know to avoid the scam sites charging 5-10x to forward your application. The scam sites are already running so they can have max SEO on launch day.
Basic Paradigms of Machine Learning
I strongly agree that the main competitor of new iPhones are old iPhones. But, people still use iPhones.

I use a 1+ year old iPhone XR, and it is more than enough for me. It is my first iPhone, and I am 100% satisfied with it.

As long as consumers have iPhones (no matter which ones) Apple will make money on services.
How about Chicago funding some of its underwater pension funds of its old community services, before creating a new community service?
There's nothing wrong with gender.
It allows reselling, yes, but since anyone who buys it could give it away to everyone else for free, it doesn't really happen much.
Yes, which is why I said it was a possibility.

Pre-print or published or not, it presents evidence that shows it's incorrect to assert there are no longer term effects of COVID. Even if peer review shows flaws that invalidate this particular study, research into the full effects of COVID are still underway, and we simply don't have the data required to assert "no longer term effects for most people"
This is a theoretical right people are calling for, not any actual right people have right now.
I wonder what kind of backlash would be faced had the Nintendo product not existed and a console manufacturer proposed, in 2020, to name their handheld the "Game Boy".
It reminds me "PWA"[0] concept art by Stefán Zsolt[1] created using Blender 2.4x, which was published in the "Blenderart" Issue 1 (2005/11/15).[2,3]

[0] http://blender3d.org.ua/book/BlenderArt1/img/g3.jpg

[1] https://developer.blender.org/p/zsoltst/

[2] http://web.archive.org/web/20060329091150/http://www.blender...

[3] http://web.archive.org/web/20070927020908/http://www.blender...
Please don’t use this as an excuse to miss this article.

The lede isn’t even slightly buried (“lox” is the 7th word of the article), it’s just used to present the main topic, i.e. Proto-Indo-Europeans.

It’s not a click saved, it’s a click lost if you don’t already know of the Kurgan Hypothesis.
Customers do have the freedom you claim.

Installing Apps can definitely be compromising: https://en.m.wikipedia.org/wiki/Trojan_horse_(computing)

Perhaps you should brush up on computer security.

Just because it’s hard to modify an incredibly complex piece of microelectronics and a huge software base doesn’t mean you don’t have the right.

What you are asking for has nothing to do with freedom.

It has to do with you wanting to force Apple to design their product differently to support your individual desires.

I’m correct to point out that for someone like you, a choice is already available.
> The bar for restricting what you can access, and for what reasons your service can be cancelled, becomes much higher when it's governed by the constitution instead of the whims of a private media company with a massive conflict of interest.

Just to note: the government has whims and conflicts of interest also, as demonstrated over the last decade or two with recent wild swings in high-level elected office and shifts in the courts.
http://archive.is/ZAy9t
How can we turn churn into a positive?
If government can strip it at will and I think it is formulated as such, the right doesn't exist and it isn't more than nice window dressing.
I'd love to hear some counter points to this article from those of you who are crushing the digital nomad lifestyle. Who prepared well, who are having great adventures, having the once-in-a-lifetime travel, and what you learned to make this go well, etc...
That is hilariously depressing
* since 2019-01-01
The latency has been much improved between rM1 and rM2, apparently. I have only the latter, and I can say the latency is not at all noticeable. My only complaint is with the accuracy of the digitiser: My strokes tend to end up a fraction of a millimeter higher up on the page than where I intend them to go. This is very rarely a problem for me, but can be a source of irritation when I make minor corrections. I have no idea if this is universal or specific to my device, but I intend to find out.