Jia Ming @jiaming@activism.openworlds.info
- Born at
- 374 ppm
- pronouns
- he/him
Anti-imperialist.
Interested in formal methods and constructive mathematics.
Joined Aug 2020
Pinned post
I actually played around with translating CPython (3.9+) awhile ago. Their new parser made it much easier though getting unicode to work was tough. It is extremely scrappy & incomplete but I actually now write my hobby programs in malay hehe.
I don't even know what's the best way to share this... I'm thinking like a git patch on an official source code release or something
Pinned post
@stman Language. Every child should be able to use and learn technologies *completely* in their own language, then have a pathway into developing with at least a language that is substantially similar to their native language.
Until the day English is no longer a monopoly of our computational ideas, cyberspaces cannot truly realize the immense diversity of people.
Jia Ming
boosted
If you use duckduckgo you should replace "googled" to "duckduckwent"
Jia Ming
boosted
Almost done refactoring #fediDB developer tools so you can use them without creating an account!
Just watched Hotel Rwanda. Chilling...
Jia Ming
boosted
Teachers, stop showing YouTube videos and other corporate internet content on classrooms if you don't have effective adblockers in use.
Students shouldn't be force-fed ads during class.
88 toothed destroyer, the piano
Jia Ming
boosted
Sure, mock me. Make fun of the handsome, brilliant dreamer who dared to believe.
I admire and appreciate the people who do research on genocide
Jia Ming
boosted
Some time back in June I mentioned this idea of a Japanese-inspired programming language.
Three months and six thousand lines of code later, here is Haku: a toy functional programming language inspired by literary Japanese.
It is probably “pre-alpha” but if you want to try it out, or just read about it:
Jia Ming
boosted
@DeveloperMemes "This is ridiculous! I can't be forced to format my code properly!" But you format your code properly, already. "Yes..."
My favourite computer keyboard is the one that's in front of me <3
Jia Ming
boosted
What kind of crazy world do we live in where our little Plausible is more profitable than GitLab, one of the biggest open source companies? 🤣
Jia Ming
boosted
"google play services are missing"? well,, I'm not missing them
Jia Ming
boosted
"Aren't you müde from writing Rust programs in English? Do you like saying "scheiße" a lot? Would you like to try something different, in an exotic and funny-sounding language? Would you want to bring some German touch to your programs?
rost (German for Rust) is here to save your day, as it allows you to write Rust programs in German, using German keywords, German function names, German idioms."
GitHub - michidk/rost: Rust programming, in German. https://github.com/michidk/rost
Jia Ming
boosted
In no particular order, web sites like OpenStreetMap, Wikipedia, Archive.Org, Sci-Hub, tools like I2P, Tor, IRC, GPG, OMEMO, OTR, and open and federated protocols like Jabber, Email, Diaspora and ActivityPub are the most important projects on the internet and should be protected and exalted.
#openstreetmap #osm #android #wikipedia #archive #archive.org #scihub #sci-hub #diaspora #email #jabber #xmpp #activitypub #mastodon #email #freesoftware #internet #thefederation #irc #gpg #omemo #otr
Jia Ming
boosted
new linux mint website 
Dependent type theory...
Dependency theory...
🤔
As soon teaching finishy yes then the thing go die dey o
As soon teaching finishy yes then the thing go die dey o
As soon teaching finishy yes then the thing go dieeeee
Me and you na dey for the samu category
Me and you na dey for the samu category
Me and you na dey for the samu category
Me and you na dey for the samu category
Na the same category o
Na the same category o
Na the same category o
Australia's history is by far the most painful to learn for me
It should be illegal for default camera apps to "beautify" your face by default. Especially when the filter is racist af.
- Born at
- 374 ppm
- pronouns
- he/him
Anti-imperialist.
Interested in formal methods and constructive mathematics.
Joined Aug 2020
