The #J-Bob language, a tiny #Lisp for the #formal-methods #tutorial book The Little Prover. This URL also shows how to get a particular file from a #GitHub repo without invoking all their front-end rendering logic.
on 02026-09-17"Radicle" is another #GitHub alternative similar to Gitea or Gogs or whatever. “Radicle is an open source, peer-to-peer code collaboration stack built on #Git. Unlike centralized code hosting platforms, there is no single entity controlling the network. Repositories are replicated across peers in a decentralized manner, and users are in full control of their data and workflow.” #decentralization
on 02026-06-25Armin Ronacher on the decline of #GitHub
on 02026-04-28#Dillo is moving off #GitHub, #self-hosting and mirroring to Codeberg and Sourcehut
on 02026-01-06one of the edits to the announcement of #Zig leaving #GitHub
on 02025-12-03Andrew Kelley sort of apologizing for how he phrased the announcement of #Zig leaving #GitHub. #politics
on 02025-12-03on #Zig leaving #GitHub. #politics
on 02025-12-03#Zig is moving from #GitHub to #Codeberg because #Microsoft. “Putting aside GitHub’s relationship with ICE, it’s abundantly clear that the talented folks who used to work on the product have moved on to bigger and better things, with the remaining losers eager to inflict some kind of bloated, buggy JavaScript framework on us in the name of progress. Stuff that used to be snappy is now sluggish and often entirely broken.”
on 02025-11-26#Coraline Ada got fired from #GitHub for her unempathetic communication style, a few weeks after an eight-day involuntary commitment to a mental hospital after she got a bad annual performance review (in April 2017) and took an overdose of the anxiolytics she’s prescribed for bipolar depression. This suggests she was hired in April 2016, five months after #Opalgate.
on 02017-07-05blogpost claiming #Github will upend the software social landscape because everyone will work in public and therefore the advantage of being from a privileged country will evaporate. Within 24 months. Apparently written by a recruiter-who-programs in Queensland. #predictions
on 02017-02-23Comparison of #blobs systems for #git, focused on #GitHub’s git-LFS and of course #git-annex.
on 02015-08-06Discussion of #GitHub’s git-LFS and #git-annex and other #git #blobs systems.
on 02015-08-05The #Git repo on #GitHub for #iabackup.
on 02015-08-05Git LFS is #GitHub’s alternative to #git-annex
on 02015-08-05#Github publishes #SSH keys, which has #security implications.
on 02015-08-05