skysight-inc/HackerNews huggingface dataset:
I love John Baez's writing but have not read any set of his posts as a whole. Are there threads that develop through time and build on one another?

I wouldn't say that I felt enlightened by SICP, but I was and still am excited about what it covers. A couple aspects of it that excite me, recursion and homoiconicity, the property of a programming language whose programs look like a data structure in the language, are, in my mind, related to many other topics that I had encountered before SICP such as (in no particular order): paradoxes such as chicken and egg problem, self-replication, feedback mechanisms, quines, fractals, philosophic inquiry into ontology and consciousness, the anthropic principle, Russel's paradox, Gödel's incompleteness theorems, the halting problem and Universal Turing machines, and the list goes on. I initially included Douglas Hofstadter's strange loop in the list, but I think he would say that all of these are tied together by the concept of strange loops.

For awhile, I was disappointed with Sussman's answer to why people feel enlightened by SICP. I think I was hoping that he'd fill me in on the secret or give me some clues. I felt like I /almost/ knew why people felt enlightened by it, but couldn't quite put my finger on it. I think what I was really hoping for was an explanation of why SICP and all of these related topics are so exciting to me or that he'd share similar awe or experience and add another piece to the puzzle. Currently, I find a lot of meaning in his statement, "it tells a good story", whether it's the meaning he intended to express or not. The topics excite me because I find relations between them. Finding relations between them is a story that I have created, and it's exciting because the story is far-reaching, and I don't know what character might join the web of relations next...it could seemingly be anything! I think many people feel empowered and enlightened by SICP as a stand-alone entity because the meta-circular evaluator pulls back the curtain on some of the magic behind programming and computing. The exercises show how computers can touch a wide range of topics and can both be molded to how a mind sees fit be and mold the mind in return. Instead of being given a labyrinth of a language created by someone else to learn in an intro to programming course and having to spend a lot of time learning all the syntax, types, tools, etc, Sussman uses a very simple Scheme and shows how to create from scratch a plethora of things encountered in other languages that are useful across many domains in a very flexible way. After accomplishing so much, the reader even creates the magical thing they were given in the beginning, eval. In our world of computing, doing that without much difficulty is empowering and enlightening.
Profit margin is determined by market power (monopoly on one extreme, perfect competition on the other), not by being a tech company.
Note that if you're using the term "conspiracy" in the strict sense, it's not contrary to the official narrative. The official narrative for 9/11 for instance, the 9/11 Commission Report, is terrorists conspired to crash airplanes.

In the colloquial wishy-washy sense, that report is not a conspiracy theory, despite being a theory about a conspiracy. However every other theory that disagrees with it is a conspiracy theory.
It's fine as long as you don't get caught. Make sure there are no cameras around before you do it.
ReasonML is an umbrella project/sponsor for many subprojects, all of which have the goal of bringing fully type safe, fast compiling, fast executing code to the widest number of developers and today that means JavaScript developers. Many ReasonML projects support or improve upstream OCaml ecosystem. For example, package management workflows (https://esy.sh), interactive repls that work with Reason syntax, and OCaml syntax (see https://sketch.sh), and many community members contribute to the developer tools (next generation language server created by OCamlLabs). Others are building CI infrastructure, and many other projects. Reason Syntax was the first entry into the ecosystem. It's not done evolving/improving, and it's just the tip of the iceberg for all the projects under the umbrella. BuckleScript has been developed with Reason users in mind. Syntax is one of the most important things when introducing a language, and one of the biggest tripping points for new people trying out OCaml so it makes sense that it would be the first entry. But it's not the last, it's not the only, and it's not finished evolving/improving.
Yes, in the US, it will be one per state (assuming that there isn't some state that thinks that this sort of thing should be handled by county or municipal health departments). One hopes that there won't actually be fifty separately developed codebases, but that states will pool resources and share the cost and effort of developing apps. If only there were some sort of governmental entity at a level above the states to coordinate these things.
> ... may not actually know which permissions need to be changed.

Sure, the first notice may have come from user flags, and the motivation for those flags is unknowable.

But it's been rejected again, after substantial permissions pruning.

Either they know why they rejected the update, in which case they should tell the developer; or they don't know why they rejected the update, in which case they're holding developers hostage to an inscrutable black box.

Both scenarios are shitty.
Quick start guide for using Skipper as a reverse proxy
> Finally, Qt’s weird and deceiving licensing is a major reason I would never touch it with a 10 foot pole. I am not a copyright lawyer and have no desire to figure out how I can comply with LGPL, when Electron is MIT.

you know that Electron uses Blink which is LGPL right ? It also ships by default with ffmpeg which is used by chromium for video rendering, which is also LGPL (https://source.chromium.org/chromium/chromium/src/+/master:t...).

See https://lists.gnu.org/archive/html/directory-discuss/2017-12... - and some LGPL-prefixed files from Blink's source code if you don't believe :-)

https://chromium.googlesource.com/chromium/blink/+/master/So...

I'll let you note the large irony of WebKit & thus Blink & Electron originally coming from KHTML, that is, a KDE project originally built with Qt - Lars Knoll at the top of that copyright header is currently CTO of The Qt Company.
Lua also has a smaller footprint I think.
We detached this subthread from https://news.ycombinator.com/item?id=23168022.
So Google is evil for asking that an extension not request permissions it doesn't need to use?

If this were Apple we would be celebrating how privacy-forward they were.
EasyDNS (https://easydns.com), based in Canada has been around for years, and has a good reputation for not blindly actioning DMCA requests (which can be important for some). :)
Agreed! Would recommend this book.
This is very helpful. I've bought a couple of LTSBs (now LTSC) over the years through oddball means, I strongly favor it, but it seems like Microsoft doesn't want me to be able to buy the licenses. Finding less shady-seeming resellers has not been something I've been able to manage.

I agree, they're costly.
Clear linux is worth a look for mac since you find a lot of amd gfx on older machines. I have found it easy to install the lastest applications without resorting to repos building from source. The gnome software store thing really works well compared to ubuntu it seems like it was invented for it (impossible of course). Clear linux has loads of software value compared to either windows or mac. So many very good software packages all free
I’m guessing this links to one because my Twitter crashes when I open this on iOS.
The Covid-19 Economy: We won't recover until 2022
You've been posting all sorts of generic comments in this thread, and worse, and basically derailing it to the point of trolling. Please don't do this on HN.

https://news.ycombinator.com/newsguidelines.html
Best Laser Printers for Home Use in 2020 – Buyer’s Guide
The code running in my browser isn't a multi-tenant production server, with access to the filesystem and DBs.
I remember I liked Electron on first glance, but then realized it was a drag how slow it was. I really hope this doesn't get worse to the point where we need to consider x platform x proprietary GPU architecture. It will make centralized engines like Unreal the only commercially viable options for big projects with less money or exclusivity than say BOTW.
Totally agree, which is why I recommended people contact their local Attorney's General if they live in a state or city where one of these are located.
We detached this subthread from https://news.ycombinator.com/item?id=23168492.
Do they offer automated certificate renewal for services with constantly changing IPs? I don't think so.
> there should be a way for someone to commit to some dish, started at some time, and then others can "hook" onto the order for a discount

This is how Uber Eats already works in Toronto.

There is a section in the app with restaurants that have orders already in progress and with a timer on each one and if you order within that limited time, the delivery fee is $0.
> this is all agnostic to the language.

yes and no. Yes - in the sense that pretty equivalent things can be done in different languages. No - i'm in the same group of "geniuses" as GP, and i see for example on our current huge C++ platform project the highly technical people struggle with and do the wrong things with concurrency/multithreading that i don't remember seeing the even mildly technical people doing on various large Java projects.
Google Chrome 83.0.4103.56 Beta Crack 2020
We detached this subthread from https://news.ycombinator.com/item?id=23168440.
It's just compiling TypeScript into JS when you import it, and uses tsc to do it. It can load JS just fine as well if you want to use Babel or similar.
That is why I said until 2019 in the parent thread. I suspect losses in 2019 were related to increased competition from UBER EATs, Ect.
Net income for prior years were:

2019: -18M

2018: +78M

2017: +99M

2016: +49M

2015: +38M

2014: +24M

2013: +7M

2012: +8M

2011: +15M
Normal error message in Perl:

$ perl -Mstrict -e 'say $x'
Global symbol "$x" requires explicit package name (did you forget to declare "my $x"?) at -e line 1.
Execution of -e aborted due to compilation errors.

With the addition of `Coy` module [1]:

$ perl -Mstrict -MCoy -e 'say $x'

-----
Gautama dies near
a monastry. Two woodpeckers
fly over the lake.
-----

Or Wunt's commentary...

Global symbol "$x" requires explicit package name (did you
forget to declare "my $x"?)

(Analects of -e: line 1.
Execution of -e aborted due to compilation
errors.)

[1]: https://metacpan.org/pod/Coy
I didn’t know how to solve this Leetcode Problem
This was actually a tough question for a beginner. Check out the solution
New Dell XPS 17 (and 15) preview
FF7 Remake is such mixture of amazing graphics and not amazing graphics, but then the level of detail in scenes makes up for it (pretty much all of the midgar slums), I don't know what to think so I revert to "am I having fun?" which is a resounding YES!

I think the Decima engine would have worked better (Horizon Zero Dawn), because the bar for 'amazing' is so high. Final Fantasy 7 requires impressive visuals for its story to have impact in its original release, in all of its spinoffs, and that bar is so high now.
>Europe is very diverse in sense of languages, countries etc.

But not in its sense of handling legal entities. IP law and anything relevant to the operation of a foundation like this is mostly determined by EU law.
Firefox’s security is a lot less than that of Chrome.
afaik modifying node doesn't make sense here – it'd be so incompatible that it'd effectively be "a new thing" anyway
Do you mind sharing the link?
Documentation on the Apple site:

https://developer.apple.com/documentation/exposurenotificati...

https://www.apple.com/covid19/contacttracing/

Exposure Notification - Cryptography Specification v1.2:

https://covid19-static.cdn-apple.com/applications/covid19/cu...

The revision history of Cryptography Specification:

v1.2 - April 29, 2020

• Renamed EKRollingPeriod to TEKRollingPeriod.

• Renamed Associated Metadata Encryption Keys to Associated Encrypted Metadata Keys.

• Made grammatical corrections.

v1.1 - April 23, 2020

• Renamed “Contact Tracing” to “Exposure Notification” throughout the document.

• Temporary Exposure Keys (previously known as Daily Tracing Keys) are now randomly generated
and no longer derived.

• AES is now used instead of HMAC<SHA256> for improved performance.

• Encryption of associated metadata is now provided.

• Reformatted the title page and table of contents for consistency across documents.
My guess is that the western compact states will share an app, and the eastern compact will share an app, or possibly even coordinate on a single app.

At that point one app will cover 1/2 the US population, and there is a good chance many other states would just adopt that one app.

But you're right, it would be nice is there were some authority one level up that could coordinate this.
What's wrong with the async/await syntax?
In theory, a Democracy benefits from educating the populace, rather than simply sating them with cheap "entertainment".
The third one I got was "airbend". Aang would beg to differ...
No, it doesn't. Here are some case numbers:

You say "No", as if the article says otherwise, then quote a different source altogether. I was addressing specifically what the article did and didn't reference.

Anyway, this confirms my earlier point about these articles not identifying a related state criminal statute.

These charges are from the L.A. Administrative Code, and there is a statute specific to Los Angeles:

"Sec. 8.77. Punishment of Violations.
It shall be a misdemeanor, punishable by a fine not to exceed $1,000.00 or by imprisonment not to exceed six months, or both, for any person, during a local emergency declared pursuant to this chapter, to: ...
8.77(b). Do any act forbidden by any lawful rule, regulation, order or directive issued pursuant to this chapter, if such act is of a nature as to give, or be likely to give, assistance to any national enemy, or imperil the lives or property of other inhabitants of this City, or to prevent, hinder or delay the defense or protection thereof."
It's far more common to have Python programs be I/O bound, and when they are CPU bound it's often not due to GIL contention (remember that C extensions can drop the GIL before doing something lengthy). It would be nice if the GIL was gone but a fair fraction of Python developers would not notice much difference.
14 days is an absolutely egregious duration to get a response for a software change. A developer could be out on vacation for that long. Encouraging fast fixes is also irresponsible from a security perspective, which is what they are trying to fix to begin with.
Oh nice! That's awesome!
> They actually paid more for the zurich office cause taxes were so high.

Google pays for cost of labor, not cost of living. While related, it isn't the same: for example, Google London pays much less than NYC, and Tokyo even less than that; yet Pittsburgh pays only slightly less than NYC despite being far and away the cheapest of the 4.

I believe Google's competitors tend to follow this model more than cost of living, especially internationally.
Google Domains exists.
If you don't use your google account for anything but domain registration, what could they even possibly ban you for?

While I am aware that Google tends to have quite a few false positive account bans, it is one of the most extremely unlikely things to happen, if all you do with it is pay for your domain registration.
I remember node stayed 0.11 or some sub 0.* numbers for the longest time. barely progressing version numbers, anything changed? Just wondering.
If you're interested, this was a good article going into details of what's happening behind the scene for the real time rendering: https://ascmag.com/articles/the-mandalorian
seems a little out of character
That was done for lighting. The lower quality real time imagery was replaced with offline rendered versions in post-production.

"The final animated VFX would be added in later; the screens were merely to provide interactive lighting to match the animations." -- https://ascmag.com/articles/the-mandalorian, discussed here: https://news.ycombinator.com/item?id=22378679
The world writeable cross thread also has implications on how your GC algorithm is designed.

Erlang for instance scopes gc pools per process so short lived processes just drop the pool. Also GC of one worker doesn't stop any others. Can't remember if it even needs to be generational because the heaps are already sliced by process. It's the closest thing to heap arenas I've seen in a VM based language.

Or take Lua which is single threaded and doesn't require VM safepoints since everything is done via cooperative coroutines.

Java needs to assume worst case and as such has to be conservative in some of it's approaches.
How do you get it so that it keeps the description and phonetic all in sync?

Very cool!
It should be fun, but it's not clear for how much people it is fun and not merely Stockholm syndrome.

It feels like in many ways academia has it worse than the corporate world (lower pay, similar or more politics, more personal fiefdoms, greater chance of harassment / coercion), yet people propagate the image of a certain unfairly romanticized wonderland.
There must be a misunderstanding here, maybe on my side, but I honestly can't see how BuckleScript is 'falling behind': it jumped from 4.02.3 to 4.06 fairly recently, with more upgrades planned, and there is ongoing work to make it emit JS that looks more and more hand-written. Its download count looks like hockey-stick growth: https://www.npmtrends.com/bs-platform

Look, JSOO is great but it has a very different goal from BuckleScript: letting OCamlers use the Opam ecosystem to make frontend apps without caring about bundle size. And that's great, but it's not what JavaScript developers want.
Magic Keyboard drains iPad battery faster
I use Namecheap too, but they took forever to add 2FA (it was added a few months to a year ago, maybe?) and I don't have any faith they'll add FIDO2/U2F any time soon.

EDIT: Oh daaamn it looks like they did it! Huh, faith restored. jgc, CloudFlare should follow!

EDIT 2: I'm just full of failures today, CloudFlare supports U2F as well. This is great news all around.
That's not the same as a minimum wage that is high enough for people to raise three children.

We were talking about wages, not state benefits.

State benefits are a much better way to address income inequality or poverty than minimum wages are.
>"innovative new open source projects" which should be doable from anywhere

not if you're an Iranian developer and shut out due to US sanctions, which someone like the Eclipse foundation would have to comply with if they were still located in the US.

A year or so ago Github had to shut out Iranian, Syrian and Crimean developers for example.
BBC: Penny drops for American bacon sausage dog HN commenter
Please don't use that quoting style for non-code.
Deno plans to not expose V8 internals, unlike node. I do not know where the V8 vulnerabilities came from, but it should decrease the attack surface.
I wish HTTPS origins were allowed to define a set of certificates to trust. Imagine a game architecture where each game server has its own self-signed certificate. For example, imagine you download a game client via HTTPS, and the game client downloads a list of official servers from the same origin. I want the HTTPS origin to be able to say "for this webpage load, trust these certificates, because they originated from an HTTPS origin."

Instead of making HTTPS hierarchical through a certificate chain, this let's it be dynamic (script-controlled) and sideways.

Thoughts?
Well they responded saying:

> Although I am sure that this is not the correct place to reach out, I have reached out to the Chrome privacy team to see if they can give us some advice for PushBullet.

Though I posted this before this article was on the front page of HN.
It seems to me one attack vector that they aren't accounting for is the person who maliciously uploads a fake positive diagnosis, causing unnecessary panic and possibly wasteful extra testing.

I guess it's possible to mitigate this attack through controls in the app that reports, but that doesn't stop a rogue developer using a test app, unless even they are prevented from accessing the APIs without approval.
>if you really just want to "set it and forget it", there's virtually no situation where someone would hold a 20% tip against you.

Great strategy if you have money burning a hole in your pocket and want to subsidize businesses that don't pay a living wage.
Thank you for taking the time to reply, Jordan, but none of what you posted is relevant to my concerns from the above two comments.
I assume you would just download the packages and serve them yourself.
Back in the 80s/90s I spent time trying to standardize the \special commands used by TeX. I remember thinking color would be a simple thing and then discovering the whole rathole that's RGB vs CMY vs CMYK vs HSB. The problem of doing simple in-line graphics was another issue that raised its ugly head as I realized that I was facing essentially reinventing PostScript once you face the question of what happens at the corner of two lines. I don't think much if any of what I came with was ever implemented and the migration in the twenty-first century of TeX to pdftex then xetex and luatex made it all moot since there was no longer the plethora of dvi-to-printer drivers in the mix.
They have ChakraCore (which is js), but the thing about a "TypeScript runtime" is it's not that different from a JS runtime. TypeScript is a super set of JavaScript so it already has to do the JS runtime work. v8 is pretty good at that.
> the technology doesn't define the product

Product here is "L4 self-driving technology", not "car" as you seem to be implying. Yes, Tesla is shipping cars, but they are nowhere close to L4 self-driving (aka no one at the steering wheel).

> they actually have a product in the market

No they don't. They have a car on the market, and an L2 driving assistant. As I was implying above and again repeated by the post you replied to, there's no indication that you can transition from L2 to L4 in a gradual manner, so "L2 product in the market" means absolutely nothing.

Here's an analogy for you, I'm saying that Google is ahead of Intel in making a Quantum chip, and you tell me that Intel is right now shipping millions of classical chips, therefore they are closer to making quantum chips. My argument is that the jump from L2 to L4 is similar to classical vs quantum chips, and shipping millions of L2 cars does not mean you're any closer to L4 technology.
Using Science Wisely: Models, Evidence and the Politics of COVID19
I'm really replying just because I wanted to say: Swizec Teller!

But, yeah, you're right. The problem is, the harder you squeeze a lemon, the less juice is left in it. And in times like this, they're squeezing harder and they've nearly squozen their whole supply.
> it's wrong to insist as you do that there's no benefit without them.

Ok, that wasn't really my intention. I was stating that a false
sense of security is worse than having (knowingly!) no security
at all.

So yes I agree, you're generally better off even with untrusted
encryption but that doesn't help in practical terms with our
current situation of HTTPS in web-browsers. Maybe it would have
been better if web-browsers would have just silently accepted
self-signed certificates while still showing the big red warning
about an insecure connection. I guess that will be solved with
QUIC/HTTP3.
Sure, but there's a tendency to start over when the development gets hard to maintain or support instead of just fixing the mistakes.

This really feels like the fundamental response in the js world and why we see much churn.