skysight-inc/HackerNews huggingface dataset:
Tags are immutable. Branches are mutable.

You can add to them and refactor patch series that are on them, equally valid in the eyes of git.

For example a development branch has no implied "promise" about stability of its history, it is much better to not only refactor the code but also refactor the history so sub-patches are squashed into the single feature patch that they logically belong to, and not spawn lives of their own. There is no reason to run that kind of development branch like a stable "branch of record".
Well if you want to know how to unpush, here's how. You can also use this to just uncommit locally if you made a mistake, too.

>git reset --soft HEAD^

That preserves your work, but it uncommits it. You can now make changes, re-add files, and recommit. If you want to destroy the last commit instead, replace --soft with --hard.

>git push origin +mybranch

The plus sign forces an overwrite of the remote branch.

I've used this technique countless times, for years. It works fine.
Cant make it smaller but there is a preference option to hide the menu bar in the General preferences pane
Automation for starters.
Doordash says in IPO its pay model is a risk to its business
And a majority of gig workers also were in favor of it.
Firefox 83 Release
> The world is a scary place.

I can’t agree with this. Life is hard but isn’t scary. I’m far more concerned about losing my home to a natural disaster than terrorism. Fear is the media’s new currency.

There’s nothing to be scared of, except maybe a dystopian future where you can be jailed or killed for your beliefs.
The title of the article should be "1% of people cause 1.25% of the total global CO2 emissions", considering that aviation accounts for 2.5% of CO2 emissions globally.
> I think it's decidable, as long as we agree on our definitions and assumptions.

I guess, you mean if I accept your definitions, assumptions, and their underlying premises which will most likely lead us to conclude that your point of view is more reasonable, don’t you? :)

That is, yes, once we agreed on every underlying concept scopes and the rules to play with them, chances are far better that we agree on the conclusions. But the first part is actually a big part of what is so difficult with communication, isn’t it?
I really like ProtonMail. I expect them to get bought and then inevitably ruined, though. But until then, I'm a happy user.
I think you're possibly confused about what JNI is or what the discussion is about.

JNI needs binary blobs. The new FFI won't. So we will not need binary bobs when we get the new FFI.

See?
The actions for the commands ‘commit’ and ‘push’ were always confusing to me.

‘commit’ will take a snapshot to your local branch. But then, you have to “push” it to the remote branch.

I understand what it’s doing, but the choice of words seem wrong. It sounds like “push” has a lower importance than “commit”. But because “push” will sync your local changes with the master remote system, then this obviously has more importance.

Instead, I think they (Linus) should have used something like “snap” for snapshot, to take a snapshot of your local changes. Then “commit” would be used to push your local changes out to the remote server or repository.
If we're going to talk about the "right" thing to do then don't run closed software or anything that doesn't do what you want and the problem goes away.
Scapic Joins Flipkart to Take Augmented Reality to a Billion Indians
The 1% figure sounds insane, but remember that "11% of the world’s population took a flight in 2018". In other words, about 10% of the flyers cause half of aviation emissions.
There's one use case for Ansible that it handles amazingly well that seems to get ignored pretty frequently. It's an extremely useful tool for setting up the same machine it's running on using the local connection type. I've been involved in projects where we setup a small-ish bash wrapper script that can be curled onto a linux machine or mac that installs Ansible, asks a few user specific up front questions, and then installs the rest of a relatively complex development environment. It took a while to build, but makes setting things up so much easier to deal with.
Access to GPT-3 and how it looks like inside
AWS Step Functions Use Cases
Which is explicitly a lower-level optimization applied to files well-suited for it and not related to the concept of a commit. A commit does not reference a diff.
Probably because removing branches from the remote doesn't make the commit history inconsistent with any copies made before the push. That seems to be the only case where git second-guesses what you tell it to do.
> But git stash does keep track of what it added?

Added as in staged

> If your current changes apply to files which haven't changed between said branches, you don't need to stash your changes when switching between them.

Yeah, I know. So why do I have to stash when I've changed an unrelated part of the same file?

> The command for that is `git merge`.

But that doesn't know which branch is upstream, I have to tell it explicitly each time.

> The command for that is `git push origin HEAD`.

I want "git push" to just do that.

> The option for that is `--no-track`.

Yeah, I know, but I wish I could just turn it off for when I forget, or when I'm doing it from an IDE or similar.
That would be less accurate than the title, given that those 1% of people will also be responsible for some non-aviation emissions too.
The JetBrains merge tools are the best ones I've found!

I have it configured as my git mergetool

The only problem is it takes absolutely ages to start up, which is maybe a JVM thing

I wish there was a way to have git pass all of the conflicting files in a merge to the mergetool at once. Instead of having to wait for JetBrains to load up for each individual file and close after each one :(
Another option is to disable transparency under System Preferences -> Accessibility -> Display.

Check "Reduce Transparency" to make your menu bar (and dock) opaque.

I happen to like it better that way.
I love Ansible, and we migrated our Rails deployment from Chef to Ansible. Now we have a subfolder /ops in our project that contains all the code to provision our infrastructure and deploy our app.

However, I still find it very hard to manage updating roles. Git submodules is just terrible, and you can't have a different git repo for each role subfolder. So how do you manage updating third-party roles?
Whaat, I would not call intellij unbelievably fast, but it is a resource hog because it does a million thing at once. Compare it to visual studio, which is something that barely works and has inferior auto-complete, etc.

An electron app of that complexity would require a supercomputer to even start
What about just tracking the users themselves? Why can't they require the country/province's ID card, and blacklist known scammers? It's usually a lot of the same people. If they also cooperated with law enforcement on getting them prosecuted, the return to scamming would evaporate overnight.
I think Proton Mail is ok, but I wish they would focus more on email. I will probably just go back to gmail before the next billing. 3 years and I still dont feel the email part is good enough.
Major Chinese Chip Company Defaults on Debt
Security Bug Hunting with Proxies
Tealpod Image Compresssor for MacOs is built using JavaFX.
https://www.tealpod.com/compressor/
Windows version is built using .NET, C#.
Worth qualifying the comparisons here with core counts... these are mostly 8 core/16 thread parts, with a few 6 core/12 thread parts, vs the M1 4+4.
Sounds like what would happen anywhere in the world if you make an unauthorized booking app for anything...
I think viewers like gitk or tig, or more powerful tools like magit/sourcetree/etc. when used purely to see your repo's history, are not only acceptable but are the quickest and most intuitive way of understanding what's going on. I'd hate to be restricted to `git show --oneline --abbrev-commit` or similar commands that don't show branches and merges.
> To take a step back, the assertion that there are fundamentally undecidable mathematical propositions in the real sense you're laying out (as opposed to more formal treatments of truth in model theory) is a statement of the Platonist school of mathematical philosophy.

To go one step forward, these undecidable/uncomputable statements are computed by humans all the time, which makes the Platonist school of mathematics much more than an intellectual curio.
Basically same as IDA or Ghidra. Any sort of reverse engineering task can be done with Cutter. CTF, malware analysis, patching binaries, etc.
I read the title and thought "What is an RE?" not because I don't know what reverse engineering is, but because multiple things are called RE in this world. Including Resident Evil. How would I know.

Then I clicked the link, and the first line also says it's a RE tool. Huh. Fuck me, right?

So I'm gonna leave it here: https://blog.mitchjlee.com/2020/your-writing-style-is-costly
let me tell you about

gitk --all

PS.

git gui

allows you to stage changes line-by-line, not just by hunk
I was thinking more of devices I don't control - IOT stuff that requires internet access to function (like a box to watch netflix). Clearly anything running on my machine is fine as it's under my control
The US census is also intended to count people without an address.

Also, in the US it is state governments that are the authority for most things pertaining to where people live: property and rental law, identification cards, property taxes, voters registration, etc. Most states do require people to change their voters registration and drivers license when they move between states.

It’s not that strange that you don’t register your address with the federal government, when in fact, the only interaction that many Americans have with the federal government at all is their yearly tax filing.
Yes. Of course. What other reason would there be?

If you're on GCP already, of course you'd opt to use their managed Postgres service, otherwhise you'd have to worry about egress traffic, transport encryption, IAM, etc by yourself (or pay someone else do it for you, of course, making it more difficult to calculate your infra costs, having a 2nd support contract, etc) without much benefit.

How do you know that Google isn't supporting Postgres in any way, e.g. by supplying upstream patches, etc? The same goes for AWS, Azure, Heroku.
Was something unclear in my previous answer, when you asked the exact same thing and I answered your question?
Thanks! Somehow, my mind only was on desktop CPUs.

I couldn’t find hard numbers, but it seems that it isn’t a given that, adding all CPU power globally, there is more CPU power in servers than in smartphones.
Yes but emphasize how what you've learned may benefit your organisation
Right, so if they're multi paradigm, then why would you not use FP features for the parts of a given application that play to FP strengths, and OO features for the parts that play to OO strengths? Why try to squash the former into the latter when you could just use the former directly?

I'm just struggling to see your point here. You're saying it demonstrates a lack of effort in learning best practices whilst also saying that it's a lack of understanding of how to use OO. If it's a multi paradim language and you ignore FP approaches that are fully supported in favour of OO patterns (to deal with the same thing!) I'm not quite sure that's a lack of effort learning best practices. It's more "I have an OO hammer, I'll hammer away with that"
Most of the hate towards electron is only because of its resource usage problems and not because of its capabilities. Vscode is it's testament for capabilities.
Jetbrains suite is great but they're not resource efficient in any way!

If the JVM based apps do not yield a significant performance benefit then there is no point in going after that.
I use Perforce everyday since it aligns better to the needs of the games industry.

I have my problems with it, but once you understand it I find the workflow quite simple.

If you don't really need the decentralization I think it aligns quite well with how people expect version control to work. You make edits to your data, once you're done, you send them to the server to be shared with other people.
>>> if I want to do something more complex

If you want to do something more complex, the reasonable answer is usually to delete the directory and clone again.
> No one is in charge

You might have forgotten in the last four years of "I don't take responsibility for anything" but the President is supposed to be that authority. Armed with the bully pulpit of being on every TV channel if he needs to be, armed with millions of people at his direct beck and call, with the tools of executive orders and being able to declare national emergencies.

Every other head of goverment has used some of these tools, even failures like Boris Johnson. That the US didn't is an indictment of the president and indirectly the US voter base.
Given that 1%’s disregard for the climate impact of their outsized air travel consumption, it’s plausible they are generators of much more than average emissions in other parts of the economy too - cars, induced load on delivery trucks, vacation homes, heating oil, lawn care, having many children, etc.
AWS Athena now supports queries across relational, nosql and other data sources
> The staging area encourages me to think that I can make my change and split it up into logical commits afterwards, even though I know I'll actually just give up and make it a big commit.

That sounds like a personal discipline problem and not a poor tool.
If you write a new exam paper every year that is also guaranteed not to share questions with the actual exam. From a professor’s point of view many questions that are superficially different are similar enough to practically be the same question. There are many, many questions that ask about what the real cause of the French Revolution was, or test to see if you will recognize that this problem is basically a red black tree.
> You will understand this when you become a father

Such a BS attitude. For one, it's self serving and selfish. It serves only to comfort the parent and has no consideration for the life their child will be handed when they become adults. Heck, even children and teenagers will suffer from freedom sapped by people who offload their agency to the government time and time again in exchange for an insulated "life". How can you make mistakes and learn if everything is under the eyeball of an authority who has the freedom to do as they please as long as it's in the name of public safety.

Life entirely without risk and danger, at all costs, is not a life at all, and that's what you want to hand your daughters and sons?

When you blindly let this legislation through because the first page of the draft reassures you it will get "assholes" off the streets you also tend to become entirely passive about the rest of the legislation. All sorts of side effects and detriments to society can be ushered in if you don't question big changes like this.

People with the mentality of "at all costs we must be safe" are doing damage that is irreparable. We must accept that life is implicitly hazardous at times.

I recognize my objection is futile, it's impossible to argue any case in the face of "think of the children". Genes want to survive and project themselves into the future, it's hard wired into us. The more technology and organization we have the more we are going to use it to abstract ourselves the human monument rather than mere organisms. We really can't help ourselves.

This is possibly one of the most defining and interesting times to be alive. We get to witness the beginning of a madness, what happens when life is able to achieve its goal only to find out it's a meaningless dead end.

Wow, that got dark quickly.
AWS Aurora speaks the Postgres (and MYSQL) protocol and I don't even think it is fully Postgres under the hood.
I wonder if there are HNers who would enjoy the work of Ambrose Bearce

"There's no free will," says the philosopher; "To hang is most unjust."

"There is no free will," assents the officer; "We hang because we must."
If the question was: give up your privacy to help stop covid killing people, it would be more accepted on Hacker News.

I'm half surprised that our governments have not pulled this trick and half relieved that the world isn't going down the toilet as much as others would like to tell us it is!
Nothing has stopped anyone from creating this perfect GUI(or better CLI) for Git that a lot of people seem to be missing.

"Show me the code". Or in this case show me the GUI.

Maybe the problem is just actually hard and the Git we have is the best current solution.
Git is as hard as you make it.

It's a bit like raising kids. You don't bash them with the intricate model of the world that you have developed at an age when they are not ready for it. The police are the good guys, the criminals are the bad guys. Sure, there are places where it's the other way around, but you don't really go about telling them about corrupt police departments or authoritarian governments when they are three years old. The goal is to build a mental model that is a good and usable first approximation of the world that they live in. There will be plenty of time to get into the details and edge cases later on.

Similarly with git, you can very much give someone a good and usable first approximation that lets them be productive with it quickly, and then go deeper as needed.

If, however, your normal git workflow involves using a lot of git features that were originally implemented to solve certain edge case situations, then this is not really git being complicated. It's people making it complicated for various good and not so good reasons.
Agreed, everything is a matter of preference. Disabling transparency was my first try but I did not like the color of the dock with that option so I created the utility.
Reverse engineering is commonly used in malware analysis and other security contexts, such as black box testing.
> Not so, SWT uses its own bindings to the OS's native GUI toolkit, using JNI.

A right, I forgot that, thanks. What's the SWT approach to use cases where you basically want a pixel canvas? Falling back to AWT on a surface allocated from the native API or its own facade for native APIs?

In any case this property of SWT kind of explains the omission, SWT happens on a level that is two layers away from skija in the stack Jetbrains are building for Compose Desktop.
> What do you mean by this? It sounds like how stash already works.

I want to switch branches when I have some added (staged) changes and some unstaged changes, and keep the same set of staged and unstaged changes afterwards.

> This is how git has worked for years: you can checkout a non-conflicting branch without stashing.

Only if none of the changes are to the same file, even if they don't conflict.

> Have you customized Git to not support this?

If I do "git pull" it does a fetch and then something else. I'd like to do just the part that's not a fetch (because I fetched the same remote recently).

> When does it make sense to do this? I can understand deleting a remote branch (which doesn’t require this) but deleting the current local branch doesn’t seem to make sense in any normal workflow.

When I've finished working on something and aren't going to work on that repo again for a bit, I'd like to delete the feature branch that I just merged remotely, but I don't want to check out anything else in particular. So I usually end up doing a git checkout --detach just so that I can delete the branch, which feels cumbersome.
You're right, I guess the question is did they bother before. If normal DNS works fine for 95% of users, the hurdle of implementing a non-standard workaround is too much. If DOH is the norm, then the hurdle becomes lower.

Of course you can just drop a rule blocking the IP address on your firewall, which will probably work for a while.
The Guide to People Intelligence Platforms
“Banning books” use to refer to banning them from libraries. You seem to be using it differently, since this article is about a school district choosing not to include a book in a curriculum. So maybe progressives have changed, but so have the definitions of words at issue
I think it means "see"
For OP and anyone responsible for that web site: https://blog.mitchjlee.com/2020/your-writing-style-is-costly
Amazon Pharmacy
I have this view with calculus. Basic integration and differentiation is just simple arithmetic.
I cannot live without git, but somehow I still "hate" it.

A very lovely thing is text editors without "save" button. You change the contents of your file, close the program and that's it. The boundary between "changes in memory but not yet saved" and "changes already saved to the hard disk" is an obsolescence and does not really make sense today.

Git adds not one, but three layers upon the idiotic save button. Now, after saving your changes, you still need to add them, commit them, and finally push them. What I want is less stuff, not more. All my keypresses and states of files at any moment should be automatically saved forever, without action by my part. Then, if I want, I can "tag" a state of the file tree to refer to it later. The perfect git interface should only have two commands: "git init" and "git tag". All the rest of saving and bookkeeping could take place automatically.
Create your own Heroku with Dokku on DigitalOcean
>It needs a wildcard DNS certificate. Then all the sub-servers need to have that wildcard certificate.

Just give each server a separate domain and certificate as you create them. The matchmaking algorithm returns a url pointing to the server.

>How are you going to get certificates for IP address' control dashboard, after all?

By clicking the damn button?
Blogs are probably not a good example. There are so many useful services people are used to have for free on the internet, which will need to be paid without ads. Most of those could be subscription-based though. As for blogs—IMO articles that are written for money aren’t blogs, they are just old-school magazine articles that happen to be on the internet. So having them in a subscription-based closed platform seems appropriate.
Cool list! Gives general ideas on what to take into account when dealing with security
Music Grid Thing
Docker compose is certainly enough for personal use, but if you ever want your apps to be available during update process (on docker compose you'll have to shut down your app container before you can update it), it's very easy to setup a basic blue/green deployment using the readiness probe option in kubernetes.

Also, kubernetes load balancer is pretty easy to setup and plays well with multiple services and letsencrypt. On docker compose, I'll have to either use nginx and update it everytime I add more apps or use something like traefik if I want a load balancer that can read configuration from app's label. On kubernetes you simply specify several lines of ingress definition in your yaml file, which is not too complex for a typical app.
Similarly I got stung by Chrome recently.

I have a side project that plays webradio streams. A lot of them don't have https, some links even are ip addresses and Chrome won't allow to request them on my https site. In the end it forced me to create a stream proxy that I have to host...
Amazon enters pharmacy biz with online Rx fulfillment, free delivery for Prime
The whole point of a tool like git is so that I don't have to expend personal discipline.
The Collatz Conjecture
It would be really, really surprising if one of the few startups that went big didn't beat the return of the S&P for early investors.