Show more

Advent of Code day 2 vague spoilers i guess? 

oh, but how do I know when to stop executing? because the instructions CAN be modified, and we rely on opcode 99 for halting, and who knows how that gets in the ram

oh btw did you know that Haskell is very nice for this stuff, because stuff like iterate lets me inspect intermediate states without writing a bunch of print statements or entering a debugger. it's frickin rad.

Show thread

Advent of Code day 2 vague spoilers i guess? 

wait, fuck, the pc can't be a symbolic value, the pc monotonously increases, the code doesn't affect it (yet)
so only RAM cells can be symbolic
i'm An Even Bigger Foole Than I Hath Assumed

Show thread

Advent Of Code day 2 finished in an unreasonably long time because I wanted to try solving the second part using "simple" symbolic execution but realized halfway through writing it that if the program counter is a symbolic value then I am in deep trouble

so I just brute forced it


taking requests for interesting non fiction books. primarily interested in philosophy, economics & politics (anarchy, marxism, etc) and culture (whatever that may mean to you)

hit me with your best! ive never really read any non fiction and plan to approach these with "active reading" now that i can take notes and shit.

we aren't addicted to services; we just really like human connection and tech companies are devilishly desperate to monopolize that experience

i imagined a near #music future of the #fediverse with streamed live-concerts via #peertube announced over #mobilizon with a calendar-integration in apps like #tusky.
The crowd can directly support the artists with donations over #liberapay.
Records can be found on #funkwhale, artwork and bandphotos are stored on #pixelfed.

We nearly got it all together, just a little bit of waiting, maybe? if not, let me dream ;)

Oasis is a linux distro that is completely statically linked. It's been a really fun project to fumble through. So far, I've managed to get a chroot set up. Looking into how to install additional packages and get sudo/su working:

Keybase I-told-you-so 

The current #KeybaseIO situation is giving me a severe case of the I-told-you-sos...

There were actual reasons I decided they were a waste of time and never engaged.

What reasons?

Warning sign #1: Yet another VC funded start-up building centralized infrastructure in desperate search of a market to dominate?

Warning sign #2: They offered to host users' PGP keys in the cloud! That's snake-oil. Pure, unadulterated, snake-oil.

Expecting VC-funded snake-oil salesmen to miraculously produce anything worthwhile just seemed silly to me. Still does!

Now they've jumped on the crypto-scammer bandwagon and thrown their own users under the bus in the process?

I for one am not surprised...


THANOS: Fine, I'll do it myself.


THANOS: Oh for... how do I exit a buffer in Emacs again


THANOS: Javascript does WHAT


THANOS: Ruby, then?


THANOS: Python for mad scientists?


THANOS: Scheme? But which one?


THANOS: Welp, roll my own hybrid Forth it is



So apparently during one experiment OpenAI managed to accidentally train GPT-2 to produce "maximally bad output." As a result, it generated only "sexually explicit text," because that's what the labelers ranked worst, by instruction.

Here's a fantastic article not just about technologies for improving memory, but more generally invention:

@ByronCinNZ Yup. Imagine if the NZ gov't funded the development of a #FOSS gun licensing tracing system... and then told the US - "here, this worked for us. You can just use it. It's Free". And it would also give NZ some nice tick marks for its Digital 9 Charter membership...

@ByronCinNZ My humble suggestion is described in some detail here: - in short, the gov't needs to mandate that all IT solutions procured comply with vendor-neutral, royalty-free open standards.

@vecna A Mac is just a fancy-looking PC with a special chip in it that has the DSMOS decryption key.

@lightweight Yes. The outsourcing comes too often with abandonment of expertise in subject matter the agency is charged with overseeing. That combined with the managerialism attitude that views anything technical as bellow the dignity of important people and you really set the stage for corporate rip-offs and failures. Gov't needs to retain (and respect) enough expertise to know that they are getting what they need and what they pay for from suppliers.

@lightweight That requires more transparency than typically practiced. FOSS provides such transparency. With big corporates and their proprietary IP protections, it has been my experience that even security audits that a gov't may preform are limited. you kind of just have to trust them to have shared everything needed. Not a good situation. Leaves me wondering why we even allow anything but FOSS

One of the Big Issues I will have to solve before #Samizdat becomes really useful is measuring usage. I even have an issue for that!

tl;dr: there needs to be a way to measure how many times Samizdat made it possible to circumvent censorship.

That's something that will have to run on reader's browser, and so there are serious privacy considerations.

But without being able to show it works, it will be hard to convince people (and site admins) it does.

Show thread

The second VBlanking method of Linux's Radeon GPU driver is there to enable the VBlanking interrupt, `enable_vblank_kms`. I'll describe it this morning.

This validates that the specified CRTC number is in the valid range, and within an interrupt (IRQ) lock it sets a flag for that CRTC & sets the interrupt via a callback method.

And the `disable_vblank_kms` method does the exact same thing but unsets the flag.

@ByronCinNZ Yup - but my point is that "outsourcing" shouldn't be seen as a way to dodgy culpability (that seems the main rationale for outsourcing of tech services in general). We need an incentive for Ministers to be smarter about providing tech services. I suggest that the *right* way is for gov't to fund #FOSS development of these solutions, allowing for competition between service providers for any given service. The current "gift a monopoly" to a supplier approach is broken.

Show more

For people who care about, support, or build Free, Libre, and Open Source Software (FLOSS).