DOTS from double theories
topos.instituteΒ·11h
πŸ”Cryptography
Flag this post
Gottlob Frege’s Linguistic Concepts Explained
thecollector.comΒ·1h
πŸ”Cryptography
Flag this post
Just know stuff (or, how to achieve success in a machine learning PhD) (2023)
kidger.siteΒ·7hΒ·
Discuss: Hacker News
πŸ”Cryptography
Flag this post
ASD – Barriers and Pathways in Formal and Self-Diagnosis
codeberg.orgΒ·3hΒ·
Discuss: Hacker News
πŸ”Cryptography
Flag this post
Virtual Bodies and Flickering Signifiers | Katherine Hayles
web.archive.orgΒ·8h
πŸ”Cryptography
Flag this post
PCT quantum symmetries -- section
ncatlab.orgΒ·2d
πŸ”Cryptography
Flag this post
Oregon outlasts Iowa with clutch drive to bolster Playoff chances
nytimes.comΒ·23m
πŸ¦€Rust
Flag this post
Show HN: Computational Metaphysics: Zeroth Implementation of Grover's and Shor's
polymetron.substack.comΒ·12hΒ·
Discuss: Substack
πŸ”Cryptography
Flag this post
Differentiation and how it could be the reason why reality exists
carlo-htgdc.medium.comΒ·2dΒ·
Discuss: Hacker News
πŸ”Cryptography
Flag this post
An introduction to computer algebra (2018)
corywalker.meΒ·1hΒ·
Discuss: Hacker News
πŸ”Cryptography
Flag this post
Insofar As I Think LLMs "Don't Really Understand Things", What Do I Mean By That?
lesswrong.comΒ·1h
πŸ”Cryptography
Flag this post
How Single Responsibility proves that OOP is madness
youtube.comΒ·17hΒ·
Discuss: r/programming
πŸ”Cryptography
Flag this post
The Secret Life of Python: The Descriptor Protocol - How Properties Really Work
dev.toΒ·19hΒ·
Discuss: DEV
βš—οΈElixir
Flag this post
Whitespace Esolang
esolangs.orgΒ·3hΒ·
Discuss: Hacker News
πŸ”Cryptography
Flag this post
Good Code Is Like a Good Joke: It Needs No Explanation
codecurious.devΒ·8hΒ·
Discuss: r/programming
πŸ¦€Rust
Flag this post
Unpicking How to Measure the Complexity of Knots
wired.comΒ·13h
πŸ”Cryptography
Flag this post
Resource recommendations for someone with a degree but little practical experience
reddit.comΒ·10hΒ·
πŸ¦€Rust
Flag this post
Generalized Witt and Morita equivalences
arxiv.orgΒ·3d
πŸ”Cryptography
Flag this post
Aeruta
taniyn.questΒ·1h
πŸ¦€Rust
Flag this post