eah

joined 1 year ago
[–] eah@programming.dev 5 points 3 months ago (1 children)

If I understand correctly, Android already has something like this: the Play Integrity API. It's responsible for rooted Android devices being unable to use banking apps. iOS might have something similar. And the term for this if you want to learn more is remote attestation. It's far more insidious than devices with locked boot loaders.

[–] eah@programming.dev 12 points 3 months ago* (last edited 3 months ago)

Web forum software bumps up a thread to the top of the board when a user posts a reply to the thread. This enables lengthy long-lived debates to take place. It gives a lot more opportunity for good ideas to be presented on a topic compared to reddit or lemmy which cycles posts off the front page hours or days after being posted. But trolls can easily derail the entire purpose of the forum by insisting on always having the last word in an off-topic, manufactured debate that eventually draws the entire userbase in.

[–] eah@programming.dev 7 points 3 months ago (2 children)

https://openlibrary.org/books/OL7294306M/Introduction_to_Algorithms_Second_Edition

I don't have any experience reading similar books to say if this is a good one, but it was the book we were assigned for class. Algorithms are written in pseudocode. I sometimes use it as a reference.

[–] eah@programming.dev 2 points 3 months ago

I came across the paper planes entry from the "See also" section in the atmospheric entry article.

Fun facts I learned: roughly the probability at least one person currently alive have been or will be struck by falling space debris from reentering satellites is 1% and 3% of the matter which enters the atmosphere is from satellites compared to meteors.

[–] eah@programming.dev 3 points 3 months ago (1 children)

public domain code can’t really be released under the GPL

Disney created films based on old fairy tales. Disney has a copyright on those films even though they include elements from the public domain because the films also include the artists' original expression. The linux kernel (probably) contains public domain AI-generated code alongside original work from its many contributors. If you wanted to get the entire project into the public domain, you'd have to get permission from nearly all its contributors or wait for their copyright term to expire. The small snippets of code which were AI-generated are public domain. The bulk of the project isn't, and the project as a whole isn't.

As much as I dislike AI, I can't say I understand forbidding AI-generated contributions on the grounds that the submitted code is public domain. I suppose somebody can come along and "steal" the public domain snippets, but I suspect it's difficult to definitively tell apart the human-written code from AI-generated and strip out the human-written bits. If they do, what's the issue? It wasn't yours to begin with and you can still keep it in your project. Moreover, now that the magical plagiarism machines exist, who's going to be lifting code in this way, anyway?

[–] eah@programming.dev 2 points 3 months ago

We used to use parenthesis for interjections. I miss the days when text on the internet was mostly limited to the 95 printable characters on a typical American keyboard plus a few control characters.

[–] eah@programming.dev 1 points 3 months ago

And different from them all, the compressed double dash. That’s what’s in OP’s screenshot, and they’re what you get on Lemmy and Reddit when you type two dashes together with no spaces between, and it passes for the em dash in human writing.

The dashes in the reddit post being discussed are em dashes, not en dashes. In any case, I'm skeptical of the claim that double dashes written in the reddit text input box transform into something else. Though, I no longer have a reddit account which I could use to check. It looks like there is a way to write em dashes on reddit, but it isn't with 2 sequential hyphens.

[–] eah@programming.dev 18 points 3 months ago (1 children)

Shame youtube removed the like/dislike ratio which we previously used for mass protest against video authors for their wrongdoings. Channels can now shovel shit onto us with no public humiliation inflicted on them in return.

[–] eah@programming.dev 1 points 3 months ago* (last edited 3 months ago) (1 children)

I guess your sense of correct grammar is different from mine. "Fuckin' Strait" isn't a proper noun. He's also using excessive punctuation.

[–] eah@programming.dev 2 points 3 months ago

Disclaimer: it's been a while since I've used git.

You'll be unable to push if the remote branch has diverged since you pulled because someone else has pushed changes different from your own.

One way to resolve this is to run git pull. If your commits have made changes to a file and the diverging commits have made changes to the same file, then you'll have a conflict and git will put your local repo into a special merge conflict state. Your working files involved in the conflict will be automatically changed to include the differing changes, delimited by <<<, ===, and >>> characters. You'll have the option to abort the pull or edit the files, git add them, and then git commit which completes the pull. You can then push.

git pull will do git fetch to update your copy of the remote branch, followed by a git merge. The documentation for resolving merge conflicts is contained in the git-merge man page: git help merge, particularly in the sections entitled "Pre-merge checks", "How conflicts are presented", and "How to resolve conflicts". Side note: the man page will open in the system pager, in which typing /conflict and the keys n and N will step through each occurrence of the word "conflict". Oh, you can even read it in glorious PDF.^[https://manpage.me/index.cgi?apropos=0&q=git-merge&sektion=0&manpath=Debian+8.1.0&arch=default&format=pdf]

Running git pull when you have uncommited files may be a different story entirely. Best to not do that. You can check whether your working files are clean with git status. It seems like the "proper" way to deal with this situation, if you must, is with git stash. That supposedly can be used to save your uncommited changes, cleanup your worktree to prepare it for a pull, and reapply the saved changes after.

I recommend sections in the free Pro Git book if your want something more pedagogical than the man pages.

50
Crater chain (en.wikipedia.org)
[–] eah@programming.dev 11 points 3 months ago
view more: ‹ prev next ›