Mike P

@FenTiger
166 Followers
318 Following
3K Posts

Mid-40s techie living in #Ely, #Cambridgeshire, UK. Player of #Ingress, under the name "Wrongfellow" (and I've used this name elsewhere, too). #Dog and #cat lover. Drinker of #ale and #cider. Occasional #CAMRA and #beer #festival volunteer.

This account is mainly used for random drunken wit and shitposting. If you're interested in my technical projects, you might prefer to follow my Hubzilla account: @fentiger

Website:https://www.mythik.co.uk/
Weird:https://weird.mythik.co.uk
Codeberg:https://codeberg.org/FenTiger
GitHub:https://github.com/FenTiger
Mike P22h ago
It's Pride Month, so here's some WOKE ribbon cable. ;)
Mike P5d ago
Raghav Agrawal5d ago
How fat is actually lost, not the spot-reduction "burn it off your thighs" version, but the real molecular chain, built from zero.
Mike P5d ago

How do you pronounce "FIFO"?

#FPGA #Verilog #hardware

Like "Fee, fie, foe, fum!"
Like "Hippo" but with a lisp
Poll ends at .
Mike P6d ago
Saskia6d ago

Ever thought about how we make this place sound cool to other people?

Spoiler: It's not 'Fedi'-anything.

https://forbetter.ghost.io/the-normal-response-to-the-social-web/

#SocialWeb #Blog #Fediverse #Mastodon #Tech

The 'normal' response to the Social Web

How (mostly) 'normal' people respond to the ideas of the Social Web Marketing the Social Web is a headache. Only heightened by the clashing of heads as everyone offers an opinion. Picture those dinosaurs that have their skull on the outside. That's us. No wonder it's a headache. But even

FORbetter
Mike PMay 26
Adrian SampsonMay 26
This blog post is an extended metaphor that serves as an excuse to complain about Verilog. https://www.cs.cornell.edu/~asampson/blog/buildingblocks.html
Back to the Building Blocks’ Building Blocks

Verilog is the foundation of all hardware design, and it is fatally flawed. We should all be worried about a glut of hardware bugs caused by Verilog’s unpredictable semantics and simplistic type system.

Mike PMay 26
a stinky ox 🐂May 26

TIL there was an event in 1888 called the Great Sheep Panic.

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

Great Sheep Panic - Wikipedia

Mike PMay 25

Right now I'm honestly feeling very grateful towards Domino's Pizza for setting a minimum delivery amount.

If they hadn't done this, I wouldn't have a substantial stockpile of Ben & Jerry's ice cream, and I'd be feeling a lot less comfortable right now.

#heatwave

Mike PMay 23
charli xkcdMay 14
obsessed with this US department of agriculture zine about snail farming from 1986 openknowledge.fao.org/server/api/c...
Mike PMay 20
MDRMay 20

Hey algorithm, please help me get exposed to people who are interested in type theory, theorem proving and Principia Mathematica. I'm formalizing Principia Mathematica in Rocq.

https://github.com/MudroadWhite/Neo-Principia/

If you want to tame the monster created a century ago by Bertrand Russell, here's your chance to pet the dragon. *pat pat* Comment if you are interested in!

#RocqProver #TheoremProving #formalverification #AI4Math #typetheory #PrincipiaMathematica

GitHub - MudroadWhite/Neo-Principia: Continuation on formalizing Principia Mathematica

Continuation on formalizing Principia Mathematica. Contribute to MudroadWhite/Neo-Principia development by creating an account on GitHub.

GitHub
Show threadMike PMay 20
It's not muddy. This is generally a good sign.