GitHub Statistics
(ossinsight.io)
2022 Archive
15481.
15482.
The future of interactive theorem proving?
(xenaproject.wordpress.com)
15483.
Devouring the Heart of Portugal
(damninteresting.com)
15484.
15485.
Datafrog: A lightweight Datalog engine in Rust
(github.com)
15486.
Picol, a Tcl interpreter in 550 lines of C code
(oldblog.antirez.com)
15487.
GameBoy Graphics Part 2: Tile Maps [video]
(youtube.com)
15488.
50 Years of Text Games: The End of a Journey
(if50.substack.com)
15489.
Physics in Clojure: Elliptical Paths
(twitter.com)
15491.
15492.
Big money, nuclear subsidies, and systemic corruption (2021)
(thebulletin.org)
15493.
Asia’s advanced economies now have lower birth rates than Japan
(economist.com)
15494.
15495.
Author warns about 'epidemic of self-censorship'
(bbc.co.uk)
15496.
15497.
EVs are the least reliable vehicle type: Consumer Reports
(finance.yahoo.com)
15498.
Silicon Valley offices less empty than other regions
(paloaltoonline.com)
15499.
15501.
15502.
15503.
Why is the terminal input so weird?
(warp.dev)
15504.
An Interview with Jerry Seinfeld (2017)
(hbr.org)
15505.
Crypto leads to surge in online scams
(axios.com)
15506.
15507.
15508.
15509.
15510.
My journey for dual displays with my M1 Pro Mac (2021)
(derekseaman.com)