A mirror for all the links I post on my personal discord server
Links that I find important will have a star next to them.
NOTE: This list is a mess, but I promise you the links are cool :)
NOTE: This list is so long that it will take some time for it to be synced to my server
- https://stopa.io/post/269 (*)
- http://www.math.wm.edu/~leemis/chart/UDR/UDR.html (*)
- https://www.reddit.com/gallery/tfdd4t (*)
- https://jmlr.csail.mit.edu/reviewing-papers/knuth_mathematical_writing.pdf (*)
- http://www.lomont.org/papers/2003/InvSqrt.pdf
- https://www.nature.com/articles/nature.2016.20491
- https://people.math.harvard.edu/~shani/Teaching/141/141A-Notes.pdf
- https://math.hawaii.edu/~grw/Classes/2009-2010/2009Fall/Math442_1/439notes.pdf
- https://www.esat.kuleuven.be/cosic/projects/isocrypt/workshops/
- http://geometer.org/rubik/group.pdf
- https://www.gametheory.net/
- https://planetmath.org/
- https://www.maths.ed.ac.uk/~v1ranick/papers/wigner.pdf
- https://news.ycombinator.com/item?id=32281536
- https://argumatronic.com/about.html
- https://grossack.site/
- http://pling.jondgoodwin.com/post/rise-of-type-theory/
- https://cp4space.hatsya.com/2022/01/14/conway-conjecture-settled/
- http://brendanfong.com/programmingcats.html
- http://zhat.io/articles/primer-probability-theory
- https://homotopytypetheory.org/book/
- https://www.appliedcategorytheory.org/
- https://www.math.columbia.edu/~woit/wordpress/?p=3056
- https://www.reddit.com/r/math/comments/txca2p/patterns_in_the_cartesian_plane_under_bitwise_xor/
- https://www.mathstat.dal.ca/~selinger/papers/lambdanotes.pdf
- https://brilliant.org/wiki/lucas-theorem/
- https://maxima.sourceforge.io/
- https://bivector.net/doc.html
- http://people.maths.ox.ac.uk/lackenby/tg050908.pdf
- https://researchseminars.org/talk/ToposInstituteColloquium/57/
- https://andrewhead.info/assets/pdf/augmented-formulas.pdf
- https://en.wikipedia.org/wiki/Brzozowski_derivative
- https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
- https://github.com/andrejbauer/homotopy-type-theory-course
- https://matt.might.net/papers/might2011derivatives.pdf
- https://www.andrew.cmu.edu/user/erijke/hott/hott_intro.pdf
- https://www.cl.cam.ac.uk/~amp12/papers/catl/catl.pdf
- https://1lab.dev/
- https://en.wikipedia.org/wiki/Glushkov%27s_construction_algorithm
- https://zenodo.org/record/4457887#.YKPJcvaxVhE
- https://arxiv.org/abs/2106.01484
- https://math.rice.edu/~semmes/ (*)
- https://www.theoremoftheday.org/
- https://en.wikipedia.org/wiki/Proof_of_Bertrand%27s_postulate
- http://abstract.ups.edu/download/aata-20210809.pdf
- https://www.quantamagazine.org/
- https://proofwiki.org/wiki/Category:Proofs
- https://en.yna.co.kr/view/AEN20220705003951320
- https://www.newyorker.com/culture/culture-desk/teaching-myself-calculus-at-sixty-five
- https://www.azimuthproject.org/azimuth/show/Applied+Category+Theory+Course
- https://math.stackexchange.com/questions/1232463/how-to-prove-the-language-of-all-binary-numbers-that-are-prime-is-nonregular-usi/1232511#1232511
- https://github.com/leanprover-community/mathlib
- https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
- https://www.principiarewrite.com/
- https://www.theguardian.com/books/2022/aug/07/could-learning-algebra-in-my-60s-make-me-smarter-alec-wilkinson-a-divine-language-extract
- https://twitter.com/naderi_yeganeh/status/1559914565797830656?s=21&t=NpK3hWYH0MKCBZ78FR5MsA
- https://arxiv.org/pdf/2107.13242.pdf
- https://users.cs.northwestern.edu/~riesbeck/proofs.html
- https://madiot.fr/coq100/
- https://www.cs.uoregon.edu/research/summerschool/archives.html
- http://www.cip.ifi.lmu.de/~grinberg/
- https://www.math.cmu.edu/~ploh/olympiad.shtml
- https://ghoshadi.wordpress.com/
- https://forumgeom.fau.edu/index1.html
- https://proofwiki.org/wiki/ProofWiki:Jokes
- https://github.com/jack4818/maths-theses/blob/main/README.md
- https://betterexplained.com/articles/intuitive-arithmetic-with-complex-numbers/
- https://betterexplained.com/articles/a-visual-intuitive-guide-to-imaginary-numbers/
- https://mathoverflow.net/questions/366765/issue-update-in-graph-theory-different-definitions-of-edge-crossing-numbers
- https://www.reddit.com/r/math/comments/7gqhlc/what_to_say_instead_of_trivially/
- http://www.theproofistrivial.com/
- https://www.reddit.com/r/math/comments/5286ba/math_is_beautiful/
- https://www.reddit.com/r/math/comments/a0g2m2/shitpost_who_is_the_greatest_mathematician_of_all/
- https://realnotcomplex.com/
- https://people.math.harvard.edu/~shani/
- https://seis.bristol.ac.uk/~tz20861/
- https://sites.google.com/view/vantageseminar
- https://arxiv.org/ftp/arxiv/papers/1303/1303.5965.pdf
- https://www.galacticbeyond.com/music-noise/
- https://sites.google.com/view/sarahpetersen/home
- https://rg1-teaching.mpi-inf.mpg.de/autrea-ws21/notes-current.pdf
- https://mathoverflow.net/questions/286732/nonequivalent-definitions-in-mathematics/286751#286751
- https://explained-from-first-principles.com/number-theory/
- https://injuly.in/blog/fourier-series/
- https://dozenal.org/drupal/sites_bck/default/files/db38206_0.pdf
- https://florianstecker.de/Skripte/
- https://www.complexityexplorer.org/
- https://codeforces.com/blog/entry/69287
- https://homepages.cwi.nl/~paulv/papers/info.pdf
- https://math.stanford.edu/~vakil/216blog/
- https://www.zipcon.net/~swhite/docs/math/quaternions/associativity.html
- https://thicketforte.com/
- https://arxiv.org/abs/1804.01193
- https://www.people.vcu.edu/~rhammack/BookOfProof/
- https://aimath.org/textbooks/approved-textbooks/
- https://openlogicproject.org/
- https://dailynous.com/2018/11/07/new-free-open-source-multi-purpose-multi-system-logic-software/
- https://consequently.org/news/2017/twelve-things-i-love/
- https://lilypond.org/
- https://en.wikipedia.org/wiki/Permutoassociahedron
- https://ps.uni-saarland.de/~forster/thesis.php
- https://math.stackexchange.com/questions/64498/probability-that-two-random-numbers-are-coprime-is-frac6-pi2
- https://arxiv.org/abs/1905.03014
- https://arxiv.org/abs/0712.1320
- https://www.cis.upenn.edu/~sweirich/papers/yorgey-thesis.pdf
- https://www2.kenyon.edu/Depts/Math/Milnikel/boolos-godel.pdf
- https://www.nku.edu/~longa/classes/mat385_resources/docs/russellpope.html
- BOOK: Note on a Problem of Alan Sutcliffe
- THESIS: Logic in Color A story and a language of category theory
- https://rjlipton.wpcomstaging.com/2022/04/05/blogs-that-are-current/
- https://11011110.github.io/blog/
- https://mathstrek.blog/
- https://www.math-only-math.com/math-blog.html
- https://blogs.ams.org/matheducation/
- https://www.lesswrong.com/posts/EdFDwjsLNpgtTMJAp/great-mathematicians-on-math-competitions-and-genius
- https://artofproblemsolving.com/community/c2202_math_blog_of_the_former_rising_olympian
- https://proofmathisbeautiful.tumblr.com/
- https://intothecontinuum.tumblr.com/
- https://ldtopology.wordpress.com/
- https://sketchesoftopology.wordpress.com/
- https://isomorphismes.tumblr.com/tagged/mathematics
- https://amathew.wordpress.com/
- https://www.futilitycloset.com/
- https://scottaaronson.blog/
- https://cameroncounts.wordpress.com/
- https://www.johndcook.com/blog/
- https://topologicalmusings.wordpress.com/
- https://davidlowryduda.com/blog/
- https://terrytao.wordpress.com/
- http://blog.tanyakhovanova.com/
- https://gowers.wordpress.com/
- https://mathblogging.org/
- https://rigtriv.wordpress.com/
- https://sbseminar.wordpress.com/
- https://unapologetic.wordpress.com/
- https://mathblog.com/
- https://jeremykun.com/
- https://plus.maths.org/content/
- https://gogeometry.com/
- https://lamington.wordpress.com/
- https://kskedlaya.org/geometryunbound/
- http://www.cut-the-knot.org/index.shtml
- https://scoutmathematics.wordpress.com/
- http://bit-player.org/2022/the-middle-of-the-square
- https://www.cut-the-knot.org/pythagoras/torque.shtml
- https://math.berkeley.edu/~wu/
- https://aareyanmanzoor.github.io/Texromancers.html
- https://raw.githubusercontent.com/vEnhance/dotfiles/main/texmf/tex/latex/evan/evan.sty
- https://detexify.kirelabs.org/classify.html
- https://mirrors.rit.edu/CTAN/macros/latex/contrib/annotate-equations/annotate-equations.pdf
- https://avinayak.github.io/algorithms/programming/2021/02/19/finding-mona-lisa-in-the-game-of-life.html
- https://www.youtube.com/watch?v=oEAa2pQKqQU
- https://doisinkidney.com/posts/2021-03-14-hyperfunctions.html
- https://www.tweag.io/blog/2020-04-23-deriving-isomorphically/
- https://counterexamples.org/
- https://www.reddit.com/r/compsci/comments/u0nvdv/artificial_life_simulation_dark_forest/?ref=share&ref_source=link
- https://overreacted.io/algebraic-effects-for-the-rest-of-us/?utm_source=Morning+Cup+of+Coding&utm_campaign=f563363ee2-EMAIL_CAMPAIGN_2019_07_23_05_30&utm_medium=email&utm_term=0_56b5f64c5f-f563363ee2-56972441
- http://liamoc.net/holbert/
- https://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf
- https://www.cs.cmu.edu/~fp/courses/15814-f19/lectures/
- https://paperswithcode.com/
- https://www.connectedpapers.com/
- https://theory.stanford.edu/~rayyli/teaching.html
- https://yufeizhao.com/
- http://people.cs.uchicago.edu/~fortnow/papers/history.pdf
- https://www.sciencedirect.com/science/article/pii/S0304397515001735
- https://calmcode.io/blog/inverse-turing-test.html
- https://maartenfokkinga.github.io/utwente/mmf91m.pdf
- https://thume.ca/2017/06/17/tree-diffing/
- https://www.cs.cmu.edu/~qinsiw/thesis/q_wang_cs_2016.pdf
- http://tom7.org/papers/
- https://crypto.stanford.edu/~blynn/lambda/
- https://www.hpl.hp.com/techreports/2003/HPL-2003-148.pdf
- https://www.cl.cam.ac.uk/teaching/1617/L28/gadts.pdf
- https://www.sas.upenn.edu/~cavitch/pdf-library/Nagel_Bat.pdf (*)
- https://home.sandiego.edu/~baber/analytic/Lem1979.html (*)
- https://www.cse.unr.edu/~sushil/class/ai/notes/papers/coffeehouse.html (*)
- https://a-blog-with.relevant-information.com/posts/solving_hard_problems_with_intelligent_brute_force_search/
- http://wiki.c2.com/?GlobalVariablesAreBad
- https://www.noulakaz.net/2007/03/18/a-regular-expression-to-check-for-prime-numbers/
- https://arxiv.org/pdf/2203.16713.pdf
- http://blog.kenficara.com/2013/06/30/irregular-language-and-regular-expressions/
- https://blog.burntsushi.net/transducers/
- https://peterellisjones.com/posts/generating-legal-chess-moves-efficiently/
- https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/
- https://ai.googleblog.com/2022/04/pathways-language-model-palm-scaling-to.html
- https://twitter.com/wasmerio/status/1232022730632904705
- https://www.youtube.com/watch?v=sqNnN2Z4Lg4
- https://openjdk.org/projects/amber/
- rust-lang/rust#32838
- https://mail.openjdk.org/pipermail/jdk-dev/2022-May/006549.html
- https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=8aebac82933ff1a7c8eede18cab11e1115e2062b
- https://jbaker.io/2022/05/09/project-loom-for-distributed-systems/
- https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc/
- https://kristoff.it/blog/zig-self-hosted-now-what/
- https://twitter.com/manfightdragon/status/1576768394707161088
- https://twitter.com/LinaAsahi/status/1575343067892051968
- https://archlinux.org/news/removing-python2-from-the-repositories/
- https://devblogs.microsoft.com/commandline/systemd-support-is-now-available-in-wsl/
- https://blog.torproject.org/arti_100_released/
- https://twitter.com/croloris/status/1550955321694330880?s=20&t=r091_jm83tj9MMYhnR_WFw
- https://github.com/readme/featured/functional-programming
- https://blog.rust-lang.org/2022/07/01/RLS-deprecation.html
- https://vimhelp.org/version9.txt.html#new-9
- http://www.paulgraham.com/icad.html (*)
- https://github.com/alhassy/PrologCheatSheet
- https://github.com/golang-design/history
- https://www.morling.dev/blog/loom-and-thread-fairness/
- https://gavinhoward.com/2022/04/i-believe-zig-has-function-colors/
- http://www.thyer.name/phd-thesis/thesis-thyer.pdf
- https://www.pyret.org/index.html
- https://matt.might.net/articles/parsing-with-derivatives/
- https://research.cs.queensu.ca/home/jana/papers/bidir-survey/Dunfield21_bidir-survey.pdf
- https://www.pls-lab.org/en/Domain_Theory
- https://blog.nindalf.com/posts/stop-citing-tiobe/
- https://blog.ironmansoftware.com/daily-powershell/bash-powershell-cheatsheet/
- https://zeux.io/2022/01/08/on-proebstings-law/
- https://vikramoberoi.com/a-primer-on-roaring-bitmaps-what-they-are-and-how-they-work/
- https://www.davidsalomon.name/assem.advertis/asl.pdf
- https://graphics.stanford.edu/~seander/bithacks.html
- https://cronokirby.com/posts/2022/08/the-paper-that-keeps-showing-up/
- https://www.iacr.org/authors/tikz/
- https://arxiv.org/abs/1401.6488
- https://iquilezles.org/ (*)
- https://thebookofshaders.com/ (*)
- https://www.realtimerendering.com/intersections.html (*)
- https://epsln.github.io/blog/indraspearl_pt1/ (*)
- https://coffeebeforearch.github.io/2020/06/23/mmul.html (*)
- https://ninedegreesbelow.com/photography/xyz-rgb.html (*)
- https://www.youtube.com/watch?v=GpsKrAipXm8 (*)
- https://matlib.gpuopen.com/main/materials/all (*)
- https://physicallybased.info/ (*)
- https://www.scratchapixel.com/ (*)
- https://www.gridbugs.org/wave-function-collapse/
- https://www.diva-portal.org/smash/get/diva2:1691141/FULLTEXT01.pdf
- https://www.youtube.com/watch?v=d4EgbgTm0Bg
- https://bauble.studio/
- https://nianticlabs.github.io/simplerecon/
- https://www.youtube.com/watch?v=yG4ChOPyC-4
- https://www.youtube.com/watch?v=GswISjlquoU
- https://www.youtube.com/watch?v=BFld4EBO2RE
- https://medium.com/geekculture/decompiling-nvidia-shaders-and-optimizing-5aeaeb65f828
- https://nothings.org/gamedev/rasterize/
- https://blog.selfshadow.com/
- https://jcgt.org/
- https://qoiformat.org/
- https://github.com/kaveh808/kons-9
- https://mrl.cs.nyu.edu/projects/image-analogies/
- https://rosenzweig.io/blog/asahi-gpu-part-5.html
- https://vksegfault.github.io/posts/gentle-intro-gpu-inner-workings/
- http://simonrodriguez.fr/dragon/
- https://adrianhesketh.com/2022/03/31/use-m1-gpu-with-go/
- https://www.cs.cornell.edu/courses/cs4620/2008fa/lectures/09pipeline.pdf
- https://www.skytopia.com/project/fractal/2mandelbulb.html
- https://www.youtube.com/watch?v=tX4H_ctggYo
- https://github.com/rust-cv
- http://kylehalladay.com/blog/2020/05/20/Rendering-With-Notepad.html
- https://marctenbosch.com/quaternions/
- https://www.youtube.com/watch?v=hwaBaoAPOU0
- https://www.duskborn.com/posts/a-simple-vulkan-compute-example/
- https://www.reddit.com/r/generative/top/
- https://www.reddit.com/r/proceduralgeneration/top/
- https://www.chaoticafractals.com/
- https://www.shadertoy.com/view/flKyzG
- https://www.cis.upenn.edu/~jean/math-deep.pdf (*)
- https://truyentran.github.io/phd.html (*)
- https://www.nature.com/articles/nature14539 (*)
- https://www.inference.org.uk/itprnn/book.pdf (*)
- https://jalammar.github.io/illustrated-stable-diffusion/ (*)
- https://github.com/labmlai/annotated_deep_learning_paper_implementations (*)
- https://bair.berkeley.edu/blog/2022/05/20/crosswords/
- https://www.probabilistic-numerics.org/textbooks/
- https://arxiv.org/pdf/2108.02497.pdf (*)
- https://mml-book.github.io/
- https://towardsdatascience.com/stable-diffusion-best-open-source-version-of-dall-e-2-ebcdf1cb64bc
- https://proceedings.neurips.cc/paper/2017/file/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf
- https://arxiv.org/pdf/1601.06733.pdf
- https://thegradient.pub/graph-neural-networks-beyond-message-passing-and-weisfeiler-lehman/
- http://neuralnetworksanddeeplearning.com/chap1.html
- https://arxiv.org/abs/2003.14169
- https://www.youtube.com/watch?v=Lq-Y7crQo44
- https://spectrum.ieee.org/deep-learning-computational-cost
- https://github.com/vaaaaanquish/Awesome-Rust-MachineLearning
- https://joe-antognini.github.io/ml/consciousness
- https://github.com/MrinmoiHossain/Reinforcement-Learning-Specialization-Coursera/blob/master/Book/Reinforcement%20Learning%20An%20introduction%20(Second%20Edition)%20by%20Richard%20S.%20Sutton%20and%20Andrew%20G.%20Barto.pdf
- https://www.joelsimon.net/evo_floorplans.html
- https://web.stanford.edu/class/psych209/Readings/SuttonBartoIPRLBook2ndEd.pdf
- https://pub.towardsai.net/stable-diffusion-based-image-compresssion-6f1f0a399202
- https://www.ruder.io/
- http://blog.cleancoder.com/uncle-bob/2015/11/18/TheProgrammersOath.html
- https://miles.land/
- http://www.paulgraham.com/gh.html
- https://lucatrevisan.wordpress.com/
- https://prog21.dadgum.com/
- https://prog21.dadgum.com/154.html (*)
- http://www.paulgraham.com/pypar.html (*)
- https://cor3ntin.github.io/posts/abi/ (*)
- https://www.netmeister.org/blog/plagiarism.html (*)
- http://www.paulgraham.com/gba.html (*)
- https://pg.ucsd.edu/publications/Microsoft-Windows-which-bugs-get-reassigned_CSCW-2011.pdf (*)
- https://pg.ucsd.edu/publications/Microsoft-Windows-which-bugs-get-reassigned_CSCW-2011.pdf (*)
- srevinsaju/Firefox-Appimage#26 (*)
- https://www.youtube.com/watch?v=bOzaimWuWec (*)
- uBlockOrigin/uBlock-issues#338 (*)
- https://artemis.sh/2022/08/21/this-program-is-illegally-packaged-in-14-distributions.html (*)
- https://dkb.blog/p/google-search-is-dying
- https://www.nature.com/articles/d41586-022-01516-2
- https://corecursive.com/040-tech-evangelism-with-gabriel-gonzalez/
- https://9to5mac.com/2022/05/25/duckduckgo-privacy-microsoft-permission-tracking/
- https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/
- https://www.fsf.org/licensing/copilot
- https://www.theatlantic.com/technology/archive/2014/08/advertising-is-the-internets-original-sin/376041/
- https://rally.mozilla.org/current-studies/
- https://www.reddit.com/r/TikTokCringe/comments/w1vte4/cs_students_showing_how_anyone_can_be_misogynistic/
- https://kotaku.com/unity-john-riccitiello-monetization-mobile-ironsource-1849179898
- https://docs.github.com/en/code-security/secret-scanning/secret-scanning-partner-program
- https://velvetshark.com/articles/why-do-brands-change-their-logos-and-look-like-everyone-else
- http://yosefk.com/blog/redundancy-vs-dependencies-which-is-worse.html
- https://www.businessinsider.com/nearly-half-genz-use-tiktok-instagram-over-google-search-2022-7
- https://techbeacon.com/app-dev-testing/test-production-yes-you-can-you-should
- https://web.stanford.edu/class/cs240/old/sp2014/readings/worse-is-better.html
- https://www.pcgamer.com/hacker-jailbreaks-control-unit-that-stops-farmers-repairing-their-tractors-then-runs-doom-on-it/
- https://ghuntley.com/fracture/
- https://aestheticsforbirds.com/2021/02/12/the-house-never-loses-how-microtransactions-exploit-video-game-players/
- https://cfenollosa.com/blog/after-self-hosting-my-email-for-twenty-three-years-i-have-thrown-in-the-towel-the-oligopoly-has-won.html
- https://twitter.com/stephenlacy/status/1554697077430505473
- https://interviewing.io/blog/google-facebook-hiring-freeze
- https://www.theguardian.com/technology/2022/sep/05/i-didnt-want-it-anywhere-near-me-how-the-apple-airtag-became-a-gift-to-stalkers
- https://arstechnica.com/tech-policy/2022/09/ntsb-wants-alcohol-detection-systems-installed-in-all-new-cars-in-us/
- https://dejanmarketing.com/competitor-hack/
- https://www.abc.net.au/news/2022-11-14/former-prisoner-struggling-with-the-use-of-technology/101641072
- https://stopscanningme.eu/en/
- https://www.youtube.com/watch?v=WC1kPtG8Iz8
- https://www.vice.com/en/article/pkgma8/police-are-using-dna-to-generate-3d-images-of-suspects-theyve-never-seen
- https://iai.tv/articles/an-irrational-world-camus-auid-1578&utm_source=reddit&_auid=2020
- https://www.consumerreports.org/electronics-computers/privacy/tiktok-tracks-you-across-the-web-even-if-you-dont-use-app-a4383537813/
- https://mashable.com/article/meta-facebook-ai-chatbot-racism-donald-trump
- https://shorterlife.github.io/challenge/ (*)
- https://penrose.ink/
- https://cdn.discordapp.com/attachments/530604566794862612/965494123878551592/Pinouts_V0.3.pdf
- http://www.phrack.org/issues/7/3.html
- https://sites.google.com/eng.ucsd.edu/ucsdbookgraph/home
- https://github.com/vadimdemedes/ink
- https://www.getzola.org/documentation/getting-started/overview/
- https://dirk.rave.org/combinatris/
- https://makeavideo.studio/
- https://tauri.app/
- https://btm.qva.mybluehost.me/building-arbitrary-life-patterns-in-15-gliders/ (*)
- https://www.inkandswitch.com/end-user-programming/ (*)
- https://utf8everywhere.org/ (*)
- https://github.com/corollari/linusrants (*)
- https://mrotherguy.github.io/ToyfoCSS/
- https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
- https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.222.6996&rep=rep1&type=pdf
- https://nedbatchelder.com/text/unipain.html
- http://http://http://@http://http://?http://#http://
- https://github.com/girliemac/a-picture-is-worth-a-1000-words
- https://archivesspace.mit.edu/repositories/2/resources/1305
- https://practicaltypography.com/
- https://dustri.org/b/horrible-edge-cases-to-consider-when-dealing-with-music.html
- https://medium.com/@sdboyer/so-you-want-to-write-a-package-manager-4ae9c17d9527
- https://www.expasy.org/
- https://prog21.dadgum.com/149.html
- https://world.hey.com/dhh/programmers-should-stop-celebrating-incompetence-de1a4725
- https://github.com/csurfer/pyheat
- https://nlp.stanford.edu/projects/glove/
- https://gwern.net/co2-coin
- https://www.cs.uic.edu/~jbell/CourseNotes/OperatingSystems/
- https://github.com/system-f/fp-course
- https://www.cs.rice.edu/~as143/COMP480_580_Fall22/index.html
- https://github.com/dddrrreee/cs240lx-22spr/blob/main/labs/README.md
- https://github.com/dddrrreee/cs140e-20win
- https://student.cs.uwaterloo.ca/~cs452/S22/
- https://peterellisjones.com/posts/generating-legal-chess-moves-efficiently/
- https://plfa.github.io/
- https://leanprover-community.github.io/learn.html
- https://www.cis.upenn.edu/~cis1940/fall16/
- https://mukulrathi.com/create-your-own-programming-language/intro-to-type-checking/
- http://aosabook.org/en/llvm.html
- https://github.com/jbrkr/Category_Theory_Natural_Language_Processing_NLP
- https://github.com/MattPD/cpplinks
- https://cirosantilli.com/x86-paging
- https://doc.rust-lang.org/stable/rust-by-example/
- https://github.com/chassing/linux-sysadmin-interview-questions
- https://www.leshenko.net/p/ugit/#
- https://github.com/codecrafters-io/build-your-own-x
- https://vim.rtorr.com/
- https://kean.blog/post/lets-build-regex
- https://g-w1.github.io/blog/zig/low-level/2021/03/15/elf-linux.html
- https://forem.julialang.org/wikfeldt/a-brief-tour-of-julia-for-high-performance-computing-5deb
- https://pragprog.com/titles/rshaskell/effective-haskell/
- https://www.cis.upenn.edu/~cis1940/spring13/lectures/01-intro.html
- https://scipy-lectures.org/advanced/advanced_numpy/index.html#advanced-numpy
- https://hal.inria.fr/inria-00564007/document
- https://blog.paperspace.com/numpy-optimization-vectorization-and-broadcasting/
- https://github.com/rougier/scientific-visualization-book
- https://jfmc.github.io/z3-play/
- https://ordep.dev/posts/my-favorite-papers
- https://rust-unofficial.github.io/patterns/ (*)
- https://dylanj.xyz/posts/rust-coq-opaque-types/ (*)
- rust-lang/rust#84056 (comment) (*)
- https://itsallaboutthebit.com/arc-mutex/ (*)
- https://blog.yoshuawuyts.com/unsafe-syntax/ (*)
- https://recursion.wtf/posts/rust_schemes/ (*)
- https://recursion.wtf/posts/rust_schemes_2/ (*)
- https://sdleffler.github.io/RustTypeSystemTuringComplete/ (*)
- https://www.thecodedmessage.com/posts/2022-07-14-programming-unwrap/ (*)
- https://zdimension.fr/how-i-learned-to-stop-worrying-and-love-macros/ (*)
- https://nnethercote.github.io/perf-book/title-page.html (*)
- https://rust-lang.github.io/api-guidelines/about.html (*)
- https://cheats.rs/
- https://wishawa.github.io/posts/thread-scoped-async/
- https://aturon.github.io/blog/2015/09/18/reuse/
- http://cosmic.mearie.org/2014/01/periodic-table-of-rust-types/
- https://blog.m-ou.se/rust-cpp-concurrency/
- https://cglab.ca/%7Eabeinges/blah/rust-btree-case/
- https://fasterthanli.me/articles/proc-macro-support-in-rust-analyzer-for-nightly-rustc-versions
- https://github.com/Byron/gitoxide
- https://github.com/Kindelia/HVM
- https://github.com/RWTH-OS/eduOS-rs
- https://github.com/RayMarch/ferris3d
- https://github.com/charliermarsh/ruff
- https://github.com/dtolnay/trybuild
- https://github.com/hermitcore/rusty-hermit
- https://github.com/huhu/rust-search-extension
- https://github.com/kaist-cp/cs220
- https://github.com/matklad/cargo-xtask
- https://github.com/mgattozzi/whorl
- https://github.com/rulex-rs/pomsky
- rust-lang/rust#43122
- https://github.com/rust-unofficial/awesome-rust
- https://github.com/tlepoint/fhe.rs
- https://github.com/yoav-lavi/melody
- https://github.com/zesterer/chumsky
- https://neosmart.net/blog/2022/implementing-truly-safe-semaphores-in-rust/
- https://people.kernel.org/linusw/rust-in-perspective
- https://robert.kra.hn/posts/2022-09-09-speeding-up-incremental-rust-compilation-with-dylibs/
- https://rust-lang.github.io/rfcs/3191-debugger-visualizer.html#summary
- https://towardsdatascience.com/nine-rules-for-writing-python-extensions-in-rust-d35ea3a4ec29
- https://www.possiblerust.com/pattern/non-generic-inner-functions
- https://www.reddit.com/r/rust/comments/w521tx/cpp_for_rust_users/
- https://www.youtube.com/watch?time_continue=2&v=-l-8WrGHEGI&feature=emb_title
- https://www.youtube.com/watch?v=Ak7kDY3_eMI
- https://youtu.be/6-8-9ZV-2WQ
- https://youtu.be/iuY4CTCmClg
- https://www.crowdstrike.com/blog/data-science-test-drive-of-rust-programming-language/
- https://github.com/rust-ml/linfa
- https://github.com/Rust-GPU/Rust-CUDA
- https://github.com/tensorflow/rust
- https://able.bio/haixuanTao/data-manipulation-polars-vs-rust--3def44c8
- https://www.orchest.io/blog/the-great-python-dataframe-showdown-part-3-lightning-fast-queries-with-polars
- https://booksdrive.org/wp-content/uploads/2022/03/The-Pragmatic-Programmer-by-Andrew-Hunt-David-Hurst-Thomas.pdf (*)
- https://ibm.github.io/neuro-symbolic-ai/events/ns-summerschool2022/ (*)
- https://hackernewsbooks.com/
- https://divisbyzero.com/tales-of-impossibility/
- https://softwarefoundations.cis.upenn.edu/
- https://algebradriven.design/
- https://thinkingwithtypes.com/
- https://mitpress.mit.edu/9780262045490/
- https://github.com/joeycastillo/The-Open-Book
- https://github.com/hackerkid/Mind-Expanding-Books
- https://github.com/hmemcpy/milewski-ctfp-pdf/
- https://standardebooks.org/
- http://learnyouahaskell.com/
- 99 Variations on a Proof
- https://the-eye.eu/public/Books/
- https://scalawagmagazine.org/2021/09/banned-books-texas-prisons/
- https://americanlibrariesmagazine.org/blogs/the-scoop/prisoners-pay-to-read-prison-tablets/
- https://codersatwork.com/
- https://link.springer.com/book/10.1007/978-0-387-48278-1
- https://dev.realworldocaml.org/index.html
- https://www.gutenberg.org/
- https://www.youtube.com/watch?v=W4Mcuh38wyM (*)
- https://www.youtube.com/watch?v=f6Dh5NjlZMk
- https://www.youtube.com/watch?v=JH_Ou17_zyU
- https://www.youtube.com/watch?v=KH8z1IbXelk
- https://www.youtube.com/playlist?list=PL0OBHndHAAZrGQEkOZGyJu7S7KudAJ8M9
- https://www.youtube.com/playlist?list=PLK_sH5jbkYciCyOTllsGyHVcHErHhtnZZ
- https://www.youtube.com/c/AlphaPhoenixChannel
- https://www.youtube.com/watch?v=50zPH63AdUA
- https://www.youtube.com/playlist?list=PLi01XoE8jYoi3SgnnGorR_XOW3IcK-TP6
- https://www.youtube.com/playlist?list=PLL61h44ln0J0Pbs2EPR71wn-8wvwxHI9z
- https://www.reddit.com/r/theydidthemath/comments/vizp1l/offsite_folding_a_piece_of_paper_42_times_would/
- https://www.youtube.com/watch?v=bOXCLR3Wric
- https://www.youtube.com/watch?v=UJp4q2D2Nh0
- https://www.youtube.com/watch?v=uyS1cXrsgIg
- https://www.reddit.com/r/DHExchange/comments/wsi1gd/sharing_my_archive_of_richard_borcherdss_lectures/
- https://www.youtube.com/watch?v=KhfZK5IIK9E
- https://www.youtube.com/watch?v=3gyHKCDq1YA
- https://www.youtube.com/watch?v=dwNxVpbEVcc
- https://www.youtube.com/watch?v=8x374slJGuo
- https://www.youtube.com/watch?v=zR_hpai3XkY
- https://www.youtube.com/watch?v=88BA8aO3qXA
- https://www.youtube.com/watch?v=icrXmYHnU9E
- https://www.youtube.com/watch?v=9syvZr-9xwk&list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY
- https://www.youtube.com/c/t3ssel8r
- https://github.com/zhuowei/nft_ptr
- https://blog.plover.com/prog/burritos.html
- https://leanprover.github.io/
- https://rudism.com/vim-creep/
- https://regexcrossword.com/
- http://jimbly.github.io/regex-crossword/
- https://stackoverflow.com/questions/17279712/what-is-the-smallest-possible-valid-pdf/17280876#17280876
- https://www.eecs.harvard.edu/htk/phdadvice/#1 (*)
- https://karpathy.github.io/2016/09/07/phd/ (*)
- https://matt.might.net/articles/what-cs-majors-should-know/ (*)
- https://web.stanford.edu/class/ee384m/Handouts/HowtoReadPaper.pdf (*)
- https://jsomers.net/i-should-have-loved-biology/ (*)
- https://www.cs.toronto.edu/~miller/resources.html
- https://github.com/mtdvio/every-programmer-should-know
- https://cs.stanford.edu/people/widom/paper-writing.html
- https://matt.might.net/articles/how-to-apply-and-get-in-to-graduate-school-in-science-mathematics-engineering-or-computer-science/
- https://conquer.cra.org/students/applying
- https://reufinder.com/
- https://graduate.dartmouth.edu/student-support/career-services/interview-practice-techniques/interviewing-academic-job
- https://refactoring.guru/design-patterns/catalog
- https://ibm.github.io/neuro-symbolic-ai/events/ns-summerschool2022/
- https://www.redblobgames.com/
- https://hackingcpp.com/cpp/cheat_sheets.html
- http://www.paulgraham.com/college.html
- https://noted.lol/back-to-school-self-hosted-edition/
- https://pub.towardsai.net/make-your-matplotlib-plots-stand-out-using-this-cheat-sheet-8c666de90433
- https://prog21.dadgum.com/190.html
- http://www.paulgraham.com/noob.html
- https://prog21.dadgum.com/80.html
- https://blog.rust-lang.org/inside-rust/2022/04/19/imposter-syndrome.html
- https://nomadlist.com/
- https://prog21.dadgum.com/210.html
- https://www.thinkful.com/blog/why-learning-to-code-is-so-damn-hard/
- https://overreacted.io/things-i-dont-know-as-of-2018/
- https://www.natolambert.com/writing/ai-phd-job-hunt
- https://engineering.virginia.edu/internships-and-summer-experiences-1st-and-2nd-years
- https://cims.nyu.edu/ai/educational-programs/pathways-ai/
- https://restofworld.org/2021/bringing-urdu-into-the-digital-age/
- https://github.com/gentaiscool/code-switching-papers
- https://blog.juliosong.com/linguistics/mathematics/a-new-application-of-category-theory-in-linguistics-part-1/#top
- https://golem.ph.utexas.edu/category/2018/02/linguistics_using_category_the.html
- https://johncarlosbaez.wordpress.com/2018/02/11/linguistics-using-category-theory/
- https://www.denizcemonduygu.com/philo/browse/