#introductions Researching new ways to write software that make it easier for newcomers to understand rather than for insiders to maintain. Systems that build easy, reward curiosity. http://akkartik.name/about
Author of Mu: https://github.com/akkartik/mu. Using it to teach kids programming 1:1: http://akkartik.name/post/mu
#BarbarianProgrammer. Ethos: ship with all deps, gradually streamline their code for own situation, get ideas for improvements, send patches upstream. Implies: can't have too many deps!
@h what was avoidable?
TFW you're in a DM with someone and they continually misspell your name that's displayed next to all your words.
#CreditUnionHistory stories I would like to hear told:
- That time during the Birmingham Bus Boycott when #MLK & co attempted to charter a Federal #CreditUnion, only to be denied. The application and denial paperwork is probably in the Federal Archives...
- The debate over the creation of the Federal #NationalCreditUnionShareInsuranceFund that led to the creation of #CUNA's rival trade association, the pro-Federal insurance #NAFCU.
Any #History grad students looking for thesis topics?
Hey by the way I have a CLI mastodon client over at https://github.com/magicalraccoon/tootstream
Starting to explore the use of Formal Verification to my #kestrel3 cores. Finding a disturbing amount of defects and edge cases that I never considered when thinking about the happy path. DMAC core *alone* has taken up all evening hunting down obscure bugs.
Still have the ROMA core to go next.
The project I'm currently working on just went live.
We're fundraising for Democratic state legislative candidates in Red States, & working with a political scientist to do some unprecedented randomized, controlled studies on the effect of money in politics in the process.
Learn more about us & donate if you're so politically inclined here: https://www.measuredpolitics.org .
Promise I won't post too much about this, but I've mentioned it to a few folks here who have been interested in learning more.
is there an easy way to search in my own toots? I want to find the one where i included a link to that trunk page.
https://www.ozy.com/fast-forward/sci-fi-doesnt-have-to-be-depressing-welcome-to-solarpunk/82586
“So much science fiction is dystopian and apocalyptic,” says Ulibarri. “Solarpunk for me is a reaction against that; it is a desire to see a future I want to live in and that I want to be a part of making.”
'Don't!' She reached out to stop her, but woman only smiled.
'It's alright. Truly.' She crouched beside the thing of tentacles and claws that crawled from the lake. She rubbed its bald, water-slicked dome; it gurgled and chirped.
'See? Just because you don't understand something, doesn't mean it isn't good.' She tickled its tentacles; it squirted water.
'I suppose not,' the other replied, staring at the woman as if she, too, were a strange and unusual thing.
Can’t get microblogging as a choice of domain to have discourse in out of my head.
Forums are great because you read content by topic. Blogs can sustain longform writing, and they’re collated by RSS.
Given the birdsite’s a trash fire, we’re rebuilding — why are we going back to microblogging? The only benefits I see are convenience and a sustainable scale, but neither of those are strictly good...
@natecull 80x24 is enough for anyone
Now that we have the #heyfeedfox mechanism set up, I'm getting all sorts of fun ideas for ways to use it. For example, we could farm aphorisms. I might try this myself. Feel free to join in (ie when you toot an attempted aphorism, tag it)
If I think of myself as the protagonist of my life story, many self-defeating behaviors don't make sense. If I think of myself as the author, then moments of jarring foolishness can be interpreted as a desperate novelist's tricks. Better to break the character than to let him win
I've been going through the Gforth tutorial. One puzzle that has me stumped is implementing `min` of two numbers without using `if`.
Apparently it's possible because Forth's `true` is all `1`s, false is all `0`s, and all its boolean operations are bitwise. But damned if I can figure it out.
https://www.complang.tuwien.ac.at/forth/gforth/Docs-html/Flags-and-Comparisons-Tutorial.html
2018 me (to 1993 me):
In the cyber-future, computer AIs will automatically diagnose diseases, for free, just by you using a phone or walking past an advertising sign!
1993 me: Wow, that's good! The Internet is super! Capitalism is awesome!
2018 me: ... and will use that data to make millions of dollars for a few billionaires by preventing you from getting those diseases treated
1993 me: that's.... not good. Capitalism is maybe.... what is this feeling?
2018 me: Socialism. It's incurable.
I have a very expansive take on what qualifies as 'programming' and a very dim view of the idea that a division of labor makes sense to apply to computing (ie, that there are disjoint sets "programmers" and "users")
This is a very hot take and also not a new one but here we go: the goal of a properly functioning software engineer is to obviate themselves, not by solving the customer's specific problems but by blurring the line between using a computer and programming one to the point where users can solve their own problems.