re: my data, Google 

#Shen language's sequent calculus has got to be one of the strangest things I've seen in a programming language. It's extremely clear and concise though, once you know how to read it.

#FormalMethods #Lisp

re: bad computer day 

re: adventures in Schemes, -- 

re: suuuper big gripe about the capitalist work mode 

here's the CVE data filtered on "Intel" which is really crude but enough to give me a quick estimation of the data.

so my dynamic hypothesis is that not only has Intel released more and more products, but also the stakes are higher for finding security vulnerabilities, so more researchers are looking and finding them.

(Intel will pay you up to $100,000 for finding a Critical vulnerability in their hardware)

setting the color as 'cornflowerblue' on this somewhat disturbing histogram

A bunch of technomancers in the fediverse. Keep it fairly clean please. This arcology is for all who wash up upon it's digital shore.