skysight-inc/HackerNews huggingface dataset:
I love VSCode, but you can totally feel that it's a browser.

I salute Microsoft for this move. Hopefully many others will follow.
Although if you just consider 1-1 correspondence, then basically any type with a countable number of inhabitants is isomorphic to the integers (when the type is viewed as a set of inhabitants). And that makes sense, because we can always just take the binary representation of any data type in memory.

And if you just have unit type, empty type, sums and products, then you can only make types with finitely many inhabitants. Adding the integers to that makes you able to make any countable type, but potentially in a trivial way as described above.

Therefore just viewing the types as sets does not give a very satisfactory basis for determining whether a type is an "algebraic data type". Maybe we could do better if we consider some more aspects related to type safety, but it's not immediately obvious to me how.
> (...) where people are bathing in the catharsis of their dead political enemies.

Taking a vaccine is not a political issue, except to a radical bunch of anti-intellectual militants who for some reason still hold a few cognitive dissonances tied to the last election round.

To put things in perspective, there are countries which already are in the high 90% of total vaccination rounds, have a residual incidence rate, and have already went back to normal, simply due to the fact that they didn't had to deal with conspiracy theorists that adopted denial as a election strategy.
Yes basically. Major complication rates for those under 18 are very low, especially when compared to other diseases in these vaccine schedules (in my example I used measles which was closer to 30%) [1][1.1][1.2] .

By far most of the major complications as a result of COVID are in populations over 45 OR with those with pre existing conditions. This qualifications are almost nonexistent in the under 18 population. At best, the hospitalization rate for those under 18 was about 1.9 per 100k. There have been, according to CDC data, 499 deaths as of 10/6/21 for those 0-17 yo [2][3].

Add to that there is evidence that vaccination doesn’t necessarily prevent transmission, and there have been breakouts where up to 70% of those involved were vaccinated it’s not entirely unreasonable to question a vaccine mandate for that population [4]. Additionally as of May 1, 2021 the CDC stopped really tracking breakthrough rates and only tracks them if they result in hospitalization, which makes it hard, if not impossible to really gather data on how effective the vaccinations used in the US are at preventing transmission.

So theres plenty of arguments to be had about being skeptical of even this argument "vaccines are mandated for kids" as it applies to THIS specific vaccine.

[1] https://gis.cdc.gov/grasp/COVIDNet/COVID19_3.html

[1.1] https://gis.cdc.gov/grasp/COVIDNet/COVID19_5.html#virusTypeD...

[1.2] https://imgur.com/a/8oENuRn

[2] https://data.cdc.gov/NCHS/Provisional-COVID-19-Deaths-by-Sex...

[3] https://imgur.com/a/0W1oqlH

[4] https://bit.ly/3auVBjh
> • First of all, as of this writing (late 2010), GPUs are attached processors, for instance over a PCI-X
bus, so any data they operate on has to be transferred from the CPU.

I think we got GPUDirect RDMA circa 2013. How time flies!
I think most mathematicians are "unsung" heroes outside their fields. It is hard and obscure for most people to relate to. Influencers are more relatable to the masses.

Those who ever did mathematics or physics etc do know them though.

Anyone who knows about the Monte Carlo method knows Ulam:

https://en.wikipedia.org/wiki/Monte_Carlo_method#History

Most in society know about say Pascal for his philosophical/betting ideas than his mathematical contributions:

https://en.wikipedia.org/wiki/Pascal%27s_wager

Or Newton for having an apple fall on his head (gravity) than his (funnily enough disputed just like Ulam) contributions to mathematics:

https://en.wikipedia.org/wiki/Leibniz%E2%80%93Newton_calculu...

Or even modern mathematicians/technologists who helped create the theoretical foundational framework for polar codes and 5G technologies like Erdal Arikan (Erdal who???):

https://en.wikipedia.org/wiki/Erdal_Ar%C4%B1kan

https://www.wired.com/story/huawei-5g-polar-codes-data-break...

https://www.huawei.com/en/news/2018/7/Huawei-Dr-Erdal-Arikan...
The patent on lego expired some years ago, in theory there's plenty of cheaper alternatives out there.

But if you've ever handled those, you know why lego is still the brand to go for. Their quality and precision is still unparalleled. And given they're established, have a lot of their own IPs and licenses for big hollywood productions, and have their production lines set up and tweaked over a seventy year period, it's unlikely that there will be a serious competitor anytime soon.
Top Programming Languages 2021: By Type and Comparison
The grille is one of the most characteristic design feature of a BMW. Don't forget that a BMW is a luxury product. Why buy a BMW if it does not look like one?
I don't think your friend's cult experience is the norm.
But how can Amazon let this happen so often? It's not in their incentive for reviews to be untrustworthy, and Ive seen this product page switch several times.
It tries to read everything, but you can flush it with control. If you notice it stopped speaking, you usually use some review commands to look at the last few lines. If you're looking for something specific, you'd usually use something like grep, even in situations where a sighted person could just glance at the screen.
I think reading books is a good way of practicing concentration. The moment you stop paying attention to the text, the reading falls apart completely. It gives a very direct feedback when your mind has wandered.

You can get away with skimming texts on the Internet, indeed you kind of have to with all the ads, inline links, and other visual cruft clamoring for your attention, but that usually does not work particularly well with books, especially if it's a more demanding read.

Reading can be shockingly hard if you haven't done it in a while, but it rapidly gets a lot easier.
Ola Acquires GeoSpoc
There's an Argentinian Startup (Atomic Lab[0]), founded by Gino Tubaro[1], that has been giving away fully 3D printed prothesis to childrens for several years now. It's a very cool project! sadly I can't find much information in English and their site is very minimal, but beleive what they do is awesome.

Here are some articles I found on them:

https://apnews.com/article/health-science-ap-top-news-latin-...

https://www.fordfund.org/shaping-new-dreams

Limbs project FAQ: https://www.facebook.com/notes/1035463880210146/

[0] https://www.atomiclab.org/
[1] http://www.ginotubaro.com/ (In Spanish - no HTTPS) | https://emergeamericas.com/agenda/speakers/gino-tubaro (no official but in English)
"Applications should share the core business logic, but have entirely seperate "frontends" for every situation."

I think its clear from your post that you have never dealt with the visually impaired or even explored accessebility options of iOS/MacOS/Windows. We have working accessebility for all applications throughfully designed with native OS controls.

Having separate front ends will never happen, most businesse sproduce a single bloated JS app that crashes equally on all platforms.
You don't need an edge over the smartest people in the world to beat the market.
Some opportunities are too small for big players. Some are too risky (if you manage a safe rich/old people fund your goals are different than someone who wants to maximize the EV). Yet there are opportunities which a lot of people miss because of the bubble they are in (some obvious ones from recent years are AMD and Cloudflare). One way or another why not let people invest in what they believe in. Banning people from purchasing or selling equity in a business sounds extreme.
Question: has there been any decent and uncorrupt Arab government? Everyone criticizes Western "imperialism", but it seems the lives of most people in the Middle East were much better when under British rule?
>You don't insurance to protect the car, you get insurance to protect yourself, i.e., liability.

More to the point, your (liability) car insurance is to protect the other person
How is Jetstream a fiasco?
Do they? Anecdotally I can only think of a tiny handful of people I've known that buy the latest model every year. Most people I know used to buy every 2 years when smartphones first came out but now it seems like most people I know buy a new phone probably average 3 years or longer.
What does that have to do with anything? People are only realistically able to compare with what they know during their lifetimes, and we're a very technologically and socially different society. Perhaps it might be more appropriate to compare 19th-century England or Tsarist Russia? Or, if we're going to restrict to what people actually know, the boomer childhood era?

(although if you're going to the Tudor era, maybe consider the legal restrictions on conspicuous consumption: https://bluffkinghal.wordpress.com/2012/05/17/sumptuary-laws... )
I'm surprised people are applauding this. The net result of this support (and cockroach's) is that it will take mindshare away from Postgres which has worked hard for decades to build a loyal fanbase.

It's also step 1 of the e.e.e playbook, not that I'm suggesting Google want to extinguish Postgres, but it's clearly aimed at building their market share at the expense of Postgres's.
I’ve been following him on twitter and I honestly don’t where he gets the time to fly, develop, conferences speaking, and family. I do a few international trips and my clock is out of service for a few days. I guess flight crew are wires different.
The problem here is treating partisan news sites as experts.
Please don’t forget that these platforms are designed to be addicting.

What you’re suggesting is akin to: “why not smoke occasionally to take the edge off.”

It’s about losing mental focus if you ask me. If you’re an occasional user, your mind is still going to be roped in.

They have an army of scientist who’ve proven these facts already and social media companies exploit us all.

I agree with the idea of establishing deeper connections: but take them offline and have a cup of tea or video chat. There’s simply better options.
You aren’t meant to care about every single release. You just get one after x years and it becomes a big jump. Yearly releases mean that it’s never a bad time to buy. The one that comes out next year won’t obsolete the one from this year.

If you had it on 3 year cycles, the first year would be a good year to buy, the second year would be ok, and the 3rd year would be a bad time to buy. And if another OEM released something that year, everyone who wanted to buy on year three would go with them since they have the best offering of that year.
Exactly. For clothing and shoes free returns are a way to make the purchase safe for customers (and thus to make them actually order) who may be reluctant to order something that they don't know whether it will fit.
"They" is mostly people on social media and partisan news orgs. Not health institutions or scientists.
How do you rewrite your linq query when the data in your tables change, and the eval order is no longer correct?
In many jurisdictions (e.g. the USA) coverage against theft and damage is separate and can be omitted. Liability insurance is usually mandatory by law. So I think people tend to view them as separate and different to some extent.
Most retailers in the West just send returns to garbage. Even such things like giant flat panel TVs some times go to the shredded.
Product Management Interview Preparation Simplified
This seems to have brought down Snapchat as well... (not the target audience particularly, here, but still relevant); didn't expect snapchat to rely on OVH at all, so it could be a coincidence.
Did you watch John Oliver's latest episode on misinformation [0]? They put out a website, available in multiple languages, of things to spread:

https://bettermorningmessages.com/

Education via spreading funny memes that say not to spread stuff that is un-trusted is probably the best idea that doesn't involve the owners of those apps changing something.

In my opinion, a change on all social media platforms that would be awesome is a process to get an account listed as a "trusted source" and only trusted sources can have content go viral/global. Simple enforcement is if a trusted source gets reported to be spreading BS, they get banned. Everything else can only be 2 degrees of separation from the poster, which is friend of a friend basically. It won't eliminate the problem but it could possibly cut down on the misinformation spreading.

[0] https://www.youtube.com/watch?v=l5jtFqWq5iU
I've picked a really silly example of a DSL just to illustrate the point in a few lines, but I feel the silliness is obscuring what I wanted to communicate. Next time I'll try to come up with something more useful.

> macros introduce DSL in form of normal s-expression, but they don't actually behave like a function; macros introduce their own mini-language/syntax*

That's the point. S-expressions are structure notation language. The semantics of code expressed as s-expression is something else. There's the "default" one (as provided by #'eval), but macros allow you to work on the s-expressions as data structures. Ultimately, the macro expansion is still evaluated normally, but the expansion might be wildly different from the macro invocation.

This is a feature, not a bug. It gives you the power to add new abstractions to the language, as if they were part of that language in the first place. It's not something you need often, but there are things you can't do any other way. For example, since we're talking JavaScript - think of JSX. In JavaScript, it's a mind-bending innovation, though committing you to use a big code generation tool (Babel). In Lisp, you can do half of it with a macro[0].

A common use of macros is removing conceptual repetition in code. Imagine you have a concept in your codebase - say, a plugin. Creating a plugin involves defining a class extending a common base class, defining a bunch of methods that are identical in 90% of the cases, and a bunch of free functions. Conceptually, that whole ensemble is "a plugin". Lisp macros let you define that concept in code, and reduce your plugin definitions to just:

(define-plugin some-name
:some-specific-method (lambda () ...))

> In the last example you provided, I bet the macro implementation would look like a little interpreter?

Such macros are more like compilers. Interpreters execute the code they read; compilers - like those macro - emit different code instead.

> might be able to achieve the same behavior, right?

Yes, except the macro does that at expansion time - i.e. ahead of execution. In practice, this is almost always "compilation time".

> Just most of the time, I find functions are sufficient enough.

Because they are! Even in Lisp, macros are not your default tool for solving problems. Functions are. Macros come out when the best way to do something involves code that writes code for you.

--

[0] - And the other half with a reader macro. Regular macros transform trees before they're evaluated. Reader macros alter the way text is deserialized into trees. Reader macros are very rarely used, because they're a bit hard to keep contained and tend to screw with editors, but if you really want to create a different syntax for your code, they're there for you.
Providers mass-revoke SSH keys after GitKraken vulnerability reported
Click through to actually ordering, and when you select your OS, you're given a choice of only Fedora/Centos/Debian/Ubuntu/Windows Server. When I was looking for a host that supported Gentoo I found similar false advertising from them (and many others), they don't actually do it. In theory some of them will give you a recovery shell so you can then bootstrap whatever distro you want, but once you do that you're in very unsupported territory.
I suspect the parent knows the meaning, but considers it wrong as applied to Ulam.
It's on a public ledger, but the data is in a proprietary format. Anyone can read and validate if they want, but equally they could put up their own NFT for the same thing, and/or choose to not accept the legitimacy of that NFT's publisher. In a way it's proprietary semantics in public data.

I'm sure there are open standards in the formats of NFTs that make them less proprietary, but sticking to these is optional, rather than necessitated by participation like the ledger is.

Perhaps an analogy... this is an "I got the vaccine" sticker, not a vaccination record. It's publicly visible, yes, and you can check that the sticker looks like it's supposed to, but as a proof of vaccination it's pretty weak as anyone can create them and hand them out on their own terms.
Kvazaar HEVC/H.265 encoder license changed to 3-clause BSD
If you don't want to spend time on a smartphone, don't spend time on a smartphone. I don't have a smartphone myself and I am not interested in getting one. But banning something because you don't like it is nothing short of totalitarian.
> "Trading" is the ultimate example for the opposite, since it promises to directly translate "skill" into wealth.

Tell that to the sweatshop worker who made your jeans.

Or to those poor restaurant owners who now have to pay a 30% fee to the likes of Uber eats to maintain a steady income.

(If it's up to Apple, developers are next!)
No idea why. Yeah we're trying all the usual techniques.
Over half the deer tested in Michigan have been exposed to SARS-CoV-2
from the article:

1. What is titanium dioxide?

Titanium dioxide is used a food colour (E171) and, as with all food colours, its technological function is to make food more visually appealing, to give colour to food that would otherwise be colourless, or to restore the original appearance of food. Titanium dioxide is also present in cosmetics, paints, and medicines.

You can find more information about EFSA’s work in the area of food additives on our website

2. What foods contain titanium dioxide?

The main food categories contributing to dietary exposure of E171 are fine bakery wares, soups, broths and sauces (for infants, toddlers and adolescents); and soups, broths, sauces, salads and savoury based sandwich spreads (for children, adults and the elderly). Processed nuts are also a main contributing food category for adults and the elderly.
Preparing for the OSCP exam I make extensive use of GTFOBins.

Also LOLBAS (Living Off The Land Binaries and Scripts (and also Libraries)

:)
https://lolbas-project.github.io/#
A few others:

* pro labs, which are more in depth than the regular boxes and likely have multiple targets

* job postings, which I assume employers pay to post

* academy, which is more guided training than the regular boxes

* T-shirts and swag: https://hackthebox.store/collections/all
U.S. becomes largest Bitcoin mining centre following China ban
Beware of becoming The Steppenwolf.
Unix adopted the pty from earlier systems btw (dmr would have seen them while he was at MIT working on Multics).

Most of the logic in the teletype was mechanical, not electronic, which explains some of the assignment of the ascii characters.

Carriage return: on a typewriter (and thus on teletypes and their competitors), the carriage carried the paper (held on a rubber roller with springs and a rod).

On a typewriter and somme teletypes, the carriage started on the right (for English) hanging off the side of the machine. As you pressed a key the character would be pressed against the paper at the center of the device. Then a ratchet would automatically advance the whole carriage leftwards so the next character would appear to the right of the previous one. When you were done with a line you would push a lever to advance the roller (feed the paper by one line) and, under muscle power, drag the carriage back to the right side. This technology was in common use into the late 1990s.

Quite early on, someone got the idea that they could put all these characters on a cylinder (print head) and move just that. More parts, but greater reliability as you were moving something small. Easier to print on a roll of paper too! Because this arrangement was so complicated it wasn’t adopted by mechanical, niter most electrical typewriters, though the electric “selectric” by IBM was a notable exception.

The “shift” key comes from the typewriter: lower and upper case characters were embossed above each other on their stalk and the shift key would literally move the entire print apparatus (which had a metal bar for each letter) upwards. It sometimes required a LOT of force.

Unlike “shift”, the term “case” (as in upper and lower case) comes from printing when type was held in big wooden cases and far predates the technology above by centuries.
Spot is excess capacity. If there's zero excess capacity, that means there's (probably) also no on-demand capacity as well.
If it works correctly on an old-school TTY with a printer and a roll of paper, you're pretty much done. That's how you should view a terminal screen reader, except it talks instead of printing.

Using it with a non-monospaced font would probably be a good test too. Monospace makes some implicit assumptions (i.e. being able to see how things are aligned) which screen readers don't follow. Also avoid preceding important messages with long strings of text, in particular containing numbers, i.e. overly detailed timestamps in logs. A screen reader reads text line by line, so those usually make using the app less efficient.

If you want an actual user interface, not merely a command prompt, avoid the terminal like the plague. Exposing a simple web frontend might be a good idea here.
Perhaps I've not expressed myself clearly. It's not about the smartphone. Smartphones are a red herring. They're not the problem. The problem are some particular services accessible through that phone.
He disappointed me but still made that website. So I'd say, yes.
Interesting, I saw a Bollywood film with that premise - can't recall the name but I think more recent - not a boat, but the guy's shop. Was good from what I recall, would also recommend.

(edit: though in hindsight I realise that's a useless 'recommendation' if I can't recall the name...)
Top Product-Led Growth SaaS Companies Index
I have no expertise on the subject so my diagnosis basically means nothing but I suspect that the explosion in ADHD diagnoses has something to do with this. If you constantly exist in an environment that is built to fracture and segment and compete for your time it doesn't seem surprising to me at all that you're going to have a very difficult time allocating attention.
New Shepard Mission NS-18 Webcast
More anti-vax pseudo-science backed up with data.
Sysinternals 25: a special anniversary event
It seems https://openworm.org/ is another C. Elegans simulation project (in python). Starting with worms is in the direction of HelloWorld!
Has OVH gotten substantially worse in the past couple of years? We ran a decent cluster in GRA-3 for a few years, and I can't recall having any real downtime. But lots of comments here lead me to believe that other people have very different experiences with OVH.
I makes me a bit sad that I've moved from Ottawa to Toronto, cutting my time in the "freezing" from 3 months to half that.

Seeing a 3D stacking over the years (maybe a moving average) would be interesting, to see how much things have warmed since I was a kid.

Overall, that's a neat page!
And someone thinking about making a bomb would be looking at ideas while flying?
An ounce of prevention is worth a pound of cure
Also, since vaccines reduce death to almost 0, and a 'cure' on top of that reduces death by 80-90% (as you claim), if everyone is vaccinated that can be, and there is a treatment, there is no more disease, but thousands are still dying every day. So we need the vaccine mandates.

Additionally, death is only one of many of the devastating outcomes of Covid. In many cases there are profound and longterm effects. So we need the goddamn vaccine mandates.