skysight-inc/HackerNews huggingface dataset:
Then you also have those who still use unsupported Mac Pros. I know a friend who was in this dilemma and I asked why they still use it. My friend replied that it still 'just works' and switching to something else isn't worth the effort.

By then you can see why when I gave them the choice of either upgrading to the latest version of macOS + H/W upgrade or just installing either Ubuntu/Fedora/etc on a second partition in which both are long winded processes the decision was obvious and clear to them.

They didn't care about either solution and rejected both suggestions to carry on with the status quo with great reason: 'If it ain't broke, don't fix it.' So until their favourite app requires a higher version and kills their productiviy, it is enough of a reason for them to upgrade it. A full blown switch to any Linux distro would be the worst decision for my friend, especially NixOS since even with this blogpost it gives little reason why they should bother switching.
Economic institutions sustain people's lives. Declining productivity translates to loss in life expectancy.
Has he happened to provide you with this full source code?
But none of the apps they would be running (their browser, in this specific case) are RT. So if the application isn't asking for a hard limit on latency, they aren't going to get anything different on a RT OS.
Prerequisites are pretty heavy. This is a graduate course aimed at students who have presumably completed a bachelor’s degree in mathematics. At a minimum, you’re going to need an undergrad-level understanding of abstract algebra, number theory, probability, and mathematical logic. What math courses did you take in high school?
There are people who don't have and cannot open bank accounts, especially in third-world countries. Cryptocurrencies (I'm talking about Bitcoin and friends) give them a way to receive money from anywhere in the world and store it safely.
freshmeat.net
I'd argue that Nix is turing-incomplete. I've also been working on some tools that use Nix AST parsers to replace details like version numbers and hashes of git repos inside of existing .nix files. No fruit yet, but I'm still in the early planning phase.
Ah, that's fair enough, but it isn't 'real time', which is the thing I was assuming from the 'RT' in the name. Perhaps linux-ll would be a better name, for 'low latency'. RT just confuses what it is trying to do.
Even before this corona-virus, Tokyo Metro had been providing small incentives to get people to commute before or after the crush hours. I imagine such attempts will be magnified in future.

I use this system every day and for me, it's not just good, it's fantastic. The number of routes, frequency and reliability of service is unsurpassed in any city. Notorious crushing may stick in the mind, but moving around the entire city at any time of day...

That visceral image of over-crowding is real but not really representative. From now we'll all need to do more efficient sharding of work schedules and locations.
Except not everything in nixpkgs is a package! It's closer to a standard library that just happens to include a lot of packages.
I’ve been saying this for weeks now: just have the treasury pay employees so that people stay in their jobs and can keep buying.
I'm just hoping for more sushi like belt restaurants..
> I wish there was a global way to subscribe to and pay for content in a market/app-independant way.

The socialist party (biggest left wing party at the time, and in power 2012-2016)here in France talked at lengtht about this idea during Sarkozy's implementation of the repressive Hadopi system.

Pay a yearly fee, don't get punished for pirating, money gets redistributed. Similar but also vastly different to how we already have a specific contribution for French state medias, and then one to finance French production (movies, music,...).

It didn't get past the heavy talk part because no matter how you turn it, the abuse / unfair redistribution / increasing need unrealistic compared to usage is unavoidable.
Show HN: Automated Redaction sensitive information from PDF thru Pdffiddler (pdf
Testing in the US is a waste of time because of our lack of coordination, and the very contagious nature of corona.

What point is there in testing somebody if they can catch it on the next trip to the grocery store? Do you test them after every grocery run?

Let nature run its course, like every other flu season.
You're right. There's not a native solution. I've used Fluture (https://github.com/fluture-js/Fluture) for while now as it follows the Fantasy Land spec. The canceler is returned in the Future's constructor. The biggest feature difference in comparison to Promises is that you can pass around a Future adding to the data transformation without it being invoked until fork is called.

It's good to know that there exists a way to do this natively now though.
Tribute to John Conway – FPGA Game of Life
My biggest gripe in school and now isn't legibility, but wondering if the professor / author is using his Greek letters as some magic, universal constants or just throwing them in as variables because it's "convention". Spend more time hunting down context and the "With {} as {}" section than understanding the equation.
I don't see why we can't have a low latency Linux. Some sources of latency:
-- kb/mouse HW
-- kb/mouse polling
-- display technology & refresh rate
-- compositor
-- window manager
-- kernel
-- GPU drivers / app support

The stuff specific to Linux seems readily improvable
I used I2P for a while many years back and I enjoyed it. As I understood it at the time, it's similar to TOR but different in the sense that it puts a higher focus on internal traffic, whereas TOR has many exit routers and often serves as a type of free proxy for anyone.

For more information on the differences between I2P and TOR, see https://geti2p.net/en/comparison/tor
The House of Automata
This basically boils down to the argument that we don’t need police and courts if we all just obey the law and look out for our fellow man. Anarchism has some junior high level intellectual appeal, but out in the real world...
I agree Nix being new/odd is a barrier, and that NixOS be more popular if the language was more popular.

Guix System partly answers this by using Scheme, but ultimately Scheme is unpopular too.

A NixOS built on a no-side-effects JS/Python (e.g. Skylark, used in Bazel) would be possible.

The build output, a derivation, is just a data type (~ JSON object), and so interoperability between NixOS and something else is possible.
> Oslo has about twice the population today as it had in 1950.

That's a weird supporting argument. Can you name any urban centers that have not seen significant population growth since 1950?
I'm a math professor at a mid-tier PhD-granting university in the United States. I'll share my perspective.

First of all, funding is not an issue. Tuition is free, and we pay a stipend (something like $18k/year I think), provided that you are willing to spend ~15 hours/week as a TA for calculus.

That said, in practice, the question of "what's the weakest possible dissertation you can get away with, and still earn a PhD" doesn't arise much. We have a battery of qualifying exams, which are a significant obstacle. After that, depending on your advisor's personality, you could possibly skate by with a weak dissertation. Weaker students tend not to finish at all.

It's often said that a PhD is a "labor of love". And indeed, in the US, people don't generally seek out PhDs with ulterior motives. This is an interesting contrast to e.g. Germany where politicians are sometimes discovered to have plagiarized their dissertations. In the US no one would bother, a PhD wouldn't help you get elected in the first place.

So (at least in the context I'm familiar with) the answer is somewhat ambiguous, probably depends on your definition of "somewhat legit", and certainly would depend on random factors which couldn't be predicted in advance.
I really want to try NixOS but the Nix language is just so damn weird...

It's not really weird when you know a functional language like Haskell or OCaml. My experience was actually the opposite: being a functional language, Nix's syntax was so simple that it took me only a few minutes to grasp most of it.

But if you don't have some FP experience under your belt, both the syntax and commonly-used concepts are strange (e.g. fixed points).

For me the learning curve was knowing what extra functions/functionality is provided by nixpkgs, which lacks quite a lot of documentation and discoverability. I found out about a lot of handy functions and techniques while reading derivations.

I should have kept track of the issues while I was learning Nix/nixpkgs. But at that point I was still determining "do I want this?"
Amsterdam promoted cars and was very bike-unfriendly from the 1920s to the 1970s. It took a lot of concerted campaigning to get Dutch politicians and urban designers to start prioritising bikes again.

Here is a newspaper story about the changes:

https://www.theguardian.com/cities/2015/may/05/amsterdam-bic...
> By cutting service in specific routes

You invented that bit.

It is perhaps clearer in the original announcement from the head of the Milanese transport authority:

"Our metro carried around 1,400,000 people every day. To maintain a distance of one meter, while keeping the maximum service, as in the height of the winter season, this number will have to drop to 25-30%."

https://www.radiolombardia.it/2020/04/21/granelli-a-milano-p...
I own a device with a Mali Midgard or Bifrost GPU. I'm excited about getting HW acceleration on it. Anyone has insight about the usability of the driver at the moment? Alos, why are developers interested in it? Surely there are loads of GPUs without open source drivers.
I wouldn't be surprised if you're actually quite a good pick for the floor wax commercial demographic. Now you, specifically, may not have waxable floors or an interest in floor maintenance, but the more interesting questions is, how many people who look similar to you to an algorithm do?

Let's assume renters don't generally wax their floors, and cheap shitty floors don't need waxing. So we're looking for people likely to own a home nice enough too have wooden floors worth maintaining. You could probably do worse than to show that commercial to "highly-educated people with children, working in fields adjacent to software engineering."
You can probably just run the original executable on DOSBox.
Overlooking the fact that with 200% more cases Massachusetts has only 35% more deaths:

Sweden population density: 64 people / square mile.

Massachusetts population density: 890 (14x) people / square mile.

---

Stockholm population density: 5,200 people / square mile.

Boston population density: 13,800 (2.5x) people / square mile.

(all sources just wikipedia entries)
Why Chess.app is still bundled with macOS
But he also wrote "Every other delivery robot is the basically the same."
We should apply the lessons we're all learning from real world epidemiology against all the harmful memes:

- use masks => use adblock to avoid contaminants

- cleaning => regularly review who you follow. You're allowing them write access to your brain, and there's some evidence that the subconscious hangs on to ideas even if you intellectually know they're not true

- social distancing => mute, block, or defriend superspreaders

- testing => get things checked by a credible authority that's outside the disinfo bubble

- self-isolation => get off Facebook and encourage others to do so, unless you've already managed to disinfect your feed to an adequate extent

The virus merely gains life from spreading. The disinformation is being actively injected by political actors, some of whom (but absolutely not all or even a majority!) are sponsored by hostile governments; and also by profiteers. The "bleach drinking" thing didn't come from nowhere, there's a group out there selling it as "miracle mineral solution". Straight old fashioned toxic snake oil vendors who want your money and don't care about killing you or your family.

Stay safe.
>"Growth" is now one of my most hated overused business lingo, after "innovation".
Is it too naive to hope that this pandemic will make us collectively question the value of creeds like growth for growth's sake?

The "growth for growth's sake" is a thought-stopping meme. Let's unpack why that's an inaccurate reason for why companies do what they do and also why people who don't even work at those companies also care about growth.

The commenter you responded mentioned Netflix and "growth". Remember that Netflix went public in 2002 with an IPO.

When any company sells shares of ownership to investors, they're making a deal with society that if you buy their stock, your money will "grow". For investors' shares to become more valuable, Netflix has to grow new revenue, grow new profits, grow new markets, grow new products, etc. Why do so many public investors (and the so-called "investors" includes your grandparents' pensions, teachers/firemen retirements, etc) care about their money "growing"?!? Because they want to protect their future purchasing power. (My previous comment about this: https://news.ycombinator.com/item?id=15728480)

On other hand, if a family restaurant wants to just open one location with 20 tables and a payroll of 10 workers and just be a stable business that never grows, they wouldn't be able to sell public stock because nobody would buy it. There's nothing wrong with being a company that never grows -- but that's not the deal Netflix made with society.

So to rewrite your question a different way which gets at the root of where the motivation of "growth" comes from... Are we questioning the value of companies "going public"? Or are we questioning the ideology of fiat-money "inflation"? How do we make your grandparents pensions not care about "growth"?!? That's very difficult to solve!

There are also non-public entities that also want "growth". Countries like growth because it raises the standard-of-living for their citizens. Some small private businesses like some limited-scale growth because the owners like the challenges of running bigger business (e.g. expand to 5 restaurant locations instead of just 1.)

Even though the pandemic has shown the benefits of less smog in Los Angeles because of less economic activity, it still has not removed the root of human reasons for desiring "growth".
Yeah,
I really don't understand why people are still comparing these numbers like this.
It's much more objective to just compare "excess number of deaths compared to last year per million".
Like the New York times did:
https://www.nytimes.com/interactive/2020/04/21/world/coronav...
> The data set was gorgeous — every single one of the 96 participants showed the effect.

Ideally, that would have been an uh-oh moment.
It’s just that, a trend. It comes and will go eventually, and new trend arise, like it always did in the past.
> You can't verify the OS

You can. Look at seL4. This is an area of ongoing research.

> you can't verify the network connection between your apps

In what sense? You can verify the crypto, and the networking stack.

> you can't account for poor business requirements that result in formally verified hackable code

Not sure what you're saying here. Are you referring to the possibility that the formal specification might not be adequate to guarantee security, even discounting side-channel attacks?
https://github.com/netjiro/hactac

Fun, tricky, tactical hacknslash tabletop/rpg. Played since 2008. A bunch of adventures and campaigns available. Uploading when I have time. Hundreds of hours of adventures in the repo already.

Let me know if you want to try it out. Happy to host a game (UTC+2 CEST). We usually play over maptool and mumble these days.

1) README

2) Adventures in Kingsland

3) basic rules and design ideas

4) Dungeon of Testing

5) Return of Uchly Namen

etc
At my school someone yanked the campaign maps and most of the models out of Quake 1 so it fit on a floppy. Funny thing, the school was pretty small and the sysadmin personally knew most of the senior guys, being just a few years older—so he likely regularly hung out with the one whose invention he had to clean out from the machines every few days.
I'd argue that Nix is turing-incomplete.

What do you mean by this? Nix is a Turing-complete language.
I don't want to trash your hopes, but the particles are pretty much independent from traffic nowadays (see how Stuttgart is doing these days). The drought around Berlin will probably kick way more fine particles into the city than all Diesel cars together. The only thing that could help would be more trees and less dense cities.
> automated electronic location tracking that is to be submitted to authorities

A minor (but absolutely essential) correction - your diagnosis keys are to be submitted to a database, not your actual location data. Only those who observed one of your previous broadcasts will be able to make the connection.

The notion of a mandatory app or device that tracks location in a centralized manner certainly does make me uneasy. Thankfully that's not (yet?) the reality, but (the same as you) I can easily imagine that an appeal to security might be made in the future to justify such a requirement being enacted.

But the current API, while correlated with that issue, isn't actually related to it in a causal manner. On it's own, the published protocol miraculously manages to yield almost no privacy whatsoever. Even better, none of this actually requires cell network connectivity. You could hypothetically manufacture a Bluetooth-only device (thus no location data leakage via the cell network) whose sole purpose was to facilitate contact tracing!

If we're able to achieve effective contact tracing without giving up our privacy, perhaps it will critically weaken any hypothetical future push for a mandatory app or device that could be used for centralized tracking?
Yes! This is what I was looking for.
Looks like it was done by an agency based in India, using a TeX-based system. But most likely with custom in-house macro packages etc rather than just off-the-shelf LaTeX or ConTeXt styles.
This looks nice, and especially attractive because it only uses bash and ffmpeg, avoiding unnecessary dependencies. I have to wonder about this though:

> When Ctrl+C is pressed, the operating system sends a SIGINT signal to the control script, which transfers to a signal handler function. The signal handler script makes a new directory with the days time and date, moves all video files to that location, and uploads the new directory and it’s contents to Google Drive.

So the script is run manually, and also interrupted manually? It seems strange because I would expect something like this to happen via cron.
So you want even better visibility for advertisers? Whenever a cigarette is lit, the overlay should also clarify that it’s a Marlboro?
That's also not useful. Compare with a season of flu outbreaks, which last year wasn't
I'm using AdGuard and I don't get any ads ever on youtube.
https://chrome.google.com/webstore/detail/adguard-adblocker/...
Paramotor and Powered Paragliding
Normally I'd submit a URL but there are 2 URLs that I want to submit in one go:

1. https://en.wikipedia.org/wiki/Powered_paragliding

2. https://en.wikipedia.org/wiki/Paramotor

They both talk about the same thing. I just saw a few YouTube videos about it. I never knew something like this existed! I hope personal flight will be ubiquitous one day.

Here's a YouTube video that gives an impression https://www.youtube.com/watch?v=zE0jPrpEr14
CEBM concurs, the H1N1 CFR was between 0.1% and 5.1%, based on country and the fatality risk settled out at 0.02%. [1]

Some more napkin math, the CDC estimates between 12,000 and 61,000 flu fatalities per year out of approximately 9,300,000 to 45,000,000 infections so pretty consistently a 0.1-0.15% IFR. [2]

Not sure how to reconcile these. The worst year, 2017-2018, had 45M cases and 61K deaths. The dominant strain was H3N2 not H1N1. The vaccine wasn't particularly effective that year (38%). Not sure how else to account for the delta. [3, 4]

[1] https://www.cebm.net/covid-19/global-covid-19-case-fatality-...

[2] https://www.cdc.gov/flu/about/burden/index.html

[3] https://www.cdc.gov/flu/about/burden/2017-2018.htm

[4] https://www.cdc.gov/flu/vaccines-work/effectiveness-studies....
I've been able to achieve that same end goal, having deterministic/reproducible/reverting/history/etc with Ubuntu. Essentially, I boot Docker images on bare metal.

https://godarch.com/

My recipes: https://github.com/pauldotknopf/darch-recipes

I have the same exact images, bit-for-bit, running on 3 different machines. I have a zshrc alias that allows me to sync my current machine with my work image that I have stored on Docker Hub.
I've lived without a car for years but I still find a license invaluable for the few times I'm moving or helping someone move. It's much (much!) cheaper where I live to borrow a car from a friend or car share service than pay a moving service. I aim to never use a car except when moving or visiting family inaccessible to public transit.
Well, let’s optimize for those things then. Right now growth mostly means making the rich richer. Trickle down economics have been discredited for a while.

I wish governments would set quality of life targets instead of gdp targets. If you need to grow gdp to get to a better quality of life, fine, but please, let’s all stop spreading the lie that gdp growth inevitably leads to increased quality of life, because often it causes the reverse.
You are the one that is naive. I will translate.

You want to keep kicking the can down the road, so that someone that isn't you will hold the bag. Because someone will hold the bag for all this, and it isn't fair. So? Life isn't fair. Pandemics happen, and the government can't possibly bail out everyone.

He's right. Add a UBI and nationalize healthcare. It's not complicated; the elites just don't want it. The ones like you.
The alternative would be that almost everybody can't get to their jobs. A subway line running at full capacity can't be matched by cars in throughput. Tokyo as it exists today would be literally impossible without public transport.
Twitter isn't healthy or unhealthy. It's about how the platform is used. For discussion of political or social issues, it's garbage, certainly. But there's a lot of other content on Twitter as well.
I am arguing that the current funding structure encourages poor quality science. Right now it is better to pump out papers as quickly as possible rather than taking the time to check the data is not flawed.

From a software perspective it is like paying developers by the number of lines of code delivered and telling them to not worry about bugs. Not an approach that is likely to deliver quality software.

What we need in science is to find a way that people have the time and incentives to publish results that are as accurate as possible.

Somewhat off topic I do wonder if we would get better software if we fired programmers if bugs were found. I suspect we would not get much code written, but the code that was written would be very high quality.
Darch is an alternative
In fact, a derivation is not even a type. AFAIK it is only informally defined as an attribute set with an attribute type with the value derivation:

https://github.com/NixOS/nixpkgs/blob/2cd8c35c1fdfdb773df7ec...

I am pretty sure that instantiating a derivation probably requires more attributes. But in the end they are just attribute sets (which is one of the types in Nix besides strings, lists, etc.).
Good point, thanks, I missed that! TBH I need to brush up on GDPR law. FYI The website itself is not using any cookies, but GA and the Crisp chat are using them.
Indeed that was a mission in duplicity more than anything else.
Show HN: WebGL Virus Simulator