Pinned toot

Hey fediverse bot authors, this is for you.

Instead of having a bot that blindly follows someone, then having a pinned toot or description that reads, "DM me "unfollow" if you don't want me to follow you any more", how about you do something sensible like looking at a user's profile and discovering whether or not they have in it first?

Because if you write bots that don't respect , you're no better than a spammer.

Don't @-me.

I am not looking forward to reworking the guts of the SIA's receiver logic. Bleh.

Apparently I'm the third person in the world to download this software, according to the public stats 😰

If you're interested in making computers automatically generate correct compilers, the GPLv3-licensed source code and git history that accompanies the paper "Synthesizing an Instruction Selection Rule Library from Semantic Specifications" is indeed buried in the Docker image provided with the paper:

pp.ipd.kit.edu/firm/selgen

Commission for DDRTrekkie on FA. Maybe a laser pointer would be better.

Work shit. Show more

Work shit. Show more

Work shit. Show more

Work shit. Show more

Work shit. Show more

Work shit. Show more

I should clarify -- it is formally verified insofar as BMC checks are concerned. I still need to make it pass induction too. This is the __//HARD//__ part. >:/

Made excellent progress on my SIA core's receiver logic last night. It is formally verified to be correct, so I'm hoping I can find the time tonight to wrap the SIA core all together and implement local loopback logic. This will probably take all evening.

Then, hoping tomorrow evening, I can implement the Verilator code to drive the SIA core from the processor's point of view and verify in simulation that the core as a whole works.

Then, the SIA will be done done.

TIL: Effable does not mean fuckable. It means, literally, able to be described in words.

Wife's sick. Again. Show more

Wife's sick. Again. Show more

M97 is a planetary nebula in Ursa Major. It is located near the lower pointer star Merak. As a planetary nebula it is the last phase of death of a intermediate to low mass (7 to 1 solar mass) star before the star becomes a white dwarf. #astrophoto

Show more
Mastodon

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!