skysight-inc/HackerNews huggingface dataset:
it seems it's cloud-based. Fun for playing around but not suitable for real work (at least for me).

I can't just upload random data to some cloud service to work with it, also I can't upload data if it's too big. Often the data that's valuable is very sensitive.
Nobody puts any R&D into new drive technologies. If demand drops, factories close since they are producing at near zero margin. All R&D costs are already amortized or written off.

End result: Static prices.

The only time prices will change is when only one manufacturer is left and they jack the prices as a monopoly on antique tech that a few big companies still need. We're a long way from that tho.
Well. We kind of knew this. It's the reason I try very hard to use either webapps or only f-droid. And you can say least rotate your add Id on Android.
But it shouldn't be like this. It's very clear that phone manufactures are user hostile. There is no benefit here (maybe an edge case in support and payed apps)
That should come from the top, not from the bottom of the company. It's not the responsibility of a lower level employee to define what his company stands for. Everyone is free to work for a company that matches his values.
Easily Add Offline-First to Any Application
I think he meant what games you play.
Audit-based security is ok, but the ideal solution is open hardware and firmware.
We went through this with MP3, record industry claimed every download was costing them money, that is was the end of the world as we know it, they would wither and die without copyright protection, while at the same time, more people were listening to more music, and look where we are now...
>This could very well be false: without sci-hub, people might instead use arxiv and the like; perhaps sci-hub brings journals thousands of downloads they would not have if sci-hub didn't exist.

There was that study in EU that said piracy actually helped the game industry.

There is also what the author was commenting, sci-hub is easier to use than the legal alternative. We go tour researchers stuck in bureaucracies, to access papers funded by taxpayers! As Gabe Newel said, to fight piracy, you provide a better service (Steam was the biggest hit to game piracy, and so was Netflix for series and movies), instead of that, what we see is more control/bureaucracy being added.

edit: https://www.engadget.com/2017/09/22/eu-suppressed-study-pira...
it's an old study (2013), but I doubt the situation got worse. In videogame land the greatest example is The Witcher 3, easiest game to pirate, has it was distributed without DRM, you could just copy your friends installer. It was still on the top of steam most played single player game(which requires the key to be unique), won a lot of awards, and got so much exposure that netflix has released a TV show...
> It's hard to see what the obstacle to mechanisation could be but logical complexity.

There is no impenetrable obstacle if humans could do it (for some definition of "could"), but the difficulty is handling infinite state spaces. Model checkers can do it in some situations, but the could do it in more. Neither model checkers nor humans can handle infinite state spaces -- or even very large ones -- in all situations (halting problem and its generalizations).

> Model theory is not some magical deduction-free paradise.

I just pointed out that some of the most successful automated methods, like model checkers (hence their name, BTW) and SAT solvers (which are really special kinds of model checkers), work in the model, not the proof theory.

> The reason we care about model theory in logic is because we want to have evidence that the deductive system at hand is consistent.

The reason we care about models is that we want to know that the "symbols game" of formal logic corresponds to mathematical objects; i.e. that it is sound -- a stronger property than consistency. The model existed first. Proof theory in deductive systems -- and formal logic in general as we know it -- is a 20th-century invention (well, late 19th but only accepted by mathematicians in the 20th).
Light reading for STEM majors: 9 books worth picking up on a cold winter day
This is the consumer-side API:
https://docs.microsoft.com/en-us/windows/win32/coreaudio/ren...
I'm trying to implement the provider side, i.e. the thing that creates COM objects for ISpatialAudioClient to work with.
Of course you're right, but the article acnowledges that at some point.

I'm not a researcher, but download lots of articles just as general curiousity. I definitely wouldn't have $30 for each download, as I'm not profiting of it at all.
My Rip Van Winkle Moment as a Developer
Apologies for the tiny size of this graph: https://gridwatch.templar.co.uk/coal-nuke-ccgt-wind-year.png that's based on live data, see https://gridwatch.templar.co.uk/

There may never be sustained periods of zero wind, but there are certainly some months with much less wind than others.
You get a positive number if you use AND.
How to achieve more in a workshop by using Kanban
Using Sci-Hub is still faster and easier than logging into the university VPN or web proxy (which breaks HTTPS sites).
+1 I still haven’t figured out how to get split screen reliably and every time. But I don’t find a need for split screen either. A few times, I tried I had to google how to get split screen then I gave up. Also, sometime I automagically get split screen and can’t figure out how to get rid of it. Usually land up just closing apps in split screen and restarting apps.
Besides, what if they did? You think you need to use your device just because the pilot is?
I'm not sure what you're gunning for here. Spending road money on other projects? Or that real estate used for roads is somehow removed from the overall real estate market (in the active commerce sense, not active listing sense)?

If it's a new project, even if land is behind expropriated, the market value is being paid. (I assume, bring Australia) So it does balance out, even in land value. For appreciated value, it doesn't occur in a vacuum. The local transportation is factored in to the market rates for property.

So I'm not sure in what sense you don't see it as balanced out. Or what you'd like to see as the alternative.
Hm, last updated 3 years ago and depends on the unmaintained Aboriginal Linux.
“To Reach the Pure Realm of the Imaginary:” A Conversation with Cixin Liu
HN is getting novelty usernames now? That was a bit, um, unsettling.
A Field Guide to Fixing Bugs
No but, looking at some screenshot + descriptions, it seems to get me further from the code which does not seem like what I am looking for

Rstudio gives you the experience of a classical IDE + easy data exploration which I found to be productive from the exploratory stages (where I need to see my data and the effect of my code) to the clean-up phase (where I refactor my file).
Exactly. If it were not for the OS, the hardware seems to be a lot more capable than casual entertainment.
These use cases simply don't push the hardware to its limits.
With JetBrains/VS Code and WSL, modern Windows is actually a pleasure to develop on (IMHO, of course).

The only reason I bust out OSX is for iOS development.
As a Canadian, we... might be getting some undeserved good press on that front. Corruption isn't terribly blatant over here, but we haven't really had a major misalignment between the Ruling Class's and the population's incentives. It might get pretty blatant pretty quickly if we do.
Yes the motivation is completely wrong here. You build more lanes to increase throughput not to decrease latency!
My ranking of security:

"It's secure because we say so"

"It's secure, and we have a published design and audit"

"It's open source"

"We're offering a reward to anyone who can break it"

"Our company would go under if anyone found a flaw in it"

SSD's are currently at the first stage.
Quote: "The SSD is more than fast enought for my needs. Funny thing is that it’s even faster under Windows (3.5 GBps read and 3.3 GBps write)." Also OP is showing ~2.5 Gbps in an image.

Funny thing, I run my Macs in virtual machines (VMWare), and the speed is identical to Windows (host OS), while all other OS'es (Linux / BSD / other Windows') show slower speed. I wonder why.
Storyly enables app owners to bring story feature to mobile apps
Germany confirms human transmission of coronavirus
I did not invent the criteria. When we talk about "civilization", we mean a writing system, public buildings, centralized government with some formalized structure.

If you are just talking about tribes of people with some arts and crafts, then you can find cave paintings in Spain dating back 35,000 years (https://www.oldest.org/artliterature/cave-paintings/), a structured society living in caves in Sri Lanka 35,000 years ago (https://en.wikipedia.org/wiki/List_of_archaeological_sites_b...) or the Gobekle Teple (the world's oldest temple) in Turkey 11,000 years ago -- and they even had "scripts" there.
https://www.smithsonianmag.com/history/gobekli-tepe-the-worl...

The point is, humans migrated out of Africa a _long_ time ago and there is a long history of things like tool making, cooking, art, making structures, making symbols in proto languages, which is scattered all across the world from Latin America to Europe to Asia. But none of these by themselves constitute what is traditionally considered a "civilization", although of course this is just a long standing convention. Having a written language and organized public buildings is required for that.
DigitalOcean doesn't charge for their floating ips, so it's a fairly economical way to traverse NAT. $5/month total assuming you keep the floating IP assigned. Fairly simple with wireguard and port forwarding via firewalld or iptables.
Coronavirus Real Time Map
emacs has org-mode.
Minutes. Vindication of Slow Thinkers
Sorry, yes, I mean the ring of integers.
On a counter point, I regularly order from smaller shops because they offer the same service (next day delivery for 99% of orders) for a lower price (usually about 5-20€ per item). Amazon is quite pricey for some product categories.
Note that while it is an excellent book, some of its contents are outdated now as it was published in 2009.

In particular: solar, wind and battery technology have improved much faster than predicted.

This blog post discusses some possible updates that could be made to the book:

https://www.carboncommentary.com/blog/2017/3/30/l6qcqgoedse1...
Be a Rock Star at Pull Requests
CA in Nepal|CA Course in Nepal|Chartered Accountant|ChaitanyaCa
John Gruber recently wrote this: »I miss buttons that look like buttons and clear distinctions between app chrome and content.«

I think we are many who agree.

Source: https://daringfireball.net/linked/2020/01/20/instagram-for-w...
Curl to shell isn’t so bad (2019)
How about no initramfs? The Kernel can even boot from encrypted raid volumes as EFISTUB or even more complicated setups without any further need for user space software.

On non-critical devices which can be booted via USB in a case of emergency (like laptops or desktops) initramfss are kind of pointless and just unnecessarily prolong the boot time.

As long as you statically compile in the ext4 (or whatever FS) support every needed kernel module can then be loaded regular boot.
While it's good to avoid EM interference from electronic devices, I think the real reason they want you to switch of these devices is to make sure you're not totally distracted during take-off or landing, and that you're not using headphones, so you'll be aware in case of accidents/emergencies.
Well, I didn't want to associate pro-piracy views with my main account. That account should be for tech discussion only, without politics. Identity on the internet is forever.
Docker Data Containers (2018)
It was patented years ago so of course it is.
Does NVMe make a difference over SATA2? Isn't the latter plenty fast anyway? I've been holding off on upgrading because it doesn't seem like I'd see a benefit.
I'm curious. How do people protocol their experiments? When I started, I used to just keep the cells but that lead to very long and impossible to parse Jupyter notebooks. I have since opted for keeping a journal.txt file in Atom where I write down hpyerparameter configurations, epochs run and results (for ML).
But that feels a bit awkward as well.
> How else would you propose heating a property in England in the winter?

I would really recommend reading the book linked to in the grandparent post.

Here's a direct link to the chapter on heating:
http://www.withouthotair.com/c21/page_140.shtml
yes, they have the source code
The best place to get them is Japan, model 70 regularly sell at ~$50-60 there.
Sweet page thanks.

That's not enough numbers however. 31% Gas is generated for electricity.

> The data covers the UK cold weather event on the 1st March, providing insights into the scale of hourly energy flows through both networks. A peak hourly local gas demand of 214 GW occurred at 6pm on the 1st of March, which compared to peak electrical supply of 53 GW occurring at the same time.

http://www.ukerc.ac.uk/publications/local-gas-demand-vs-elec...

214GW(!) that's another 3 more UK national grids in capacity to build.
Propaganda nonetheless, and this is what makes it interesting. Was ror just a bit of the-enemy-of-my-enemy posturing to make Japan look bad (not much to do there in 1944 America), or were they mentally preparing for a possible intervention in China post VJ? Given the military presence America had on mainland China before the war this must have been a rather natural idea to some.

The linked text is part of a bigger publication, it's linked at the bottom. Scanning through it revealed some juicy "dictator, but a good one" love notes to Chiang Kai-shek.
> Everyone is free to work for a company that matches his values.

No, they are not. Maybe it is true for a select group of people (computer programmers, some lawyers, some medical professionals), but the vast majority of people are not "free to work" and choose any company that matches "their values". Which makes protests like this one even more important and noteworthy, as those people protesting are risking a lot more compared to the "privileged" professions I mentioned above.
Fastly and Elk for Observability
Not a discrete one, but there are much better mobile Radeons available. Like the ones they put in the Mac Books. Would be nice if they offered that on the higher end models.
And What
"Scientists find Arbitrary Code Execution vulnerability in Human Cells, vendor unresponsive to security issue"
Didn't iTunes store used to be DRM free? (I never actually had any apple device so I'm not sure)
Ask users for their problems, not solutions or opinions
Secret Message Discovered in Milton's Epic 'Paradise Lost'
Why cancer-spotting AI needs to be handled with care
I've seen reports that there is a Level 4 biohazard lab in Wuhan: http://english.whiov.cas.cn/ne/201712/t20171212_187624.html

Is that not also a possible source of infection?

//edit// A slightly similar case from the UK: https://www.theguardian.com/uk/2008/oct/17/footandmouth-rura...
Probably not that many, it should be sufficient that the immune system doesn't have anything to specifically deal with it, so it only has to evade the complement system (which for a virus isn't terribly hard). It also helps that the strategy is simply "replicate and just swarm the defense".
AirPods: The New It Item Among the Playground Set
Gonna be honest, I think it's a dead-end. The solution IMO will come from the supply side; Easier to get receipts digitally from the store / vendor / seller, than to spend all this effort on converting physical receipts to digital.

Sure - there's good retro usage, I'd rather push for sellers to offer you digital receipts.

In fact, I already get that from my local supermarket. My bank card is registered to their app, so every time I swipe my card or scan my app (when paying with cash), I get a receipt on the app, which I can export.

I remember back in college, over 10 years ago, this was a very hot topic. Receipt management was one of those entrepreneur ideas that would always pop up.
http://archive.is/78ZsX#selection-1909.5-1909.54
They make their money selling you overpriced hardware. This won't happen. Well maybe it would but then every part of the ATX Mac Board would also be sold by Apple and third party RAM etc would never be allowed.
The first operations I mentioned (adding or removing a device from a vdev, or adding a new vdev) are one command with no downtime:

% zpool attach <pool> <vdev> <device> // add to a vdev
% zpool detach <pool> <vdev> <device> // remove from a vdev
% zpool add <pool> <vdev> <devices...> // add a new vdev

In the newest ZFS versions, you can also remove mirror and singleton vdevs (this does require some time -- because the data needs to be copied from the drives) but it's all done in the background:

% zpool remove <pool> <vdev>

Shrinking a pool "the old way" (which is still sometimes necessary depending on what you're doing) is definitely more involved -- you have to create a new pool with the layout you need and then do a zfs send/recv from your old pool to the new one. This does only take a handful of commands but I would definitely consider it to be a much more complicated affair than the operations I mentioned above.

I would not (nor did I) compare LVM (or md-raid) to btrfs or ZFS -- those technologies have fundamental limitations regarding the integrity of your data that ZFS (and btrfs) don't have. And don't get me wrong -- I don't have a problem with btrfs (I run btrfs on all of my machines except my home server -- which runs ZFS), I just disagree with GP's point that ease of use is an argument for btrfs over ZFS. There are many arguments for either technology.

> btrfs is also mainline, which increases how painless it is to use.

I agree that this is one argument to pick btrfs over ZFS (though on most distributions it isn't really that hard to install ZFS, the fact that btrfs requires zero extra work to use on Linux is a benefit).
Well, Amazon is the place you bought them from, they are liable for your warrany, not the manufacturer, so it should not be your problem, Amazon will have to take care of it.

My experiences with Amazon have been amazing; I bought two 1TB 970 pro's when they just came out (hella expensive), and one of them was faulty. After explaining my troubleshoot, they were like: ok, sounds like you know what you are doing, we'll send you a new one, be sure to return the one that's faulty in the next few days. I was blown away, amazing experience for me and certainly a reason for me to look at Amazon first when I need something else.
Semantic-release: v16 released which supports NPM publishing to release channels
My university gives me access to many journals but i still use Sci-Hub. I will never download adobe digital editions just to view a pdf.
My iPad must be 4 or 5 years old and seems perfectly capable of pretty much everything I use it for (videos from various sources), lightweight web browsing, looking at pictures, browsing Ordnance Survey maps...

Only reason I would upgrade is if I break it (unlikely as I don't take it outside very often) or when iOS upgrades stop (which is what happened to two previous iPads I have in a drawer somewhere).
A short story about a Siri-like assistant getting in the way
Or Hemingway.
> cancellation is just as fiddly and needing to be explicitly handled by client event handlers/awaiters

That's not true. In event loops to do cancellation you simply remove event handlers for associated client from whatever event notification mechanism you are using and delete (free) client's data structured, including futures, promises or whatever you are using. Since references to all of them are necessary for event loops to be able to even call event handlers, no awareness of any of it on event handlers' side is required.
A lot of those fatalities are from minor mishaps on mopeds combined with hard surfaces and a lack of helmets.
I had a ZFS bug once where they increased the amount reserved in a new release which caused my file system to be 100% and me unable to delete anything until I went back to the previous release.

Btrfs uses the the disk completely. This is harder to do (also compared to e.g. ext4 reserving a fixed amount of inode space which may be unused when the disk is full). At some point they added an in-memory "global reserve" metadata space which allows you to delete stuff even if the file system is full.
> But did you know that the money in the trillion dollar sovereign wealth fund all came from the oil they sold?

I think it's a positive thing that one of the world's largest oil producers is moving away from fossil fuels and that they're being vocal about it.

We could do with more virtue from leading countries, and signalling about it.
E-scooters on UK roads set for the green light
We are already past the SATA II bottleneck, so yes.
> . $200 Android tablet with a simple enough design works just as well.

I mean, the normal (and I assume best selling) iPad is about 300, and will likely be supported for a lot longer than the Android one (my Air 2 is getting on for 6 years old).
Try to take the Hackintosh to an Apple store to see how the Apple Care repair experience plays out.
Last year I got an iPad, my first Apple device (I needed ForeFlight for flying, and it's only available for iPad). I downloaded a few manuals for ForeFlight, which apparently went to Books. I pulled one up in Books, spent a few minutes glancing and things, and spent the next 15 minutes trying to figure out how to get out of the current book back to my list of books. Finally took it to my wife (a long-time Apple fan), and it took her about 3 minutes of tapping and dragging various places. In the end, neither of us knew how we did it.
Silly article. Most of its points are actually arguments against JavaScript's type system and semantics, not zero indexing per se. (Consider how would they apply if we used letters for indexing, where there's no longer a superficially appealing zero value to special-case: ‘We should use B-based indexing, because A is a falsey value in JavaScript! Also, now we can use A to denote missing elements!’.) Others are empty appeals to vaguely defined ‘mathematics’ that ultimately boil down to historical legacy.

It is true that most matrix theorems are formulated with 1-based indices. But mathematical notation is full of unfortunate historical accidents (like defining π to be half the circumference of the unit circle), so one should be cautious when drawing inspiration from it. And for what it's worth, set theorists start ordinal numbers from zero, and each ordinal a half-open interval of numbers which precede it:

https://en.m.wikipedia.org/wiki/Ordinal_number#Von_Neumann_d...
I was surprised to see that gas heating is to be banned in new UK properties from 2025:

https://www.bbc.co.uk/news/science-environment-47559920
29903 base pairs is 59806 bits or 7.3 KB.

Hepatitis B is 800 bytes for comparison.
Is there any specific thing you did apart from having a fiber and being close ?

I tried to set up my home PC as a server with tincVPN and X2go, i couldn't get a usable performance. Well, to be fair i tried using KiCAD remotely but even the XFCE desktop interface felt sluggish. I also had fiber on the three nodes (Vultr server, home server and my local machine).
Almost all of the buildings in a city like London would be associated with administrative occupations. People pushing paper or buttons. Do we really need to meet at an open plan office to complete our daily tasks? Can we please start getting going the real value "gig" economy in the form of remote work for 90% of these jobs in the cities. Imagine working for a company in London but living outside ring M25!

It will take a paradigm shift to make location irrelevant.