Today we're kicking off the #GNU Assembly!
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!
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).
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.
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.
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.
If not then I guess it's an opportunity to teach kids binary RE.
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.
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
dark mathemagician | 23 | they/them
Working on a math PhD, mainly algebraic geometry. I also do things with computers sometimes.