Satellite Hacking Demystified
https://redteamrecipe.com/Satellite-Hacking-Demystified/
https://redteamrecipe.com/Satellite-Hacking-Demystified/
Forwarded from epic links / resources (Ξ»βΈΈβ‘.βΈΈβ‘)
Artificial General Intelligent: Introduction
https://cis.temple.edu/~pwang/AGI-Intro.html
https://cis.temple.edu/~pwang/AGI-Intro.html
Exploring the Internals of Linux v0.01 https://seiya.me/blog/reading-linux-v0.01
seiya.me
Exploring the internals of Linux v0.01
Cargo Cult Science by Richard P. Feynman (1974) [pdf] https://calteches.library.caltech.edu/51/2/CargoCult.pdf
Forwarded from Hacker News (yahnc_bot)
MLIR For Beginners: A series of articles on the MLIR framework https://github.com/j2kun/mlir-tutorial
GitHub
GitHub - j2kun/mlir-tutorial: MLIR For Beginners tutorial
MLIR For Beginners tutorial. Contribute to j2kun/mlir-tutorial development by creating an account on GitHub.
Online Historical Encyclopaedia of Programming Languages
http://hopl.info/
http://hopl.info/
Large Language Models: Compilers for the 4th Gen of Programming Languages? [pdf] https://drops.dagstuhl.de/opus/volltexte/2023/18524/pdf/OASIcs-SLATE-2023-10.pdf
RedHotel:_A_Prolific,_Chinese_State_Sponsored_Group_Operating_at.pdf
3.7 MB
RedHotel: A Prolific, Chinese State-Sponsored Group Operating at a Global Scale
Writing a Package Manager https://antonz.org/writing-package-manager/
antonz.org
Writing a package manager
Without spending a year on it.
π1
Forwarded from Hacker News (yahnc_bot)
Is Computer Hacking a Crime? (1989) [pdf] https://faculty.weber.edu/apainter1/Readings/Hacking%20a%20Crime.pdf
Programming as Theory Building (1985) [pdf] https://algoritmos-iii.github.io/assets/bibliografia/programming-as-theory-building.pdf
Forwarded from Compsci Library π
How to write correct code by construction using the Coq Proof Assistant https://betterprogramming.pub/a-taste-of-coq-and-correct-code-by-construction-111bf74d3b98
Medium
A Taste of Coq and Correct Code by Construction
How to write correct code by construction using the Coq Proof Assistant