April 2023 Archive
26105.
On the design of a gradual dependently typed language for programming
(open.library.ubc.ca)
26107.
Artificial Inanity Systems (2014)
(englishwotd.wordpress.com)
26109.
The ‘Genesis’ of today’s recruiting crisis
(militarytimes.com)
26112.
Global Counterspace Capabilities Report
(swfound.org)
26113.
The Blind Spots of Data-Regulation Compliance
(techbeacon.com)
26114.
Trash Barrel Robots in the City
(dl.acm.org)
26117.
A neural network in TypeScript's type system
(twitter.com)
26121.
QEMU-System-Ia64
(github.com)
26127.
Juice mission blasts off to Jupiter to look for signs of life
(theguardian.com)
26130.
Welcome to Numerical Elixir
(github.com)