skysight-inc/HackerNews huggingface dataset:
https://coq.inria.fr/ would be a good choice for proof assistance, I believe
That's ffplay.

$ man ffmpeg-all 2> /dev/null | wc -l
33160
I think numbers obscure the rational, what you have outlined is position that eventually puts us in a world where everything is glued shut and the only way in is via someone's walled garden.

Most systems could use an RS-232 port and simple text protocol to do everything the keypad and the display screen could do.

Many systems use SQLite for instance, at least expose a RO version of that database.

There are lots of ways to expose access w/o having to support v0.0.1 of the API forever.

But what you are advocating for is basically locking everyone out of your products so that the rest of the org is affected. Rather than view the wackos who file support requests on an API that only 1:50e3 customers use, find out why they need those extensions and cater to their needs. Often it is for a whole new market.
A lot of disability discrimination is handled at a national rather than EU level, because EU law is pretty narrowly constrained by the treaties and the purpose of the EU.

In the UK, there's a "duty to make reasonable adjustments" if "a provision, criterion or practice [...] puts a disabled person at a substantial disadvantage" (s20 Equality Act 2010).

But there's quite a wide margin when it comes to what is or isn't a "reasonable" adjustment.

Lots of historic buildings are never going to be fully accessible without a massive rebuild project. The cost of retrofitting, say, the London Underground to be fully wheelchair accessible would easily reach into the tens of billions. (New capital projects tend to have accessibility baked in—so the DLR, built in the 80s, is extremely accessible, as is the renovated bits of the Jubilee Line, and Crossrail will be.)

The "reasonable adjustments" don't necessarily need to be providing physical access adjustments like ramps/lifts. For instance, when I was in university, one of the students on my course was in a wheelchair, and they relocated all lectures, tutorials and seminars he was in to ensure they were all in the rooms that were wheelchair accessible.

There is some EU legislation that tries to unify accessibility rules across the different countries though. https://ec.europa.eu/social/main.jsp?catId=1202
I can imagine this even has an amplifying effect. As the reasoning of e.g. a shopkeeper, or pub-owner now is "there are hardly any wheelchairs about, so why bother investing in a ramp/accessible utilities etc".
This idea is common but a strange one at least to me. Going back to GSM would of course be a regression due to their repeatedly broken crypto, but modern LTE networks have many desirable properties absent from Internet-based messaging.

Perhaps it matters less to a US user, but as a European the fact an intra-country communication need not traverse any border nor be observable by any non-domestic entity is a huge deal for me, due to much stronger data protection laws in these parts covering both message content and metadata

Then there is the trustworthiness of the communication medium itself. WhatsApp is being advocated in this thread, but WhatsApp is a massive chunk of unaudited code running on your handset that is published by an advertising company, code that by design steals your phonebook without telling you every time you run it. At least in the UK, telecom providers generally act for the most part as commodity infrastructure, we don't seem to have quite as many scummy behaviours as are reported in the US. Both approaches require a central counterparty with either absolute trust to protect your cleartext message in transit, or provide otherwise unaudited code claiming to protect the same.

The bottom line for me is probably who gets to keep the metadata, a US advertising company or a local telco. I am certainly happier with the latter.
I’ll bite. No other platform has the same level of integration and tool quality. There is no real remplacement for iTerm and Preview. There is no real equivalent of air drop, handoff (copy paste, pulling OTPs from sms, scan through phone...). TouchId that works, unlock with watch. For people in the Apple ecosystem the competition would have to get a lot better and the iOS/macOS a lot worse to be worth a switch.
Can't happen soon enough. I'm for the "stay on summer" option.
Not sure, socket binding ?
Jerry Jeff Walker, who wrote and sang 'Mr. Bojangles,' dies at 78
The title is incorrect. It was only electrical power, not all power, and it was only for 1 hour on one day.

Still impressive though.
Better to say both X11, and Wayland are now two pieces of abandonware.
As far as I know, despite the scandals facebook has never been shown to blatantly collect data without disclosing it in its privacy policy. It's unreasonable to assume it will start, in a niche product, over what most people probably find more sensitive than most of the data is collects.

It's "easy" for a competent software engineer, yes, not a random person. But I assume that's most of the people on HN.
Lots of tricks are old.

You've just got to think of and apply them in the right context.

Most of the world's major breakthroughs are basically just this.
Why Academics Stink at Writing
Python hands down. Your concerns about speed are not actually relevant unless you are in the high performance computing world, in which case you can choose C or Fortran. For most any practical application, performance is not that important and library support dominates the calculus. Scikit-learn, scipy, et.al. are the nicest set of math/stat/ML libraries in existence today, you should be able to spend years learning about the things they do.
Kids get sent to mental hospitals for skipping class (happened to my brother in California) and many other kids. Pretty much the same as incarceration.

Please don’t laugh things away because you think they don’t happen.
> September effect

Never heard that one, do you mind elaborating?
Yeah, maybe it should cite sources.

Also, the title of that page makes it clear that the topic is prioritization, which, funnily, gives a lot more focus to the text.
CSS in 3D: learning to think in cubes instead of boxes
Yeah all those costs are just distributed elsewhere. Like healthcare, dental, eye care, lower wages in everything other than tech, housing, lack of public transit... etc.
> This should hardly be surprising but a prominent Intel open-source developer has conceded that the X.Org Server is pretty much "abandonware" with Wayland being the future.

Why do you say Wayland is abandonware? The last activity in the repo is from a week ago https://gitlab.freedesktop.org/wayland
London hit 90% literacy around 1750, and that's including the guys who shovelled horse-shit for a living, I'm pretty sure patrons of Lloyd's were very close to 100% literate from the start.

But how much people had read, and how easily they could find new things, were of course vastly different. They were still busy inventing newspapers, and wikipedia was some way off.
Seems like a reasonable approach to ensure people don't stick for too long unless they need to, especially when there's free WiFi.
> Youtube-dl is executing code as a World Wide Web user agent, provided by Google/YouTube [...]

I'm guessing that's a typo, and this was actually meant to say the following?

> Youtube-dl is executing code as a World Wide Web user agent, accessing a service provided by Google/YouTube [...]
If you'd bother watching the video you'd note that he specifically talks about the CSS DRM, and even the AACS encryption key.

So yeah, tone it down a bit.
Not nearly the same; But at university I was one of those guys driving around on an Airwheel. Every little curb was sooo annoying, and I could just jump off, walk over and continue my ride. Sometimes I would do quite some detours to avoid that. Made me realize how annyoing going around on campus in a wheelchair must have been.
5-Minute deep dive into multi-GPU training
Working with branches: how to create a branch in GitHub
Thought on the Apple TV+ Deal
> 3.5mm does the one thing it should do, transmit the audio signal, without all kinds of unwanted software side effects

I have an HP laptop with Win10 and it shows all the kinds of problems you described and more... with a standard 3.5mm jack. Youtube/VLC will freeze as soon as I plug in a headphone, Skype/Zoom will crash and end my call. Some games will continue sending audio through the laptop speakers, and only switch if I restart the game. Others will just stop outputting any audio.

I really did not think this was possible, I thought the headphone jack was just a physical switch that sends signals one way instead of the other.

Software engineers can and will find a way to fuck up your life, even if the problem has been solved for a century now.
Show HN: RestFire Studio (API test and design web-based platform)
> It is a foundation and the first step and on a long way to the service me and my friend want to build.

> It will include improving of reader experience, tools for authors and, I hope, a community of likeminded people.

> Any feedback much appreciated

I sort of understand the direction you've been going in so far, but a roadmap (however tentative) to your intended destination would be welcome.
That would be nice if this can be ported to other eReaders like the Kindle and Kobo.
That's a brilliant idea. I wonder if I can convince people to join me on that, if pubs ever re-open.
I'm working on one! [0]

However it's not quite done, yet. I'm mostly interested in PDF output, and not having LaTeX was one of the goals, so I use weasyprint for PDF generation. Too bad they are very slow with releases, and I encountered many bugs...

[0] https://github.com/runxel/Morris
https://en.wikipedia.org/wiki/Secure_Scuttlebutt
I’ve used many converters in my life, but Pandoc is the one I always end up using every time
There is no such thing as a "write only DB"
Who ever has control over that DB physically can tamper it.
From external such a DB would be a black box. You store something and read again to check if it has been stored but whoever is in controller can just drop it after wards anyway. You have no clue whats actually happening. The black box could contain 2 DBs you query one and everyone else queries another.

A public DTL has a public state unlike a normal DB everyone knows the complete DB and its distributed. If you write to it you can read form anyone else including your own node to verify it has in fact been written. Instead of trusting who is in control of the read only DB you trust that a no majority of nodes collude to tamper. Its important to know that there is a negative incentive to collude because almost all participant are participant in such a system because they theme self want to use an immutable ledger.

This does not apply to BTC or similar blockchains where the people (miners) in "control" (collectively) are not the primary users of the immutable ledger. Because there is a false incentive (money/block reward) to participate even if you have no interest in using the system at all.
This guy recently trying using 3D printer to automate making foldable patterns: https://mobile.twitter.com/drew_makes/status/131899575440553...
Heh, the thoughts are similar but not that similar.

https://github.com/mikebrady/shairport-sync

It actually does implement multi-room synchronized audio. This was the one thing keeping me from running an OSS audio solution using RPis. I like that it runs AirPlay, so it can "just work" using existing devices, and not a crazy uncle solution.
So what do my Linux machines run desktop sessions on?
Yes, I agree. X11 is a historic artifact that is supposed to be honored in the museum now.

The C/S architecture of X11 hits the spot when terminals and thin client are the norm, that means 20-30 years ago, but today, we all have dedicated graphics display devices (GPU, monitors) even in our pocket smartphone, and the way X11 works is holding Linux desktop scene back.

But without X11 there you can't show how much improvement Wayland has. We shall not forget X11.
I just happened to have discovered this website last week as well after sharing data on whether places I visited are wheelchair accessible as well using https://github.com/westnordost/StreetComplete.

I'd highly recommend everyone with an Android device to install that app. And if you're in e.g. a restaurant, take a look around, whip out StreetComplete, and mark the place as wheelchair accessible or not.
Personally, I think Mark Zuckerburg wants to run an OASIS. Merging Facebook and VR would be a long term strategy for generating the ultimate virtual second life.
As a software engineer working in a data interoperability role (not that I would claim authority, but pragmatic experience):

I'm not sure of the specifics but personally I prefer formats that don't evolve over time. So not changing a spec for over a decade should not be considered pathological but actually commendable, if the nature of spec is complete enough for it's purpose.

I know vanilla Markdown is too limited for some use cases. But that is no reason to "overwrite" it.
Eh. Haven't used Windows in 15 years and don't intend to in the future either. Linux would require a whole lot of fiddling (if I'd even managed to find a laptop with good hardware and hardware support to begin with). Macs have excellent hardware (yes you pay a premium for it). Good battery life. Good keyboard (up to 2015 models at least). Great touch pad (hardware and driver wise). MacOS has a good window manager, excellent applications like iTerm2 and Alfred that I wouldn't want to live without and would have to find subpar Linux replacements for. This sucks a bit since I've generally tried to keep to cross-platform apps and because of these I'm a bit locked in.

Oh and the consistent keyboard shortcuts across the OS (terminal included) with Cmd is soooo nice.

That said I'm using 2015 models (Air and Pro) as the newer ones haven't impressed me at all (had an MBP with touch bar for a year or so). Love the Magsafe power connector (which just gracefully disconnects when you rough it) and don't want to switch to USB-C and its adapter hell.

Once it's no longer possible to find proper 2015's anymore I might want/have to consider switching back to Linux (and spend a lot of time fiddling with everything), but we're far from there still - I recently bought a 2015 MBP with new battery for €800.

Edit: Unlike one other poster here I loathe iOS and think it's horrible (had an iPhone for a year so have some hands on experience) so I don't use features like AirDrop or handoff (even though it's super convenient between two Macs). And he mentions Touch ID which was actually brilliantly convenient on the newer MBP I had, but that's not unique to Macs. So yeah, the more you lock yourself into the Apple ecosystem the more benefits you get, but I've tried to explicitly not do that.
Compare the sha commit hashes of the top commit against the hashes from the old "true" repo. If they match the repo (and the history) has not been changed. Subsequent commits can be manually audited.
I made a read-only backup on IPFS in the likely case it gets DMCA'd.

git clone https://ipfs.io/ipfs/QmVJ6BtoavbWRJwWH8JmTd5Bf6i3zEzsecnBKTM...
I want Picasa + Web Gallery

I miss the excellent facial tagging that Picasa offered and none of these solutions offers any facial tags.
Sigh. The WHO said that China had found no clear evidence of human-human transmission but based on similar diseases it's certainly possible and health care systems should be prepared.

That is a responsible scientific response.

Your link says "By Jan 2, 2020, 41 admitted hospital patients had been identified as having laboratory-confirmed 2019-nCoV infection"

4 days after the first cases were identified.

Clearly there would be unidentified cases before that. Hindsight is very powerful.
Here is an anecdote of something that taught me, being a person at the time more unfamiliar with US culture, that perhaps in the US childhood is not seen in the same way as in my country and others (I mean just look at this map https://en.wikipedia.org/wiki/Convention_on_the_Rights_of_th... ). 13 years ago I went to an interview at the embassy to apply for my student visa. I was asked at some point about what I did during the 2 months I had spent in the US the last time I went. I very naively proceeded to truthfully describe my activities during those two months, one of which consisted of going to a public school for a short time (maybe three weeks). That was enough to get my visa denied and my tourist visa canceled. It did not make any sense to me that something so innocuous, which I did when I was eleven years old under the command of adults and not from my own will, would need to have, 7 years later, such "consequences." The interviewer of course questioned my knowledge of that word, and demanded proof that I had paid something to the school. I communicated with the school principal and managed to get a receipt of a $14 payment for buying a t-shirt, and got my visa which I had to renew after a year.
V7.1.0-RC.2 Release of PowerShell
Recent BBC doc on slavery mentioned the place as the hub for doing deals on humans. So there's that to consider too as you drink in the history.
Good job. I recruit for Facebook. Send me you resume.

What people also don't get is Match making is a big problem while making babies too. Our Facebook Parenting portal makes baby making simple by requiring a Facebook account.

But its been a hard sell and we need people like you to enlighten the herd.
You have been downvoted, but you are wrong. Most of the strangers who will aproach you on a political topic in public usually want you to sign something, or they are outright lunatics who try to drag you into their world.

And I wish it would be different. I think I had a nice and interesting political conversation with a stranger once in the past decade. That means it is not impossible, but it is hard. A good cafe certainly can do things to create the right atmosphere for this to happen more often tho.
Did Tea end the coffee culture in London (and Britain)?
I didn't mean "variable" when I said "anything". I was saying it didn't matter. Variable length would be valid, but so is a fixed 200 bit output.

The main thing I wanted to express is that "provably secure" doesn't mean no collisions.
which edition, because honestly i found Blandy book very little value in providing any explanation about rust beyond demonstrating page over page rust's equivalences in c++. it's just really a translation of c++ patterns into rust equivalences. no explanation, history, context about language design or idiomatic patterns from the host language. I don't know the history of The Book's date of publish/development vs blandy's book enough make this any more than a conjecture: it seems like blandy's book is a re-take on the book.

also, i am not saying The book is any good beyond a tour of the language. come to think of it, it's actually less like TC++PL or D&EC++, and more like the tour of c++.
As a physically disabled person who can’t leave the house much, I beg to differ. VR has already improved my outlook on life immeasurably.
> Physical Features: We collect information about your physical features and dimensions, such as your estimated hand size when you enable hand tracking.

> Environmental, Dimensions and Movement Data: We collect information about your environment, physical movements and dimensions when you use an XR device.

> We use information we collect when you use Oculus Products for the purposes described in the Facebook Data Policy under "How do we use this information?", including to provide, personalise and improve the Facebook Products (including seamless integration between the Facebook Products); to provide measurement, analytics and other business services (including ads)

https://www.oculus.com/legal/privacy-policy/

It's right there in black and white, they measure the dimensions of the participant and the environment, link it to a Facebook account, and use it to target ads.
Does it includes issues and open PRs? I think this is the most concerning part about Github: when you move somewhere else you lose important parts of the history of the project (that document known bugs, how features came to be, etc), unless you specifically step up and use some import tool.

There are Git-backed distributed issue trackers like Git-bug https://github.com/MichaelMure/git-bug (and probably other tools) that should be more used.

One could perhaps convert Github issues to git-bug and store on a branch of this IPFS Git repository.
Availability of cookies affects evaluation of teaching (2018)
> China has extremely strict anti-scraping laws

It might be the case, but the repo you linked doesn't support that claim very well, and the cases cited are largely irrelevant to the case at hand.

"Forbidden area #1: providing scraping-related services to criminal organizations". Three cases listed. The first is one programmer's personal account of being arrested, which is very scant on why; the only info I can glean: "I developed some sort of ML API which is then used by a criminal enterprise against some influential company for god knows what purpose". Hard to draw any conclusion from that. The second case is ML-based CAPTCHA bypass for credential stuffing against Tencent QQ, emphasis on credential stuffing. The third case is some sort of black hat SEO campaign against Baidu, the scraping part (if any?) doesn't seem central to the conviction.

"Forbidden area #2: scraping and sale of personal info". Common sense, irrelevant.

"Forbidden area #3: commercial use of unlicensed business data" and the following untitled category list three cases, all of which are mass scraping operations either from a business competitor or that seriously affects site operations (through aggressive scraping).

AFAIK there are a lot of low hanging fruits in the Chinese piracy scene not yet targeted, and there are enough small-time commercial operations involving copyrighted media products begging to be taken down, it's highly unlikely anyone will bother to target some high-barrier-of-entry tool mostly facilitating the download of otherwise public videos.
1. Bootloader such as grub/systemd-boot unpacks the Linux kernel binary and load it into memory. If the kernel is not compressed, it is loaded directly.

2. The Linux kernel booting main procedure, _start will be called, and setup all the relevant and important CPU stuff such as floating point initialization, various vector tables, setup paging, allocate memory space for PCI and interrupts, etc.

3. At this point Linux kernel part are done, it will pass the remaining to initrd.

4. Initrd will do userland loading stuff, like calling '/sbin/init' (sometimes /init). If this process cannot be found, a kernel panic is issued.

5. Feedback loop of userland and kernel stuff, at this point the operating system is functional.
New photo sharing platform for those who tired of Flickr and 500px (review link)
Platform link - https://photocentra.com/
I agree with your characterization. (I didn't always -- I actually advocated at the time for CommonMark to respect Gruber's wishes and create their own branding [1].)

[1] https://talk.commonmark.org/t/the-logo-and-name-should-proba...

Sure, Gruber didn't allow CommonMark to use the Markdown name, but I feel like that's not a super big deal compared to what he did do. The Markdown ecosystem wouldn't exist if Markdown hadn't been created in the first place! I'm not confident someone would have made something like Markdown if Markdown was never created: AsciiDoc and reStructuredText came out before Markdown but have not been as successful.

Gruber's original Markdown spec lacked formality -- and that's where CommonMark eventually filled the gaps -- but I think that Markdown's focus on user experience over technicality was the key to its success over competing formats and WYSIWYG editors (the real competition). By the time CommonMark came around, Markdown had already seen viral adoption; three of CommonMark's creators are from large companies that were already prominently using Markdown.

tl;dr I think the original Markdown spec and CommonMark are both significant contributions in their own right!