@ChinafakeWiki@mastodon.social2024-11-30 05:10:17
Chinafake tip: if you visit https://chinafake.wiki frequently or have it bookmarked/favorited, you might be able to search it in Safari on iOS by adding "chinafake" before your search query! Try it out!
@thopan@norden.social2025-01-26 09:17:43
Basnia – My Only Religion is Love
#PeerTube
@AntoninDanalet@datasci.social2025-01-28 15:28:16
@nakatsubyjna@socel.net2024-11-20 15:19:23
Bag making in progress. Joining ends to bodies for some tube/duffel shaped purses. Drinking tea, settling into the studio, and getting on with it #handmade #sewing #bagsewing
@dankeck@a11y.social2024-12-04 19:37:12
In this episode of Double Tap, Mike Shebanek tells his story of the creation of VoiceOver and how it led to today when all major consumer operating systems have built-in screen readers.
Someone should make this into a movie.
https://doubletaponair.com/double-tap-
@lukasweidinger@gruene.social2024-11-23 20:17:50
„Out Changing Climate“ hat ein tolles Video über #organizing gemacht, das die Methode kurz einführt und in erster Linie mit vielen Beispielen wie von #UAW & #endegelaende zum Handeln inspiriert:
@samir@functional.computer2024-12-20 23:00:25
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…
@kubikpixel@chaos.social2024-12-07 07:00:06
Task Manager with a TUI written in Python
kanban-tui is a customizable task manager in the terminal.
:python: #kanban
