2026-09-20 08:42:02
from my link log —
Lambda calculus diagrams.
https://tromp.github.io/cl/diagrams.html
saved 2020-10-04 https://dotat.at/:/5LRAR.html
from my link log —
Lambda calculus diagrams.
https://tromp.github.io/cl/diagrams.html
saved 2020-10-04 https://dotat.at/:/5LRAR.html
from my link log —
Capability-based computer systems. (1984)
https://homes.cs.washington.edu/~levy/capabook/
saved 2020-03-08 https://
[Gift Article]
At first glance, the Trump administration’s deployment of more than 200 F.B.I. analysts to Georgia this week seems to be another stubborn assault on a fact that has refused to budge:
Despite the president’s baseless claims, no evidence of fraud in the 2020 election has ever surfaced there.
But critics contend that it is just one piece of a broader effort to sow doubt about the electoral process itself
and the integrity of elections to come.
And no matt…
„Im Zuge der Covid-19-Pandemie spendete sie im April 2020 eine Million US-Dollar für die Forschung am Vanderbilt University Medical Center in Nashville. Im November 2020 wurde bekanntgegeben, dass #Parton|s Spende maßgeblich zur Entwicklung des Moderna-Impfstoffs beigetragen habe.“
mist: MIST protein interaction database (2020)
The Molecular Interaction Search Tool (MIST) is a comprehensive resource of molecular interactions, assembled from severla primary sources. MIST currently supports several species, including:.
This network has 7272 nodes and 165705 edges.
Tags: Biological, Protein interactions, Unweighted
…
Jason Hickel (2020): Weniger ist mehr (Vorwort Maja Göpel)
https://www.oekom.de/buch/weniger-ist-mehr-9783987260292
Gesundschrumpfen vom exponentiellen Wachstum und Tauschwert zu Gebrauchswert nach gerechten Regeln.
1/2
from my link log —
Query-based compiler architectures.
https://ollef.github.io/blog/posts/query-based-compilers.html
saved 2020-06-25 ht…