Tootfinder

The Bombing of Gernika, April 26, 1937: The Number of Dead Revised https://euskalkazeta.com/bombing-of-guernica-the-number-of-dead-revised/?mc_cid=190edb545d&mc_eid=1bc0052ab5

Bombing of Gernika: The Number of Dead Revised
Joseba Elosegi was the first person Xabier Irujo interviewed when he was doing research on the 1937 bombing of Gernika (Guernica in Spanish). The Basque soldier told Irujo that when a photograph was taken of him standing amid the smoking rubble of the historic Basque city the morning after the bombing, he could still hear...

Dream MCU wishlist item 732: Simple, high-speed serial protocol for fast memory mapped point-to-point IO.
Basically "PCIe lite". 8b/10b coded ~1 Gbps full duplex LVDS with packetized memory read/write requests bridged directly to AHB on the MCU side.
But no PnP enumeration, no device addressing, no request reordering, none of the other complexity of full PCIe. Something you can hang off a Cortex-M7 and use for interfacing to a lower end FPGA faster than QSPI.

as_skitter: Skitter IP graph (2005)
An aggregate snapshot of the Internet Protocol (IP) graph, as measured by the traceroute tool on CAIDA's skitter infrastructure, in 2005.
This network has 1696415 nodes and 11095298 edges.
Tags: Technological, Communication, Unweighted
https://networks.skewed.d…

This https://arxiv.org/abs/2005.04722 has been replaced.
link: https://scholar.google.com/scholar?q=a

Dynamic IFC Theorems for Free!
We show that noninterference and transparency, the key soundness theorems for dynamic IFC libraries, can be obtained "for free", as direct consequences of the more general parametricity theorem of type abstraction. This allows us to give very short soundness proofs for dynamic IFC libraries such as faceted values and LIO. Our proofs stay short even when fully mechanized for Agda implementations of the libraries in terms of type abstraction.

Ew, a #WankPanzer just rolled thru our little town. #JustKeepMovingBro #Cybertruck

Thanks again to the folks who reached out with Firefox tips. Things are moving along and I'm learning, which is why I like to do this kind of thing. My new #Debian 12 webserver #tabarnix is coming together!
I was a little frustrated this morning with some wordpress configurati…

interactome_vidal: Vidal human interactome (2005)
A network of human proteins and their binding interactions. Nodes represent proteins and an edge represents a binding interaction between two proteins, as tested using a high-throughput yeast two-hybrid (Y2H) system.
This network has 3133 nodes and 6726 edges.
Tags: Biological, Protein interactions, Unweighted

@… what is this, 2005 era facebook 😅

interactome_yeast: Coulomb yeast interactome (2005)
A network of protein-protein binding interactions among yeast proteins. Nodes represent proteins found in yeast (Saccharomyces cerevisiae) and an edge represents a binding interaction between two proteins.
This network has 1870 nodes and 2277 edges.
Tags: Biological, Protein interactions, Unweighted

interactome_stelzl: Stelzl human interactome (2005)
A network of human proteins and their binding interactions. Nodes represent proteins and an edge represents an interaction between two proteins, as inferred via high-throughput Y2H experiments using bait and prey methodology.
This network has 1706 nodes and 6207 edges.
Tags: Biological, Protein interactions, Unweighted