skysight-inc/HackerNews huggingface dataset:
...and if you didn't know that, you shouldn't be using git!

To be fair, one should always look up options you are unfamiliar with before using - and Stack Exchange is not an authoritative source.

--mirror

...Newly created local refs will be pushed to the remote end, locally updated refs will be force updated on the remote end, and deleted refs will be removed from the remote end... [my emphasis.]

On the other hand, if you are on a system where the behavior can be fundamentally altered by multiple configuration options, this will not necessarily help you much.

...This is the default if the configuration option remote.<remote>.mirror is set.
Section 230, is explicitly no censorship. The problem is that twitter has gotten big enough that you can't seem to punish it by removing its Section 230 protections. As that would essentially be the death penalty for the platform.

Hence why supposedly there's an exodus to Parler.
When You Import a Python Package and It Is Empty
So if we have a theory expressive enough to make statements about ordinary (Peano) arithmetic, we can always form a self-referential statement within the framework of this theory which we can not prove or disprove. So far, so good. Here is my question: What happens if we restrict/weaken the theory to preclude self-referential statements? Obviously, we will lose our ability to express certain arithmetic statements which correspond to self-referential statements in the original theory. But what else? Is that the only class of statements we lose? Also, are there any other kinds of statements that still make the theory incomplete?
Wow, I just tested this after reading this post here, never having heard of it before. (It's a little after 22:00 here, but I want to wrap up some loose ends from today on my computer, now that my kids are asleep, before I got to bed.)

I am sure YMMV, but this works surprisingly well for me, and I will sign up. I am one of those people who struggles to decide what to put on when working — usually some kind of electronic music like Juno Reactor, or instrumental metal like Russian Circles or Rings of Saturn instrumental albums.

Unlike those, while this brain.fm stuff is musical, it is not music I would even listen to intentionally for the sake of listening. It is different, in that it really seems like perfect background music.

I'm hearing it, but somehow I am not actively listening to it at all (which is the problem with putting on music I like). At the same time, the rhythm carries me along and I don't dislike it at all... Interesting.
As long as there is an escape hatch this is great. I absolutely loathe having to setup http to https redirects because it means the first visit for many users is completely unsecured. HSTS preloading is a hack. Why not just connect to https first?
I had exactly this thought recently when relatives watched a documentary about volcanoes!
Thanks :)

Yep, code's on GitHub. I'm more than happy to collaborate, there's heaps of things that need to be done.
git works off of snapshots which are blobs, and blobs are compressed very effectively, but if your file takes 30KB compressed then yes, 30KB compressed is being added for every white space added[0].

Another way to think of it, if it was diffs, if you had 1000 commits, getting to the 'head' would take forever because it had to replay all the commits diffs just to get there.

Yes, you could combine diffs & snapshots, but that in itself is a tricky complexity in an already very complex system.

[0] https://tom.preston-werner.com/2009/05/19/the-git-parable.ht...
You would have thought after 40 years there would be some standard GUI toolkit all the major OSes would adopt but stuff like swing, html, and TCL/tk are all we have...

and of course vt100 escape sequences for some reason.
After 2080, it will be able to reconstruct your life from photo and comments on HN.
On aggregate, a large collection of individually tiny annoyances can add up to a tool that's confusing to use.
Wow, totally opposite my view. As a family we always want to stay somewhere with a kitchen and a private lounge area - hotel suites are cost prohibitive to this, and a lot less charming.

When finding chalets or cabins/lodges for outdoor trips, Airbnbs are often much better located.

To me it is not so much hotels they need to replace, but a streamlining of booking vacation houses to the point where it is almost as convenient as hotel bookings are, but with vacation house amenities.
The main problem with keeping sites http is that someone in the middle can modify the content and inject arbitrary code, be it ads, crypto mining or just a redirect to a worse website.

Therefore I believe it should be a social duty to make everything https so as to ensure that we don’t create something that can be used to harm others.

I didn’t use to think like this until I actually tried it out by going to a mall and doing it myself. Whoever was accessing simple http websites for the very short end of a stick (metaphorically speaking)
>Could git have named some commands better? Yes, of course. If you don't know what git is doing internally on a checkout, it makes little sense. But this is being worked on.

Sadly these improvements rarely make it into the public consciousness because people don't pay attention to them and instead find stale or inappropriate StackOverflow solutions.
Nodes – A node-based visual programming tool to explore ideas with code
Depends, if you have people needing to do a (unpleasant) job, sure, they also care more about functionality, than form. Nobody cares about a smooth animation, if he cannot get his job done.

But given the choice, they prefer the better looking one. In consumer facing apps much more. Especially younger people, used to shiny websites/html point out quickly, how ugly something looks. And then not use it.
"Wasm can be fast but implies C++ or Rust."

Oh BTW, you can do WASM with Blazor (C#) now.

https://dotnet.microsoft.com/apps/aspnet/web-apps/blazor
It support a gigantic amount of website, including audio one. Most of the time, I use it to have an offline copy of a podcast, radio show or some video that I might need to look at wherever I am not guarantee to have an internet connexion (very useful when travelling).
It also has a lot of useful option like downloading the audio only of a video, choosing the quality of the video/audio which might be hidden in the website you are trying to watch it from, download subtitle (this is just so useful), you can pass ffmpeg options also to post-process the video in one go, ... There is just so many thing you can do with it. One last example : one of my computer really struggle to watch video/stream directly from the browser (for whatever reason), but with youtube-dl I can stream directly to VLC/MPV and it use 1/10 the CPU comparing to watching the same video in the browser.
That's what the documents the W3C maintains are supposed to be.
It's not about the object database, it's about what you see with git log.

History flow will show all the meandering around forever, but rebase will remove it and just put the most recent version of the commit on top of the tree. Ie, your log looks like you pushed just the perfect patches each time, every time, and the junk is gone.
I got a lifetime subscription for 90% off from a link posted on HN when brain.fm first started.

Anecdata: it is probably one of the best purchases I've ever made for workplace success/productivity. The focus music works (light focus in the app) and has served to block out workplace sounds, improve focus, and not be distracting in and of itself - normal music seems designed to induce various emotional states that aren't helpful for work or thinking clearly.

I think it's worth giving a try, and if it works for you then it's worth paying for. The app is certainly a lot better than it was at the start, and offers more options than the browser interface.

I don't find the sleep sounds so useful but a 15 minute 'chill' relax sound was often helpful when trying to get from a stressful state of mind to a calmer one, usually when going home from work.
And yet, the majority of the people do not care at all. I am actually over preaching the need for privacy, I just try to practice opsec daily and identify my failures and weak spots.

I tried to be a privacy purist: a smartphone without internet on a prepaid card running opensource software (likely with a backdoored baseband chip, but). Internet through rotating VPNs only on incognito browsers with anti-fingerprinting plugins, no sms'es, personal email on a self-hosted server with at-rest encryption...

All while gaining absolutely nothing out of it, but inconveniences like filling out captchas and needing to go extra steps to open up wikipedia. That behaviour itself was a failure in opsec - I am sure that it put me on a watchlist somewhere.

I'm a "normie" now, trying to emulate the "noise" that is around me. I believe that's much more a viable approach than being a hardcore privacy-ist(?)
I wasn't aware of this part of dnscrypt-proxy, thanks for sharing. I find network-level blocking and browser extensions work complementary.

In a broader sense, I guess the larger concerns is malware and trackware on various devices where DoH is used maliciously. Especially smartphones. Granted there is nothing stopping them today, but the normalization of DoH will put it in arms reach for everyone.
Get in the door as IC and then gradually and informally be social, ask to be in meetings, and do "free" glue work. If you're good at it and it's valued, over a few months you'll naturally be spending more time on that and slowly be assigned fewer and fewer IC tasks, after which you'll have a conversation with your manager about which direction you'd like to take, and then you're defacto glue even if that's not your job title. (I'm sure you could get a job title change if you wanted, but SWE may be a slightly higher pay scale than TPM. ;)

N.B. this advice is really for "normal" times; if you're remote it may be harder or easier to do the social part necessary, I have no idea.
Don’t the mandate lots of added vitamin D in foods? I was reading vitamin D deficiency is correlated with COVID deaths. The UK is mailing out 400 IU doses to the elderly, but it ought to be 5000 IU.
There was a thread on /r/Java about Java GUIs. Seems Jetpack Compose is a potential new player that looks promising. No one seems to know if JavaFX or Swing is the recommended route.

https://blog.jetbrains.com/cross-post/jetpack-compose-for-de...

https://www.reddit.com/r/java/comments/jrqjex/whats_being_us...
Theres a guy I found on YouTube who interviews a variety of people from rough backgrounds with negative turnouts (i.e. addicts, prostitutes, various criminals, KKK members, people who suffered severe physical trauma). For a while he was doing a lot of the interviews around Skid Row but a good number of his vidoes recently that have been with people in Appalachia. Its really interesting to hear how some of these people grew up, knowing how it wasn't that long ago, compared to the present.

https://youtu.be/Uqwy0dPRVOw
The same tech could be used, more or less, on pretty much any volcano.
You're doubling down on your ignorance, arrogance, and lack of imagination.

The major non-corporate-drone use of VPNs is to confuse the site you're communicating with about where you are, not to conceal the content of the traffic.

There are many other uses, and more things in Heaven and Earth, Horatio, than are dreamt of in your philosophy.
The IDFA replaces the former use of a device ID that is unchangeable, but you can generate a new IDFA any time in Settings.
https://github.com/JetBrains/intellij-community
I interpreted the original claim as being:

> There's really no reason to think the person turning the bolt necessarily knows what size the bolt needs to be.

and also steel-manned the final sentence like this:

> In the same way a web dev doesn't need to know how docker works

As such, the (claimed) existence of one person who regularly uses very different skills doesn't disprove what I think jacobsenscott was trying to say.
Seems like an obvious play on "a monad is a monoid in the category of endofunctors, what's the problem?"
How is this not a shortcoming of the GUI implementation? What could a CLI do that a GUI could not?
Tickets are non-transferable but bribery is still a thing, especially where demand far outstrips the supply.

Second, fake IDs are easy to make.

Third, it's impractical to enforce on the ground. Indian Railways is relatively open access compared to airlines. On average, trains begin boarding 15-30 mins prior to departure and have a very high number of passengers. With an avg of 16 coaches per rake, with each coach having 60-100 passengers, each train is carrying 960-1600 passengers. Some trains are even longer and most trains are over capacity because 2nd sitting has no reservation and people just pile on as far as there is room in the coach. It's pretty impractical to verify tickets of 1000+ people along with their ids. If you are departing out of a major city, its usual for TTEs to verify tickets after 2-3 hours (and after smaller stations have been crossed.)

Tickets have been hogged and scalped for a long time in India. I'm the first in my family who has no concept of bribing or buying scalped tickets or engaging an "agent." Everyone of the previous generation has plenty of stories about their experiences before. There is still a long way to go to improve access but I will also not deny that there has been a significant improvement compared to my parents experience.
> Resisting GUI's is not a good idea

I would completely disagree with this, anything that adds layers between you and git creates more opportunities for misunderstanding and corner cases.

Resisting a feature branch/merge workflow is what's a bad idea.
Depends a lot on the question of whether the antibody test can distinguish the immune system's reaction to the virus from the immune system's reaction to the vaccine (or in this case: to the proteins built from mRNA blueprints in the vaccine). If they can't, and this is quite likely given that they all target the same spike protein, the outcome would hopefully be positive for all of the vaccinated.
The miscalculation on the biological capabilities of Iraq was a decade after the discovery of such capabilities of the Soviets. The Reagan "trust but verify" wasn't sufficient to uncover these unknown unknowns.

https://en.m.wikipedia.org/wiki/Soviet_biological_weapons_pr...
It feel microsoft have changed their minds about this a couple of times, though I haven't tried for a few years now.

In all the windows store is unfortunately just an unnecessary dependency because I don't trust I want to use it tomorrow.
Photoshop for Apple Silicon (Beta)
Ansible let's you elevate to sudo when SSHing in as a non-root account. You can do this for on a play-by-play basis or for all plays.
This is nothing that wasn't possible before. Taking the traditional example of hosts-blocking the Adobe activation servers, what was stopping them from just querying 1.1.1.1 from the app? Or even falling back on a hard-coded IP?
Especially with IPv6, bypassing DNS-based blocks is rather trivial - the main reson we don't see it all that much is that companies simply don't care to do it. Users of PiHole and similar are usually the kinds of users who will figure out a way to block whatever they want one way or another, so there's no use in trying to stop them. Until we get hardware-enforced app signing (big middle finger to Apple here) we can block anything, regardless of DoH.
I assume you might be looking for books of a similar (technical) flavour, of which I don't have too many to recommend, I'm afraid. However, here's some (across different genres) that are in my memory at this moment:

Finance/statistics :
The Black Swan by Nicholas Nassim Taleb
The Drunkards Walk by Leonard Mlodinow

Math/science history :
Euclid's Window by Leonard Mlodinow
A Short History of Nearly Everything by Bill Bryson

Physics:
Newton's Principia for the Common Reader by S. Chandrasekhar

Lit:
The Brothers Karamazov by Fyodor Dostoevsky
House of Leaves by Mark Z. Danielewski
East of Eden by John Steinbeck

Philosophy:
Zen Mind, Beginner's Mind by Shunryu Suzuki
Any of the upanishads but probably Kena Upanishad, Isha Upanishad, or Prashna Upanishad at first (selected for (relative) ease in readership by yours truly)
Zen and the Art of Motorcycle Maintenance by Robert M. Pirsig (for a gentle introduction into Eastern thought)

I'm missing countless others but this is what I have right now. Thanks for the prompt and happy reading! :)
It can be done in real time, if GPU will provide low detail sketch of the next frame, then will
continue work on it, while filling the gap between A frames with optical flow frames.

Also, instead of producing of a static image, GPU can calculate and show an animated image, e.g. mp4 fragment.
Sovereignty – The Freedom to Be You
Before git won there were some competitors with better command-line, like: http://wiki.bazaar.canonical.com/BzrVsGit
> but you can generate a new IDFA any time in Settings

What like 0.00001% of users would do. That option is useless in practice.
The control panel does have 2FA via TOTP and Yubikey already. Webauthn is coming. We're working on a solution for the mailbox 2FA, hence the (yet).
From the book:

> You have two nearly identical 22K objects on your disk (each compressed to approximately 7K). Wouldn’t it be nice if Git could store one of them in full but then the second object only as the delta between it and the first?

> It turns out that it can. The initial format in which Git saves objects on disk is called a “loose” object format. However, occasionally Git packs up several of these objects into a single binary file called a “packfile” in order to save space and be more efficient. Git does this if you have too many loose objects around, if you run the git gc command manually, or if you push to a remote server.

> When Git packs objects, it looks for files that are named and sized similarly, and stores just the deltas from one version of the file to the next. You can look into the packfile and see what Git did to save space.

https://git-scm.com/book/en/v2/Git-Internals-Packfiles
This is a really good point and I'm not sure how to really tackle it other than ask if they're also comfortable with the same being true for their families as well as themselves?

There were cases where lack of privacy for public figures family members have caused issues[0][1]. I don't want to focus on that specific story, it's just an example.

This might be a case where people are happy about that information being public? Or maybe they have a more nuanced take? For example, report that it happened, but don't print their name / picture? (for example both articles below did name, but only nytimes seems to have also done picture)

Where you draw the lines on this stuff can be really important.

- [0]: https://www.independent.co.uk/news/world/americas/us-politic...

- [1]: https://www.nytimes.com/2020/06/01/nyregion/chiara-de-blasio...
The (unlikely) fact the person has done nothing wrong seems to be an irrelevancy: an immoral government will target per anyway.

See model-citizen Uyghurs becoming targeted by the Chinese government just for being Uyghurs.
I see your point, but in my opinion, part of a job is knowing how to use the tools for the job. New, easier to use or more efficient tools could be created? Absolutely, but knowing how the tools work is never a disadvantage, IMO. And at least we software engineers have an advantage there in that most, if not all, of our tools are themselves software.

For instance, an analogy with zoologists I would make is knowing how to set up their observation equipment in whatever remote area they're doing their research. They have to do it and they have to know how to do it, and maybe they even have to do troubleshooting in case something is not working quite like it should. None of that has to do with zoology per se, but it is part of a zoologist's job.

They can get better and/or more reliable tools over time? Absolutely, which is what I think most of TFA is understandable. I happen to think that git is already a pretty good tool, but I absolutely do see why many people disagree.
Perhaps you should get some better laws in your country to prevent this, instead of ruining the web for the rest of the world?
Yup. Also recommend to those interested in existential philosophy and artificial intelligence as well. It really is a terrific book!
I am a web developer and I'm only used to developing in JavaScript and a complete beginner in Java.

I had an idea for a desktop app and wanted to try out something in javafx as that's what google pointed me to.
The build setup for java projects seems to be incredibly complex and I don't find any sort beginner friendly tutorials related to javafx that work on windows without any issues.
Then I looked at Android development setup and it's even more insane in size and complexity.

I think if the entry into java app development was as easier as electron it would be amazing! I get that it's a well mature platform with a massive ecosystem but it needs to be have something like npm or yarn for javascript development.

And importantly are there any thin and light JVMs that can be bundled with this? I'm thinking AdoptOpenJDK openJ9. It seems to be well suited for this use case. would it be efficient in the RAM and CPU usage? If not I'm not sure why this would be any good since we can develop stuff much faster with electron at the moment.
A long time ago I suggested a new uri prefix - "secure://" - that would be a synonym for "HTTPS-only". If you visit a secure:// link, every single page load in the session would require strong encryption, secure cookies, etc.

The idea was to allow http if needed, and alternately allow strict https if needed, in a backwards compatible way (visiting a https:// url would work as before, but visiting secure:// would trigger the strict security for the rest of the session). This way you have the best of both worlds and the user (and server) get choice/agency.

The purpose was to stop MITM. The ability to MITM only requires blocking port 443 and letting the browser fall back to 80; this works even against HSTS because most people will just try other URLs until one works. So you need a way to avoid MITM at least for some specific requests. Banks, e-mail providers, etc would say "type in secure://mybank.com in your browser for strong security".

Another option was a "secure only" button on the browser. It seems they're moving towards this. They've buried it in preferences, which hopefully they'll change to the front UI. But I still think the secure:// links are easier for laypeople.
I suspect it’s the same reason socials love algorithmic timelines. These things are not optimized for efficiency. They are optimized to keep you on the site and to influence you. Amazon also makes money off sponsored results that get foisted into your search results, etc.
Does that mean you agree with

>You might say "the consequence is that they look bad", but they don't, at least not to the people they care about - mainlanders. They own and/or control the news media in mainland China. To produce an anti-CCP news piece in China is suicide for these companies.

Because that claim is wrong. Remember the cute stories earlier this year about Chinese internet users using various methods to circumvent censorship of a Renwu interview with Dr. Ai Fen: https://qz.com/1816219/chinese-internet-rallied-to-save-a-ce... ? Renwu is a Chinese magazine, publishing that interview hasn't been suicide for them.
Sure! Iceland for example has so much geothermal energy that they can clear their sidewalks from snow by heating them. Amazing, isn't it? (Searching for "iceland heated sidewalk" should bring up enough results if you are interested)
They were also the first country outside China to detect COVID19 patient
I'm starting to create a list of abuses that have happened to people who have "nothing to hide". Are there any examples from the community here?