{"id":18584968,"url":"https://github.com/bor0/misc","last_synced_at":"2025-04-10T12:30:59.197Z","repository":{"id":145916349,"uuid":"60490071","full_name":"bor0/misc","owner":"bor0","description":"Misc playground and random stuff","archived":false,"fork":false,"pushed_at":"2024-12-04T11:01:31.000Z","size":3614,"stargazers_count":6,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-24T21:22:28.923Z","etag":null,"topics":["assembly","books","c","coq","haskell","idris","javascript","playground","scheme"],"latest_commit_sha":null,"homepage":"","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/bor0.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2016-06-06T01:29:21.000Z","updated_at":"2024-12-04T11:01:43.000Z","dependencies_parsed_at":"2023-11-26T01:25:40.625Z","dependency_job_id":"68ca2513-b58a-4b52-878d-f67efad3051d","html_url":"https://github.com/bor0/misc","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fmisc","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fmisc/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fmisc/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bor0%2Fmisc/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/bor0","download_url":"https://codeload.github.com/bor0/misc/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248217126,"owners_count":21066633,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["assembly","books","c","coq","haskell","idris","javascript","playground","scheme"],"created_at":"2024-11-07T00:29:40.092Z","updated_at":"2025-04-10T12:30:58.517Z","avatar_url":"https://github.com/bor0.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"Misc playground\n===============\nIn this repository you will find a lot of stuff which I've been practicing throughout the years. I have a bunch of other stuff on my other computers, so as soon as I sort them I will be posting them here.\n\nHere's a list of interesting stuff that I have read or am reading.\n\n# Technical books\n\n1. Introducing Software Verification with Dafny Language [#](https://www.amazon.com/dp/1484279778)\n1. Gentle Introduction to Dependent Types with Idris [#](https://www.amazon.com/dp/1723139416)\n1. Introducing Blockchain with Lisp [#](https://www.amazon.com/dp/1484269683)\n1. How To Prove It [#](https://www.amazon.com/dp/1108439535)\n1. Proofs and Concepts [#](http://people.uleth.ca/~dave.morris/books/proofs+concepts.html)\n1. Learn You a Haskell for Great Good! [#](https://www.amazon.com/dp/1593272839)\n1. The Little Schemer [#](https://www.amazon.com/dp/0262560992)\n1. The C Programming Language [#](https://www.amazon.com/dp/0131103628)\n1. The Pragmatic Programmer [#](https://www.amazon.com/dp/020161622X)\n1. Structure and Interpretation of Computer Programs [#](https://www.amazon.com/dp/0262510871)\n1. JavaScript Patterns [#](https://www.amazon.com/dp/0596806752)\n1. Competetive Programmer's Handbook [#](https://www.amazon.com/dp/3319725467)\n1. Software Foundations Vol. 1: Logic [#](https://softwarefoundations.cis.upenn.edu/lf-current/toc.html)\n1. Metamath [#](https://www.amazon.com/dp/1411637240)\n1. Gödel, Escher, Bach [#](https://www.amazon.com/dp/0465026567)\n1. Naive Set Theory [#](https://www.amazon.com/dp/1614271313)\n1. Thinking as Computation [#](https://www.amazon.com/dp/0262016990)\n\n# Tutorials/papers\n\n1. My papers [#](https://scholar.google.com/citations?user=lqCxESMAAAAJ)\n1. Win32asm tutorial [#](http://www.madwizard.org/download/tutors/win32asmtutorial.zip)\n1. DBMS Lecture Notes [#](http://www.cs.sfu.ca/CourseCentral/354/zaiane/material/notes/contents.html)\n1. Lambda calculus [#](https://en.wikipedia.org/wiki/Lambda__calculus)\n1. Prolog [#](https://staff.science.uva.nl/u.endriss/teaching/prolog/prolog.pdf)\n1. Idris tutorial [#](http://docs.idris-lang.org/en/latest/tutorial)\n1. McCarthy's LISP [#](http://www-formal.stanford.edu/jmc/recursive.pdf)\n1. Hoare logic [#](https://www.cs.cmu.edu/~crary/819-f09/Hoare69.pdf)\n1. LambdaPi tutorial [#](https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf)\n1. How to write a great research paper [#](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/How-to-write-a-great-research-paper.pdf)\n1. How to write proofs: a quick guide [#](https://deopurkar.github.io/teaching/algebra1/cheng.pdf)\n1. Mathematics and Faith [#](https://web.math.princeton.edu/~nelson/papers/faith.pdf)\n1. Propositions as Types [#](http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf)\n\n# Misc. reads\n\n1. A Mathematician's Lament [#](https://www.maa.org/external_archive/devlin/LockhartsLament.pdf)\n1. The Laws of Simplicity [#](https://www.amazon.com/dp/0262134721)\n1. Redesigning Leadership [#](https://www.amazon.com/dp/0262015889)\n1. The Alchemist [#](https://www.amazon.com/dp/0061122416)\n1. Bobby Fischer Teaches Chess [#](https://www.amazon.com/dp/0553263153)\n1. The Art of Learning [#](https://www.amazon.com/dp/0743277465)\n1. The Queen's Gambit [#](https://www.amazon.com/dp/1400030609)\n1. Darkly Dreaming Dexter [#](https://www.amazon.com/dp/0307277887)\n1. Thinking, Fast and Slow [#](https://www.amazon.com/dp/0374533555)\n1. The Lady or the Tiger? [#](https://www.amazon.com/dp/048647027X)\n1. The Gödelian Puzzle Book [#](https://www.amazon.com/dp/0486497054)\n1. What Is the Name of This Book? [#](https://www.amazon.com/dp/0486481980)\n1. On faith, unbelief, and doubt (Metropolitan Benjamin)\n1. Spirit, Soul, Body [#](https://www.amazon.com/dp/9079889431)\n1. Philosophy for Everyone [#](https://www.amazon.com/dp/1138672947)\n1. Sophie's World [#](https://www.amazon.com/dp/0374530718)\n\nBoro Sitnikovski\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbor0%2Fmisc","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbor0%2Fmisc","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbor0%2Fmisc/lists"}