Pinboard (otlib)
https://pinboard.in/u:otlib/public/
recent bookmarks from otlibGödel’s first incompleteness theorem – an interactive tutorial | Hacker News2022-10-18T06:06:47+00:00
https://news.ycombinator.com/item?id=33236447
otlibgodel turing theorem tutorial incompletness logic learninghttps://pinboard.in/https://pinboard.in/u:otlib/b:4fc4e3c8269f/Gödel, Escher, Bach: an in-depth explainer | Hacker News2022-09-14T16:40:16+00:00
https://news.ycombinator.com/item?id=32827209
otlibbooks godel escher bach logic consciousness philosophy religion cognition self brainhttps://pinboard.in/https://pinboard.in/u:otlib/b:b7f3c4b7f37b/Conterintuitive facts in mathematics, CS, and physics | Hacker News2021-10-06T07:27:32+00:00
https://news.ycombinator.com/item?id=28764416
otlibphysics math science logic facts toread intuition learning thinking puzzles fallacy paradoxhttps://pinboard.in/https://pinboard.in/u:otlib/b:4a1306268e64/The most counterintuitive facts in all of mathematics, computer science, and physics - by Alexander Kruel - Axis of Ordinary2021-10-06T07:15:26+00:00
https://axisofordinary.substack.com/p/the-most-counterintuitive-facts-in
otlibphysics math science logic facts toread intuition learning thinking puzzles fallacy paradoxhttps://pinboard.in/https://pinboard.in/u:otlib/b:ae43d96779c0/Category Theory Illustrated – Logic | Hacker News2021-09-27T06:37:23+00:00
https://news.ycombinator.com/item?id=28660157
otlibmath logic category_theory theoryhttps://pinboard.in/https://pinboard.in/u:otlib/b:6e331f1c7f2a/Category Theory Illustrated - Logic2021-09-27T06:37:02+00:00
https://boris-marinov.github.io/category-theory-illustrated/05_logic/
otlibcategory_theory math logic theoryhttps://pinboard.in/https://pinboard.in/u:otlib/b:19ffffcaf96f/Work Hard (2007) | Hacker News2021-08-27T12:21:22+00:00
https://news.ycombinator.com/item?id=28318972
otlibadvice career learning math life brain work logic genius programming engineering lifehacks ethichttps://pinboard.in/https://pinboard.in/u:otlib/b:ea9bf3f360df/Work hard | What's new2021-08-27T12:21:12+00:00
https://terrytao.wordpress.com/career-advice/work-hard/
otlibadvice career learning math life brain work logichttps://pinboard.in/https://pinboard.in/u:otlib/b:025843680d20/JsonLogic | Hacker News2021-05-28T13:18:04+00:00
https://news.ycombinator.com/item?id=27306263#27310388
otlibjson xml logic databaseshttps://pinboard.in/https://pinboard.in/u:otlib/b:ca583e63f32b/A century ago Ludwig Wittgenstein changed philosophy | Hacker News2021-05-23T13:42:42+00:00
https://news.ycombinator.com/item?id=27242868
otlibphilosophy wittgenstein economist article hn logic life knowledge learninghttps://pinboard.in/https://pinboard.in/u:otlib/b:8913a8f9b981/The Unparalleled Genius of John von Neumann - Cantor's Paradise2021-05-19T19:03:09+00:00
https://cantorsparadise.substack.com/p/the-unparalleled-genius-of-john-von-beb
otlibbiography history math logic philosophy physics geniushttps://pinboard.in/https://pinboard.in/u:otlib/b:52c0bfef5aff/Which answer in this list is the correct answer to this question? (2017) | Hacker News2019-11-15T17:08:48+00:00
https://news.ycombinator.com/item?id=21543377
otlibprobability math logic puzzle python prologhttps://pinboard.in/https://pinboard.in/u:otlib/b:5eb70b8386e6/A Philosopher Reviews Judea Pearl's “The Book of Why” | Hacker News2019-09-06T16:31:28+00:00
https://news.ycombinator.com/item?id=20889143
otlibphilosophy hn programming science logic statistics ai data book toreadhttps://pinboard.in/https://pinboard.in/u:otlib/b:8d6b22c1ce43/Gödel's Ontological Proof | Hacker News2019-07-29T18:58:14+00:00
https://news.ycombinator.com/item?id=20549080
otlibproof god theology hn logichttps://pinboard.in/https://pinboard.in/u:otlib/b:9419151a1b4a/Second-Order Thinking: What Smart People Use to Outperform (2016) | Hacker News2019-04-07T10:58:18+00:00
https://news.ycombinator.com/item?id=19577742
otlibsystems thinking productivity enlightened brain logic future neuroscience motivation psychology successhttps://pinboard.in/https://pinboard.in/u:otlib/b:f5b071d4f0fb/Second-Order Thinking: What Smart People Use to Outperform2019-04-07T10:57:37+00:00
https://fs.blog/2016/04/second-order-thinking/
otlibenlightened thinking brain logic future neuroscience motivation psychology successhttps://pinboard.in/https://pinboard.in/u:otlib/b:b8284285a23c/Understand, Design, Build: A Framework for Problem-Solving | Hacker News2019-03-05T13:59:36+00:00
https://news.ycombinator.com/item?id=19303958
otlibproblems thinking problemsolving framework logic brain hn graph charthttps://pinboard.in/https://pinboard.in/u:otlib/b:89670484dec9/NandGame - Build a computer from scratch.2019-01-27T11:44:09+00:00
http://nandgame.com/
otlibcpu electronics hardware logic nan programminghttps://pinboard.in/https://pinboard.in/u:otlib/b:2f535796fba4/The Best Textbooks on Every Subject | Hacker News2018-07-31T12:07:30+00:00
https://news.ycombinator.com/item?id=17617825
otliblearn books learning hn lesswrong textbooks physics philosophy logic list education universityhttps://pinboard.in/https://pinboard.in/u:otlib/b:bb504672408e/Cognitive bias cheat sheet – Better Humans2018-04-20T14:02:57+00:00
https://betterhumans.coach.me/cognitive-bias-cheat-sheet-55a472476b18
otlibthinking bias cognition logic philosophy fail cheatsheethttps://pinboard.in/https://pinboard.in/u:otlib/b:9b19a2d5a651/Flow chart of cognitive biases | Hacker News2018-04-20T12:37:18+00:00
https://news.ycombinator.com/item?id=16875497
otlibbiases chart exploration cognition psychology logic philosophy neuroscience hnhttps://pinboard.in/https://pinboard.in/u:otlib/b:1ae6388f93f8/My unusual hobby | Stephan Boyer2017-11-25T18:54:30+00:00
https://www.stephanboyer.com/post/134/my-unusual-hobby
otlibplt coq proof math programming typesystems logic hnhttps://pinboard.in/u:otlib/b:f6a6d7b58e22/Teach Yourself Logic 2017: A Study Guide [pdf] | Hacker News2017-08-28T15:44:17+00:00
https://news.ycombinator.com/item?id=15114139
otlibmath logic study hn bookshttps://pinboard.in/u:otlib/b:97ee6ac45823/A Dozen Lessons about Business and Investing from Poker | 25iq2017-08-02T17:10:07+00:00
https://25iq.com/2017/07/29/a-dozen-lessons-about-business-and-investing-from-poker/
otlib You can’t write about the relationship between games and investing without quoting Michael Mauboussin. I will do so often in this post. He is the master. Read his books. All of them. Then read them again. Set out below are the usual dozen lessons you can learn from poker: “Poker is a game where you…]]>poker invest skills Pocket life finance stocks statistics math logic investinghttps://pinboard.in/u:otlib/b:da7e187794db/Verificationism - Wikipedia2017-03-16T11:44:54+00:00
https://en.wikipedia.org/wiki/Verificationism
otlibphilosophy logic history verification wikipediahttps://pinboard.in/u:otlib/b:e0a6be77744e/The Ad Hominem Fallacy Fallacy2017-03-15T21:44:21+00:00
http://laurencetennant.com/bonds/adhominem.html
otlibargument fallacy culture logic adhominum argumentation commentsbelow rhetoric via:tptacekhttps://pinboard.in/u:otlib/b:b2f502dfa55f/Tips to Improve Your Mental Math Ability | Hacker News2017-02-23T17:35:02+00:00
https://news.ycombinator.com/item?id=13713961
otlibmath logic tips calculationshttps://pinboard.in/u:otlib/b:c1b9fa6bdf88/Raymond Smullyan has died | Hacker News2017-02-12T20:58:50+00:00
https://news.ycombinator.com/item?id=13626221
otlibteaching logic puzzles hn math godel proof death philosophy taoism religionhttps://pinboard.in/u:otlib/b:1167f9d4fce7/The Axiom of Choice Is Wrong (2007) | Hacker News2017-02-05T14:54:12+00:00
https://news.ycombinator.com/item?id=13571315
otlibmath axiom logic godel choice hn proofhttps://pinboard.in/u:otlib/b:4d3afca240bd/The rise and fall and rise of logic | Aeon Essays2017-01-17T18:05:18+00:00
https://aeon.co/essays/the-rise-and-fall-and-rise-of-logic
otliblogic philosophy toread thinkinghttps://pinboard.in/u:otlib/b:1bd6f051eeaf/The Adventures of Fallacy Man - Existential Comics2016-11-06T22:52:38+00:00
http://existentialcomics.com/comic/9
otlibcartoons comics comic humor logic Facebook funny IFTTT bias/fallacy comedy/humourhttps://pinboard.in/u:otlib/b:33299d16ca92/Lateral Thinking - Puzzles And Riddles2016-10-10T09:46:31+00:00
http://www.puzzlesandriddles.com/LateralThinking.html
otlibpuzzles math logic lateral thinking brainhttps://pinboard.in/u:otlib/b:e00b5cd30e4b/What are the Fallacy Files?2016-08-19T09:36:09+00:00
http://www.fallacyfiles.org/whatarff.html
otlibcriticalthinking logics logic fun_stuff language persuasion politics reading Unsorted_Bookmarkshttps://pinboard.in/u:otlib/b:4da92dcb89fc/If you think your own logic came from someone else, you might not believe it | Ars Technica UK2015-11-05T11:23:17+00:00
http://arstechnica.co.uk/science/2015/11/if-you-think-your-own-logic-came-from-someone-else-you-might-not-believe-it/
otlibSelectively lazy reasoning makes us go easy on ourselves, hard on others.]]>cognition neuroscience logic brain arstechnicahttps://pinboard.in/u:otlib/b:8e71861906c4/'Escape Rooms' Challenge Players To Solve Puzzles To Get Out | Hacker News2015-11-03T11:28:38+00:00
https://news.ycombinator.com/item?id=10490632
otlibescape entertainment mmo rpg puzzles math logic hnhttps://pinboard.in/u:otlib/b:68eff6b1510a/Crocodile dilemma - Wikipedia, the free encyclopedia2015-10-31T22:26:36+00:00
https://en.wikipedia.org/wiki/Crocodile_dilemma
otliblogic paradox sophism philosophyhttps://pinboard.in/u:otlib/b:7a4210b20c65/Parachuting robots2015-10-30T13:06:12+00:00
http://david-peter.de/parachuting-robots/
otlibprogramming puzzle animation code games interactive interesting logic tutorialhttps://pinboard.in/u:otlib/b:166ab7521dd3/Game Theory As A Dark Art - Less Wrong2015-10-19T11:31:03+00:00
http://lesswrong.com/lw/dr9/game_theory_as_a_dark_art/
otlibOne of the most charming features of game theory is the almost limitless depths of evil to which it can sink.Your garden-variety evils act against your values. ]]>gametheory gaming math logic auctions psychologyhttps://pinboard.in/u:otlib/b:fcc81e23804e/The Logical Fallacy of Generalization from Fictional Evidence - Less Wrong2015-10-19T10:27:46+00:00
http://lesswrong.com/lw/k9/the_logical_fallacy_of_generalization_from/
otlibWhen I try to introduce the subject of advanced AI, what's the first thing I hear, more than half the time?
"Oh, you mean like the Terminator movies / the Matri]]>yudkowsky rationality logic fiction robots ai article toreadhttps://pinboard.in/u:otlib/b:18bcd3239c65/Shinichi Mochizuki and the impenetrable proof | Hacker News2015-10-08T09:48:43+00:00
https://news.ycombinator.com/item?id=10348617
otlibproof math hn japan model theory logichttps://pinboard.in/u:otlib/b:ca154107239a/Set Theory and Foundations of Mathematics | Hacker News2015-08-01T08:21:56+00:00
https://news.ycombinator.com/item?id=9981229
otlibmath settheory books hn science logic wittgenstein philosophyhttps://pinboard.in/https://pinboard.in/u:otlib/b:55b62050ce5b/The Farmer's Dilemma | Hacker News2015-05-06T08:58:54+00:00
https://news.ycombinator.com/item?id=9494255
otlibgametheory math logic dilemma hnhttps://pinboard.in/u:otlib/b:7ebb37ed8e7c/The Farmer's Dilemma2015-05-06T08:55:25+00:00
http://reasonableapproximation.net/2015/05/05/farmers-dilemma.html
otlibfarmer farming dilemma logic gametheory philosophy mathhttps://pinboard.in/u:otlib/b:fe2b75d56740/Proof of negation and proof by contradiction | Mathematics and Computation2015-04-28T10:06:20+00:00
http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/
otlibmath contradiction logic intuitionism mathematics negation proof proofs adrej-bauer ✓https://pinboard.in/u:otlib/b:3b97537b237c/When is proof by contradiction necessary? | Hacker News2015-04-28T10:03:01+00:00
https://news.ycombinator.com/item?id=9446859
otlibmath proof logics contradiction hn logichttps://pinboard.in/u:otlib/b:3c0d3aa37781/Gish Gallop - RationalWiki2015-04-24T09:02:33+00:00
http://rationalwiki.org/wiki/Gish_Gallop
otlibevolution fallacy debate argumentation creationism logic argument comments discourse floodhttps://pinboard.in/u:otlib/b:83269d0b2e05/The Hardest Logic Puzzle Ever | Hacker News2015-04-20T10:14:10+00:00
https://news.ycombinator.com/item?id=9401621
otliblogic hn puzzles mathhttps://pinboard.in/u:otlib/b:17c8f6781f8d/The Hardest Logic Puzzle Ever @ Things Of Interest2015-04-20T09:36:35+00:00
http://qntm.org/gods
otliblogic-puzzle javascript math logic puzzlehttps://pinboard.in/u:otlib/b:bc1f86e46e4a/Learn Prolog Now!2015-03-24T08:51:49+00:00
http://www.learnprolognow.org/lpnpage.php?pageid=online
otlibbooks programming prolog tutorial logic book free (popular @prolog @bookdownloadhttps://pinboard.in/u:otlib/b:dc6072d45ac2/Learn Prolog Now | Hacker News2015-03-23T15:18:07+00:00
https://news.ycombinator.com/item?id=9246897
otlibprolog programming hn language logichttps://pinboard.in/u:otlib/b:ef93871699d5/Your subconscious is smarter than you might think | Hacker News2015-02-20T13:20:11+00:00
https://news.ycombinator.com/item?id=9072394
otlibmath science bbc mind neuroscience subconscious thinking hn logichttps://pinboard.in/u:otlib/b:c2a46b33419d/Did Poincaré anticipate Gödel? | Hacker News2015-02-19T11:35:04+00:00
https://news.ycombinator.com/item?id=9068705
otlibgodel poincare math logic hn melville paradox russell philosophyhttps://pinboard.in/u:otlib/b:8ac31e7b7608/Quantum Physics and the Abuse of Reason | Hacker News2015-02-16T13:16:50+00:00
https://news.ycombinator.com/item?id=9052409
otlibquantum physics computation reason logic hn critiquehttps://pinboard.in/u:otlib/b:6ff745ea92d3/The Man Who Tried to Redeem the World with Logic | Hacker News2015-02-06T14:19:28+00:00
https://news.ycombinator.com/item?id=9003735
otliblogic ai computerscience cybernetics hn history computing programminghttps://pinboard.in/u:otlib/b:83753de1f748/How You Know | Hacker News2014-12-17T12:18:36+00:00
https://news.ycombinator.com/item?id=8753526
otlibknowledge bias learning epistemology pg hn cognition logichttps://pinboard.in/u:otlib/b:810f00a7c6fd/Philosophical Youth – Demasiado Aire2014-11-08T09:14:04+00:00
http://demasiadoaire.com/philosophical-youth/
otlibreading books philosophy recommendations list logic toread morals consciousness mindhttps://pinboard.in/https://pinboard.in/u:otlib/b:0ecd2479f4ce/Arrow's Theorem (Stanford Encyclopedia of Philosophy)2014-10-14T10:21:50+00:00
http://plato.stanford.edu/entries/arrows-theorem/
otlibdecisions economics stanford philosophy logic votinghttps://pinboard.in/u:otlib/b:d7bd09ba4370/A Practical Guide To Critical Thinking2014-09-13T13:56:32+00:00
http://skepdic.com/essays/Haskins.html
otlibcriticalthinking logic education school thinking li810https://pinboard.in/u:otlib/b:15503687078d/Proof confirmed of 400-year-old fruit-stacking problem | Hacker News2014-08-13T10:09:20+00:00
https://news.ycombinator.com/item?id=8169686
otlibmath proof computerproof logic stacking fruit hn kepler functional_programminghttps://pinboard.in/u:otlib/b:783b8d344171/The Curse of Smart People | Hacker News2014-07-01T10:57:22+00:00
https://news.ycombinator.com/item?id=7968833
otlibbrains psychology bias hn programming yc engineering cognition logichttps://pinboard.in/u:otlib/b:739c2cc00c9f/Sequences - Lesswrongwiki2014-06-30T09:43:10+00:00
http://wiki.lesswrong.com/wiki/Sequences
otlibrationality philosophy reference thinking logic wiki consciousness interesting sciencehttps://pinboard.in/u:otlib/b:9b5747934ae9/The logic of Buddhist philosophy | Hacker News2014-05-08T13:06:34+00:00
https://news.ycombinator.com/item?id=7714400
otliblogic philosophy hn buddhism religionhttps://pinboard.in/u:otlib/b:80b1f7d08889/Why being a thinker takes quiet time | Hacker News2013-10-24T13:06:43+00:00
https://news.ycombinator.com/item?id=6600688
otlibthoughts reflection thinking toread hn brain logichttps://pinboard.in/u:otlib/b:5c0ec52c91e1/Answer to Mathematics: What is it like to understand advanced mathematics? - Quora2013-10-14T11:11:38+00:00
http://www.quora.com/Mathematics/What-is-it-like-to-understand-advanced-mathematics/answers/873950?share=1
otlibskills math life quora experience mathematician logic algebrahttps://pinboard.in/u:otlib/b:415df4a5224e/CS 97SI: Introduction to Competitive Programming Contests2012-11-18T17:52:58+00:00
http://www.stanford.edu/class/cs97si/
otlibto-look iqtest competetive_programming course logic acm mathematics programming contests algorithms Stanfordhttps://pinboard.in/u:otlib/b:04ed36bd016f/Nothing found for Index-en Php2012-11-11T20:07:00+00:00
http://www.atelierb.eu/index-en.php
otliblogic programming lumii lu computer science proof formal proff atelier bhttps://pinboard.in/u:otlib/b:1fc36f901c2e/Fitch's Paradox of Knowability (Stanford Encyclopedia of Philosophy)2012-10-21T16:02:13+00:00
http://plato.stanford.edu/entries/fitch-paradox/
otlibtheory science stanford encyclopedia of philosophy Logic paradoxes Knowledge knowability_paradox intelligence_wisdomhttps://pinboard.in/u:otlib/b:92571bb4e5cb/Logical Fallacies2012-10-15T07:50:57+00:00
http://www.logicalfallacies.info/
otlibwriting language fallacy debate criticalthinking rhetoric reference fallacies philosophy logichttps://pinboard.in/u:otlib/b:4ff6adea616e/ClassNotes+ : Loop Invariants2012-10-05T13:26:32+00:00
http://www.cs.colorado.edu/~karl/ClassNotes+/Topics/LoopInvariants/
otlibloops proof logic hoare computer science loop invarianthttps://pinboard.in/u:otlib/b:e9928c35c3fa/Verifying loops – part 2 « David Crocker's Verification Blog2012-10-05T13:19:29+00:00
http://critical.eschertech.com/2010/03/29/verifying-loops-part-2/
otlibcomputer science programming hoare logic verification formal systems loopshttps://pinboard.in/u:otlib/b:cfded223ffad/