Programming in Martin-Lof's Type Theory: An Introduction (1990)
The principles of database design, or, the Truth is out there
France Endorses UN Open Source Principles
Ditching Obsidian and building my own
What do wealthy people buy, that ordinary people know nothing about? (2015)
KDE is finally getting a native virtual machine manager called “Karton”
'Significant amount' of private data stolen in UK Legal Aid hack
Llama from scratch (2023)
“There are people who can see and others who cannot even look”
Show HN: Cogitator – A Python Toolkit for Chain-of-Thought Prompting
Show HN: I modeled the Voynich Manuscript with SBERT to test for structure
Show HN: Job board aggregator for best paying remote SWE jobs in the U.S.
32
0
