skysight-inc/HackerNews huggingface dataset:
For those who believe thinking or discussing a story is a 'spoiler', don't read on.

Both contain the same contradictions:

How can a computer calculate everything about the universe or a part of it with any degree of accuracy, without having space to store the information (i.e. having enough bits to store information on every subatomic particle and its state)?

If you treat the earth as a closed system say to try to get around this, your simulation is incomplete (e.g. excludes the influence of the sun).

An example from the article:

this thing could execute an infinite loop in less than ten seconds

In what sense could an infinite loop take 10 seconds? In what sense can you brute force the halting problem?

An example from devs:

The universe is a deterministic system, ergo the future can be predicted with full accuracy with enough inputs. But there are not enough qubits in the universe (which someone evidently told them, because it made it into the script, but is then blithely ignored).

https://physics.stackexchange.com/q/8898
What would be the benefit of disproving such a rumour? No company is going to turn down business with Samsung either way, while a public showing that you are fit may contradict your lawyers in their (current or near future) attempts to dodge subpoenas.
Would it not be possible to move to some decentralized Github alternative?
pari-gp[1] is fast and powerful once you get the hang of the rather strange syntax (look for examples).

[1] https://pari.math.u-bordeaux.fr/
Gap: Groups, Algorithms, Programming: System for Computational Discrete Algebra
I realize this is old news. I just wanted to point out github reinstated popcorn time in 15 days. There's a much better case to be made against popcorn time than there is for youtube-dl, so I fully expect github to be reinstating youtube-dl as soon as they file counter claim.
That bit I have posted before. The rest, nope.
How to prepare for the coming CPU confusion
No, youtube-dl is illegal for including code to decrypt youtube video request signatures, which are scrambled specifically on most music videos, which a german court ruled is an effective technological protection measure.
Probably a dumb question, but don't federated services eventually lead to centralization? for example SMTP is federated but most users are on gmail, IRC is decentralized but most users are on freenode server, etc. users tend to choose the services/instances with the most users, which is what makes github currently very valuable.
So true.

But to me as a long time Gitlab fan this shows the power of using Gitlab. Because if they were using Gitlab when the DMCA hits they could have easily migrated to their own Gitlab instance.

While Github would have to export things into another format. I'm sure people have worked on exporting data from Github to Gitlab but it seems much easier to just use Gitlab.

Edit: And of course besides data, you can't migrate contributors as easy. Which is also where Gitlab is powerful because it's open source and people are actually discussing federation in it. I doubt Github will ever get any kind of federation outside of microsoft services.
No information whatsoever about the OS, and no link to the source code therefore I can't figure it out, either.

Flagged. Way to waste my time.
Actually it worked out pretty good here. It keeps my head free of crap so I can concentrate on making cool stuff in my own time with my own choice of tools.
> That doesn't leave many exceptions.

Examples of programs which are useful and terminate are batch programs. Besides that, even in a server, you may want to ensure that a subset of the program terminates. For instance, if you're using a serverless architecture, knowing that your lambda will terminate may be useful.

Much like the separation between pure and impure functions in fp, having a distinction between total and non-total functions means that you can limit your non-total code to a couple dozen LoCs, which is a reasonable thing to manually check.

> But I don't think this is very useful, because even in safety-relevant, hard real-time contexts, termination is not sufficient, but termination within a certain timespan.

Once you've broken the non-termination issue, it becomes much more reasonable to start working on time estimates. Basically, once you've said that the number of instructions needed to solve the problem is a function of your input size, calculating that function becomes a possibility.
Prediction of Real-Time Loneliness and Companionship Type Using Smartphone Data
Towards a Catalogue of Software Quality Metrics for Infrastructure Code
People do, people who end up leading large groups of people don't.
Edgar Wright's 1k favorite films in chronological order since 1920
> Totally agree that most PCs have terrible analog sound quality, often plagued with EMI noise and other distortions.

This hasn't been the case for many many years. Most decent motherbords come with on board sound on par with 200 usd external DACs. Thinkpad laptops as well. Did blind tests with coworkers who owned DACs - they could not tell.
Not true, they closed down movie theaters etc. and citizens were supposed to be self responsible for not spreading it.

https://www.politico.com/news/magazine/2020/07/03/what-swede...
Because I didn't want to write down every corp with more than 10 people in it.
git pull the repo, cd into it, and do `git log --follow -- youtube_dl/extractor/youtube.py`.
Only one in the USA
I'd be curious to see one. I never really looked because when I bought my headphones I wanted to have noise-cancelling and for them to be compatible with phones without any additional gear, so BT was pretty much the only choice.

However, I remember some fifteen years ago a friend of mine had a pair of wireless headphones that had no perceptible lag when playing games. They weren't USB, they would plug in a standard audio output, though.

I also have a Jabra kit with a base that connects to the computer via USB and a wireless headset. This seems to have much less lag than BT, but I don't know how the two communicate nor how little lag there actually is.

I expect the "gaming" USB models to work similarly.
What? Pretty much every EU member ratified the same WIPO treaties and so have almost identical laws to the DMCA.
Is it 2018? We have 5G now.
Gitee.com is a popular Chinese alternative. I'm pretty sure it'd be safe there.
Ask HN: Markdown or Asciidoc as a universal text source format?
I've seen various stories here on HN with comments detailing day-to-day uses of markdown along with relevant tooling for conversion or transformation to different formats. Right now the #1 story on Pandoc is one such.

So Markdown definitely wins on popularity. But most comparisons to Asciidoc seem to declare it better on technical merits (especially the reliance on different Markdown "flavors").

Which do you use? Have you tried both?
People who lead groups want power. You can get more power when you lead more people, or you can get more money and turn that into power.

Which is why I'm a huge fan of sortition as a way to run groups of people larger than a dozen.
As a lawyer -- If you are actively running a commercial enterprise, which you seem to be, these are questions for an attorney in the field. Not me, unfortunately, licenses were never in my area of practice. But you probably want to take the time and bit of cash to make sure you're not potentially opening yourself up to litigation.
I found the following two resources to be excellent for rust teething issues:

Rustlings: A set of exercises to "fix" to get you used to compiler error messages. https://github.com/rust-lang/rustlings

Rust by example: A collection of short runnable examples to get you familiar with the standard library. https://doc.rust-lang.org/stable/rust-by-example/
Why not use LyX as your front end into latex/Tex?
your profile link at the bottom of the page is a 404
A man who taught Uber how to say sorry
Schedule jobs with systemd timers, a cron alternative
Why are you still using a Mac?
Markdown seems to be winning by a long margin. The simpler, not necessarily the better, usually wins.
Kubernetes Tips: Give Access to Your Cluster with a Client Certificate
Endorsements
Well, there can be a lot to be understood in why something is defined the way it is. For example, a red-black tree is defined the way it is because it's a pretty simple structural way to force the tree to be "pretty well balanced". Why does it force that?
It is.

The DMCA makes circumventing "effective" protection measures illegal. "Effective" is a term defined in law and basically means any hoop you have to jump through to get to copyrighted material, no matter how flawed or trivially bypassed. The restrictions in place to allow YouTube videos to be only downloaded through YouTube count.

Youtube-dl is absolutely illegal software.
It's not high end. For 5G you want Snapdragon 8cx gen 2 based devices.
From that list I think the only really surprising one is "3 NOT IT (1, 2, NULL)" returning NULL. The fact that ARRAY_AGG (C) and COUNT(C) treat NULL differently is also a bit surprising, though in terms of usefulness I think the current behavior is not bad.

I also think the definitions is relatively clear: NULL means "unknown"/"missing data".

The MIN, MAX, and AVERAGE of an empty list is N/A. SUM could have been 0, but then SUM(X) / COUNT(X) would be different from AVERAGE(X).

The count of tuples (COUNT(*)) in an empty relation is 0.

The count of pieces of data on column X (COUNT(X)) of a table ((1), (NULL)) is 1.

If we have 2 tables A(ID, C1), VALUES ((1, 2)), B(ID, C2), VALUES ((2, 3)), and try to ask what value B.C2 has for A.ID=1, the answer can only be NULL.

IS NULL and IS DISTINCT FROM NULL are explicitly treating NULL differently, so it's not that surprising that they can be both true and both false.

Records and Strings are not the same KIND of types, so I don't see anything surprising about the fact that one can contain NULLs while the other can't. It's like complaining that a record in Haskell can have a Maybe field, while a String can't have a Maybe character.
0 and 0 in Haskell
I think you run into the barrier much faster in something like sports because the gap is so easily measurable. E.g. it just takes one 100m sprint to see how slow you are.

Whereas with intellectual work it's often hard to assess the gap, not least because the further you are from closing it, the less understanding you'll tend to have of how hard the remaining parts are.
Sage, Julia, or R
If it is comparable to laser focus in other phones, it should be very fast for close up objects and useless for further ones.
As an Austrian I don't think it has been mythologised. It just doesn't fit with the accelerationist philosophy of many places anymore. When I studied in Vienna (a city famous for it's coffee house culture), you could just go there, drink one coffee and stay for 4 hours, meet people, chat, discuss etc. When you go to a καφενεíο in Greece things are pretty much the same still (only that you drink a Nescafé Frappé instead of their warm counterparts).

In my eyes the metropoles of the anglosphere are too transactional, too monetized and to much under (economic) pressure to allow for such inefficiency. In London I'd probably feel guilty for staying much longer in a café than my drink lasts (or someone would tell me to leave). If you have places that don't have such policies, they at least signal this with their interieur and their throughput. Most starbucks are certainly not cosy places that I'd like to spend my day in given the choice between a starbucks and a traditional viennese coffee house.
You still have to pass your logging code to every function that does logging right? And if you add logging to a function deep in your call stack you have to go all the way up the stack adding it as a parameter everywhere.

It's rigorously correct, but I feel like it's a step too far for most programs.
That just proves that Youtube-dl is intended to circumvent copyright protection measures. Those obfuscation measures count as "effective" for the purposes of the DMCA. Trafficking in software to circumvent them is a felony. GitHub and Microsoft could find themselves criminally liable if they do not take it down.
https://sw.kovidgoyal.net/kitty/kittens/icat.html
Ask HN: What happens when. PC boots up and loads Linux?
Can anyone recommend resources for learning, the detailed steps of a PC booting a contemporary Linux?
By what definition? If anything, sums are defined as cardinalities of sets, rather than defining cardinalities in terms of sums.
I used pandoc with filters written in Haskell for my blog. I was surprised how far I could stretch it before I had to switch to Rust with pulldown-cmark (just went for Rust for learning although it turned out to be a good decision).

Pandoc filters allowed me to transform the AST in useful ways. For example I turned the image tag into HTML figures with captions, used the video tag if the URL was a video, and called ffmpeg to encode the video in another format for browsers that didn't support the other format.
Isn't that evidence for the case though?
youtube-dl has code to see through obfuscation methods which are only available to specific YouTube partners.
If you're a tool for downloading open, not copyrighted videos, why do you need that?
Using port number in Windows host file – Stack Overflow
Tangent: Letterboxd is the best new social network. Much more low-stress than Twitter and is now my first choice for looking up anything to do with film. It seems Amazon has allowed IMDB to rot on the vine since they acquired it.

My profile btw https://letterboxd.com/doomlaser/ — I love the little details like the histogram showing the distribution of a user's movie rankings.
Used this tool few years ago on a ZTE router. Worked like a charm without any problems
Thanks! I've often wondered what I'd do in the same situation. But my father put it as he took those risks so I wouldn't have to. I'm grateful to all our combat vets. We should never forget what they did for us.
How to extract all links in a website using Python
Fascinating isn't it? Makes you wonder why people in New York and California even bother to vote at all.
https://en.wikipedia.org/wiki/Edgar_Wright
The article mentions Te Uruwera and the Wanganui river but Tāne Mahuta 'Lord of the Forest' - New Zealand's largest known living kauri tree could be argued to personhood more clear-case (IMO) than any river or forest. It's not yet been granted such status but watch this space as it's somewhat of a no-brainer assuming the old geezer doesn't expire from old age/Kauri dieback beforehand. The cynic in me believes it hasn't yet attained this status only because no individual interests exist to bring the necessary legal precedings.

Concepts of personhood and ownership are difficult to pin down in the context of NZ's bi-cultural society and history. Spend time sympathetically observing and you'll likely come to see everything through a kind of cultural bifocal - The western interpretation as seen in TFA constitute a legal definition of personhood and boards being established to provide a voice for Te Uruwera and the Wanganui river respectively. This might make sense to a western observer but in Maoridom the view is not so prescriptive and any attempt to cement the meaning of (what I understand as) a physical manifestation of the god that birthed mankind itself gets quite weird quite quickly.

We're yet to fully appreciate the ramifications of this approach because the legal groundwork as mentioned in TFA only really sets the stage for legal challenges - eventually case precedents will follow and they will provide clearer groundwork. My hot take is that we're already seeing major flaws with the use of boards to manifest voice and agency - They are vulnerabile to being used to advance the interests of individuals or (at best) whole tribes - These interests don't even represent a consolidated will of Maori peoples as a whole (and if such a viewpoint could ever be gathered, the jury is out).

It's fascinating to see this as a microcosm of fulfilling te tiriti, wherein the duality of interpretation of the founding legal documents of the nation - produced and signed in two different languages, neither of which actually agree with each other (BIG OOF) continue to provide wicked popcorn-fodder even today. At its core as best I can surmise: There is no accurate translation of mana or mauri to be found; all else follows.
The Physicist’s New Book of Life
You are comparing Focus assist light with LiDAR, not the phase based or contrast based focus.
There's no reason to believe this. If facebook was uploading scans of your home for some reason, it has to be disclosed in the privacy policy. If you think the privacy policy is lying, then it's easy enough to find the code responsible and create a scandal.
Humans Judge Machines [pdf]
NewPipe is actively looking for a method of mirroring the code + (and more importantly for them) Github issues and PRs https://github.com/TeamNewPipe/NewPipe/issues/4619

Related suggestions have been https://github.com/MichaelMure/git-bug and https://github.com/google/git-appraise . The former (git-bug) allows decentralized issue management by storing the issues and conversations on separate git objects, while git-appraise allows the same but for code reviews and thus (I assume) pull/merge requests.

IMO, both very nice projects that open-source devs might want to investigate in order to be independent of their code hosting platforms. Or even better, contribute or donate for their continued development. The current dependence on hosted issue + PR management is revealing its weaknesses.
Precision metrology closes in on dark matter
Times were different back then. You could print stuff, but only so many people could read. So even if someone wrote something in a pamphlet, you wanted to find your buddy who could read to explain it to you, with the added benefit of lively discussion. It was also an interesting time in the world where a lot of new thought was appearing.

Nowadays, there's some subtantial differences. Intellectual authority changed. You can't have a credible intellectual discussion about anything without having heard of a certain set of old guys anymore. Their intellectual heirs sit at universities and tell everyone where the thinking went since those days. This is both good and bad. If you want a serious discussion, you need to have done some homework, and you won't find a bunch of people who understand your interest area in a pub. You might find them on various online forums, a relatively recent thing.
As soon as the pop-up started playing I was outa there.
People who care about VR are the least likely to care about facebook. Its a very bad fit i wonder why they haven't broken out yet.
Anybode else feeling reminded of the Carousel in Logan's Run by the first picture?

(With the caption "Actors run through the air, eager to join the Communist Party, in a propaganda musical in Yanan.")
>llegal for including code to decrypt youtube video request signatures

No it's not, in Switzerland for example it's legal to use tools to remove stuff like DRM, if you DONT redistribute the decrypted stuff.

What a German Court says is often not relevant outside germany.
The problem is finding a good alternative and getting everybody to move there.
Xmonad is another famous one
Whoever threatened this kid with jail is the one that belongs in jail. Gross abuse of power, sociopathic incompetence, has no place in civil society.
They don't want to end up in jail. It's a felony to traffic in circumvention devices under the DMCA. YouTube's obfuscation methods count as "effective" copyright protection per the law.

GitHub never was a safe place to develop illegal software. For example, you could expect them to take down hacking tools lickety-split.
like using Middleware
Jest and power asserts is what I use now. It is the best you get but still an order of magnitude behind py.test
I don't think facebook has ever launched a patent infringement lawsuit, except as a countersuit.
Here's the same list over there: https://letterboxd.com/crew/list/edgar-wrights-1000-favorite...
My pet theory is that they both require perseverence to get to a fun level and once there doing it provides intrinsic reward.
I have no first hand experience, but presumably there is an algorithm making recommendations of tweets to users. I would very much expect big accounts to carry some weight. So perhaps one approach is to follow many big accounts that have similar interests, comment often, hopeful get followed, and eventually get comments to you tweets, which then get seen by big fish followers.
Floating gates use Quantum Tunneling, these are the building blocks of flash memory.

https://en.m.wikipedia.org/wiki/Floating-gate_MOSFET

Tunnel junctions are used in applications such as photovoltaics as well as high frequency circuits e.g. tunneling diodes.

https://en.m.wikipedia.org/wiki/Tunnel_junction

https://en.m.wikipedia.org/wiki/Tunnel_diode
http://www.ce.uniroma2.it/~pellegrini//didattica/2017/aosv/1...
> I suppose that if trying to recreate one, you might want to base it around the service of a novel stimulant that can't be found elsewhere that encourages frenzied socialisation. MDMA cafe anyone?

aren't those just called techno clubs?
Here's a video of a copyright lawyer agreeing with GP for 1h20min: https://youtu.be/wZITscblMBA

In short, what a german court says will absolutely influence what a US court says in the context of an international copyright treaty.
So the reason they require a FB account is only pure altruism to create a better multiplayer experience for customers? That's cool and not absurd at all.

Tuning the omnipresent Algorithm by your actions in VR might not be a major driver, sure. But locking you into the FB ecosystem and by extension increasing your exposure to FB controlled "personalized" content sure could be. Of course it will also feed back into the Algorithm as well, because why not.
> Not sure why you say “even iPhones”

Because Apple is a trillion-dollar company.
Self-ownership by non-intelligent beings could be implemented as collective duty on the society to represent the beings' interest in the best way possible just like we do with humans with severely damaged brains.

Obviously the current law has no mechanisms to implement it and probably shouldn't, although related lawsuits would certainly be interesting.
I think this is highly dependent on how high-end the computer is or at least who their target user is.

My (old) MBP sounds great to me. My (much newer!) HP ProBook has hissing and various random noises when I move the mouse, and I can hear this even with cheap headphones tailored for conferencing. Don't know how "accurate" either one is, but no hissing wins for me every time.

I think you nail it with most decent motherboards. There are a lot of computers on the market, especially laptops, that are just cheap and try to get away with whatever low quality components and engineering they can. In particular, I'm thinking about HP "enterprise" models which are just awful. Their target audience doesn't really care about audio quality, so why would they? Most people don't have a choice when it comes to their work computers, so they may end up stuck with something mediocre. Then again, most people don't care, so there's probably not much hope to see any improvement on this front...
What is scuttlebutt?
How does it double the resolution in both axis? Or did it waste half the resolution to get square pixels before?

edit: it did: two spaces here https://github.com/trashhalo/imgcat/commit/1f9ef8c888fa93e1e...