eggxbox8's comments

Use Analog MUXes (example: CD4051) to put multiple channels into one micro ADC pin.

eggxbox8 | 6 years ago | on: Stallman Still Heading the GNU Project

It seems a bit like Motte and Bailey Doctrine[1].

The motte is relatively easy to defend... Richard isn't the most charming guy and comes off as a creep, so he shouldn't be a leader. But it's not the most persuasive argument.

The bailey is hard to defend... the various misinterpretations of Richard's email. Despite these interpretations being wrong, they're emotionally persuasive. If someone uses logic against them, the antagonist can always retreat to the motte.

[1] https://rationalwiki.org/wiki/Motte_and_bailey

eggxbox8 | 6 years ago | on: What if we could see all concurrency bugs in the debugger?

Reminds me of Corensic's Jynx.

https://en.wikipedia.org/wiki/Jinx_Debugger

Never used it but the premise of running different possible thread interleavings in parallel and picking the one that crashes seemed genius.

eggxbox8 | 6 years ago | on: Free Wolfram Engine for Developers

FYI: After downloading and installing a 3GB executable, the software needs to be activated with a developer ID. Knowing that could've saved me the trouble.

eggxbox8 | 7 years ago | on: The Case for Formal Methods

I'm not sure about that book however this one: https://www.amazon.com/Practical-UML-Statecharts-Event-Drive...

got on my reading list by virtue of the misfortune of dealing with code written by programmers who adopted the book's approach.

The thesis was that state machines are a powerful formalism that can be fully verified because all the states and edges between them are known. That's half-right: they are powerful because state transitions are essentially "goto" by another name. In practice goto-based programming is brittle to requirement change. The damning part is that state machines don't live in isolation: they interact asynchronously with other state machines and the world at large. The dynamic behavior of these interactions is probably important! and not part of individual state machines. You'd need to co-simulate them.

I feel state machines have their place where no higher-level construct (usually I prefer coroutines) fits the job and it can be kept small and rewritten on requirement change.

eggxbox8 | 7 years ago | on: Ask HN: How should a programming language accommodate disabled programmers?

Bootstrap is doing some work in this space: https://www.bootstrapworld.org/blog/accessibility/User-Inter...