ianh boosted

brain learning &
self improvement tips:

- strong your learn muscle
- improvement.
- 3. succeed success

ianh boosted

(you, a programmer, weak): "I must automate this task so that I will do no manual work! my editor software crashing is unacceptable!"

(a 3D artist, poweful): "I will place 2000 vertices manually doing retopo. then my program will crash, and I will start over doing the same thing again."

Show thread

@ColinTheMathmo

(Hopefully it makes sense; the idea is that the intervals between sequence elements get their own isomorphisms which collectively turn into an isomorphism for the whole set because the intervals are themselves ordered. The formal proof is kind of tedious so I didn't write it out.)

@ColinTheMathmo

Let A and B be subsets of the rational numbers. Let a_n be an increasing sequence of rational numbers in A such that, for all a \in A, there exists some n such that a < a_n. Let b_n be a sequence like a_n but in B instead of A.

Let f : A -> B be defined in the following way:

If a is less than a_1, then

f(a) = b_1 - a_1 + a.

Otherwise, let n be the first number such that a < a_n. Then

f(a) = b_{n-1} + (b_n - b_{n-1})(a - a_{n-1})/(a_n - a_{n-1}).

@ColinTheMathmo

I think the following way of constructing f will work for any two sets like this, as long as you can find a sequence that monotonically approaches the endpoint —

ianh boosted

anyway while we're all talking about maps here's the best tumblr post ever made

@freakazoid @akkartik Depending on how the rest of the language works, this may or may not be true. For example, in C, large structs can be used to access arbitrary memory from a null pointer despite all indexes being in-bounds:

ianh boosted

As a programmer it's been really hard to wean myself off of thinking in terms of global solutions. This, in comparison to building local or community technology.

Thinking this way can make things harder (now your tech needs need to scale to the world) and not useful (different people in different places have different needs).

This kind of blew my mind: like, you can just go and build a piece of tech and only give it to your friends & the immediate people it's helpful for. You don't *need* to design for The World. I think this kind of thinking is really important for breaking away from capitalistic modes of thinking.

ianh boosted

spoons are basically sort of just bowls on the end of a stick

ianh boosted

we need to reclaim programming as something for everyone

we need to reclaim it as a thing to use for fun and as a personal tool, instead of something you learn for careers to impress corporations

computer programming should be a place where misogyny, sexism, corporations, and capitalism don't belong

Show thread
ianh boosted

@pixelpaperyarn @grainloom
Absolutely. The main barrier between non-technical users and programming is not 'learning to code' but the assumption of a division of labor between non-technical users (who are assumed to run away screaming at the sight of a config file) & programmers. It's enforced by the use of binaries: our software is packaged in hermetically sealed containers in faraway factories, & only wizards can change the running code.

ianh boosted

its ok to be lazy and leave your kitchen messy sometimes, treat yourself!

:promoted: Promoted by Ants

ianh boosted
ianh boosted

workbench 3.1 on amiga 2000 with MNT ZZ9000 graphics card (in development)

ianh boosted

"University of California terminates subscriptions with world’s largest scientific publisher in push for open access to publicly funded research"

universityofcalifornia.edu/pre

Context for those not in the US: this is huge. UC is a uniquely enormous and influential university system in our country. When they do things, many other universities follow suit.

Show older
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!