• OpenSourceFPGA Launches Foundation to Accelerate Adoption of Programmable Logic https://www.businesswire.com/news/home/20210408005158/en/Open-Source-FPGA-Launches-Foundation-to-Accelerate-Widespread-Adoption-of-Programmable-Logic 16 comments 24/4/2021
• RustBelt: Logical Foundations for the Future of Safe Systems Programming http://plv.mpi-sws.org/rustbelt/#project 16 comments 8/1/2016
• Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations (2010) [pdf] http://www.masfoundations.org/mas.pdf 3 comments 12/11/2015

• Logic has no foundation - except in metaphysics. Hegel explains why. https://iai.tv/articles/logic-is-nothing-without-metaphysic-auid-3064?_auid=2020 79 comments 31/1/2025 philosophy
• The coincidence of logic and experience provides the foundation for philosophical knowledge. https://www.youtube.com/watch?v=WUlYS7zooXs 40 comments 19/11/2022 philosophy
• Open Source FPGA Foundation Formed to Accelerate Widespread Adoption of Programmable Logic - OSFPGA https://osfpga.org/osfpga-foundation-launched/ 18 comments 11/4/2021 programming
• RustBelt: Logical Foundations for the Future of Safe Systems Programming https://www.youtube.com/watch?v=1GjSfyijaxo 10 comments 28/9/2019 rust
• A Logical Foundation for Effectively Objective Morality https://thoughtsinthecrossfire.wordpress.com/2018/09/02/the-meaning-of-life-objective-morality/ 34 comments 3/9/2018 philosophy
• Question about the palindrome exercise in Logical Foundations https://softwarefoundations.cis.upenn.edu/lf-current/IndProp.html#lab233 2 comments 14/5/2018 coq
• Logical Fallacy: Bulverism by C.S. Lewis (The Foundation of 20th Century Thought) https://www.youtube.com/watch?v=DH53uFBOGbw 26 comments 12/4/2017 philosophy
• Exploring the Possible Logical Foundation for the Existence of God https://www.reddit.com/r/philosophy/comments/5m9ibh/exploring_the_possible_logical_foundation_for_the/ 21 comments 5/1/2017 philosophy
• What the Tortoise Said to Achilles - Lewis Carroll. The paradox of logical entailment. What does this tell us about foundations of logic? http://www.ditext.com/carroll/tortoise.html 52 comments 17/2/2016 philosophy
• RustBelt: Logical Foundations for the Future of Safe Systems Programming (Phd & Postdoc positions) http://plv.mpi-sws.org/rustbelt/ 21 comments 8/1/2016 rust
• Mathematical Logic & Foundations Chart http://dailynous.com/2014/10/28/mathematical-logic-foundations-chart/ 3 comments 28/10/2014 philosophy
• Fascinating video on logic as the foundation for physical reality https://www.youtube.com/watch?v=YFQ36zXbm00 8 comments 13/4/2014 philosophy
• Logical Foundations of Proof Complexity by Stephen Cook and Phuong Nguyen [The current draft (posted September 2, 2008) has 439 pages and is complete except for the Appendix.] http://www.cs.toronto.edu/~sacook/homepage/book/ 3 comments 6/9/2008 math
• Now this is odd. Conservative Heritage Foundation complains about overspending, yet at the same time compains about any cut in pharmaceutical, hospital or physician reimbursements. Isn't that the logical result of cost reductions? http://tpmcafe.talkingpointsmemo.com/2009/08/01/heritage_foundation_house_plan_will_cut_health_cos/ 3 comments 2/8/2009 politics
• This course explains the basics involved in Introduction to programming logic and algorithms.It has given me a clearer understanding of certain foundational techniques in computer science. http://udemy.programmingcourses.info/computer-science-101-master-the-theory-behind-programming/ 5 comments 14/3/2018 compsci
• Software Foundations (Free ebook on basic concepts of logic, computer-assisted theorem proving, the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems) https://www.cis.upenn.edu/~bcpierce/sf/current/index.html 8 comments 3/5/2017 programming
• The arithmetic of gun control--"If the current discussion could be steered toward science, rather than having a heated debate without much of a logical foundation, a big step forward toward saving lives would be achieved." http://phys.org/news/2013-07-arithmetic-gun.html 40 comments 27/7/2013 politics
• The foundational ideas laid down by great thinkers such as Socrates, Plato, and Aristotle still influence our understanding of the world today. These brilliant scholars began to use reason and logic to try and unravel the workings of the cosmos. https://www.thecollector.com/ancient-greek-philosophers/ 20 comments 27/6/2021 philosophy
• Susan G Komen foundation, known for its breast cancer prevention campaign, cancels funding for breast cancer screening and educational programs from Planned Parenthood. I sense right-wing logic http://seattletimes.nwsource.com/html/nationworld/2017387146_komen01.html 5 comments 1/2/2012 politics

• A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking http://hal.archives-ouvertes.fr/hal-00297708 1 comment 6/3/2009 DSL , Theory
• Uniform Proofs as a Foundation for Logic Programming http://www.lix.polytechnique.fr/~dale/papers/apal91.pdf 10 comments 30/3/2006 Logic/Declarative
• A Tutorial on Proof Theoretic Foundations of Logic Programming http://www.ki.inf.tu-dresden.de/%7Eguglielm/res/pap/PrThFoundLP.pdf 2 comments 20/3/2005 Logic/Declarative , Theory
• A Tutorial on Proof Theoretic Foundations of Logic Programming http://www.ki.inf.tu-dresden.de/%7eguglielm/res/pap/PrThFoundLP.pdf 0 comments 13/10/2003 Logic/Declerative
• Logic for Computer Science: Foundations of Automatic Theorem Proving http://www.cis.upenn.edu/~jean/gbooks/logic.html 3 comments 19/6/2003 Logic/Declerative