Jay relayed
Jay relayed

Today we're kicking off the #GNU Assembly!

gnu.tools

This is a new umbrella for GNU people seeking transparent decision-making and built around consensus. It's the result of a decade of struggle to make #GNU inclusive, transparent, and community-driven.

#GNU contributors: consider joining!

#FreeSoftware activists: help us spread the word!

Jay relayed
Jay relayed

functional programming is when you write something and it works on the first try

Jay relayed

how can you call them imaginary numbers. none of the other numbers are real anyways whats the difference

Jay relayed

bing how to make continuum hypothesis but fruit

Jay relayed

YOU: so the A in RAID stands for "Array"?
US: Yes.
YOU: doesn't that mean saying "RAID array" is redundant?
US: Of course. That's what the R is for.

Jay relayed

is there a (useful) finite number that is so big we haven't been able to formulate an upper bound for it?

I'm not a ghidra expert so maybe I just need to rtfm but so far I've been struggling with ARM.

So far it has failed to disassemble VFP instructions correctly (it translates what should be vmul as an opaque "coprocessor instruction", objdump doesn't have this problem). It also doesn't use the right ABI, so when it analyzes a function with floating point arguments I have to manually tell it where all the arguments are. (It already knows the types and order of the arguments because I have debugging symbols, but it tries to use floating point registers when the ABI is softfp).

Wow so CAN is a really simple protocol huh.

Hm so I thought queues were a real pain in Haskell, but apparently you can use plain old lists and corecursion, which is cute.

The list is just the list of all elements that ever pass through the queue. Its definition refers to itself, so later elements can depend on earlier elements. I'm pretty sure GC can also get rid of elements once they're "popped" as well.

I guess the lesson here is that sometimes if you feel like you need one-time mutation, you can achieve the same thing by evaluating a thunk.

Jay relayed

Pro tip: if you have to disambiguate by writing the TeX for a symbol on the board (I've had a professor do this), maybe just use a different symbol.

Show thread

Make fun of programmers for things like `creat` on Unix, but if mathematicians had their way it would just be like 𝒞 or something, with subscripts of ♯ and ♭ to indicate read and write modes.

Show thread

Thinking about the time in a number theory lecture where A, a, 𝔞, and 𝛼 were all on the board at once and referred to different things.

(If I'm remembering right, A was a ring, 𝔞 was an ideal, a was an element, and 𝛼 was either a function or an index or something else)

Jay relayed

powerset

Jay relayed

If not then I guess it's an opportunity to teach kids binary RE.

Show thread

So this library for using a certain speed controller in FRC is BSD licensed, is only available in binary form, and has debugging symbols available? I feel like it would be both easy and legal to reverse engineer it, so I don't know why they aren't publishing the source. I just sent them an email asking for it nicely. I just hope it reaches an actual dev and not some legal person.

Jay relayed

the "androids are taking our jobs" sci-fi trope is honestly one of the darkest, because the entire point of automation is to make it so that nobody has to work anymore if they don't want to. In literally any non-oligarchical society, the automatically generated resources would be distributed and everyone would be happy.

the idea that a population would be so brainwashed that they want more work and less automation, instead of more automation and much more universal basic income, is so deeply and fundamentally disturbing, yet it's already happening

Show older
Cybrespace

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!