LogiCola 3 (@LogicolaThree) header
LogiCola 3 (@LogicolaThree) profile picture

Learn formal and informal logic. Goes with Gensler's Introduction to Logic by @Routledgebooks

Berlin & Lisboa
Joined December 2023
Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)Photo by LogiCola 3 (@LogicolaThree)
What I set out to do back in December was to design, develop and release a brand new, open-source version of LogiCola to help educate students in the field of logic. One that works everywhere. Today, I’m proud to release the first version of Logicola 3. medium.com/@malikpiara/intro…
3
930
Classic papers in programming languages and logic cs.cmu.edu/~crary/819-f09/
13
91
4,682
LogiCola 3 retweeted
In a world gobbled up by AI, where more people have access to a mobile phone than safely managed sanitation, fallacies are everpresent. Knowing how to identify logical fallacies can sharpen your critical thinking and protect you from bad reasoning. logicola.org/blog/informal-f…
1
2
92
💯 Fixed-length quizzes are gone. They have been replaced by a point system that works like the original and that is designed for mastery. Your score climbs as you answer and takes a hit when you miss. Can you reach 100 points?
1
1
9
🎨 We brought back some of the playfulness from the original software. And now, you can install it on your android and iOS phone and use LogiCola offline.
1
7
LogiCola 3 retweeted
I have poured my soul into @LogicolaThree. The product is now used in universities across 3 continents. Today, I'm releasing a new design language inspired from what I found reverse-engineering software from 1987 (MS-DOS) and 2008. In this article I go deeper into the design experiments I made with some help from AI tools and built on top of the knowledge from really smart people. This is my most exciting release because it mixes my computer science, design and product management background. And I think people who want to craft good software or who are navigating edtech will find it interesting! Thank you @lauriewired, @emilkowalski for sharing your knowledge openly and for helping me get here.
1
2
6
264
LogiCola 3 retweeted
Right now, we are helping a Lisbon non-profit that supports refugees and migrants scale their work across Portugal 🇵🇹 Earlier this year, @LisboaUX & @LisboaJS_ started pairing young developers and designers with mentors to build critical digital tools for non-profits. The impact has been real, and now we’re ready to scale. Our vision: Empower 50 non-profits by the end of 2027. To hit this milestone, we need infrastructure, design, and dev-tool partners to step up. If your company can provide tooling, financial sponsorship, or engineering expertise, you will be creating real, direct impact. How you can support us: 🛠️ Dev Tools & Infra: Provide licenses, API credits, or cloud infrastructure for our project teams. 💰 Financial Sponsorship: Help keep these community-driven programs sustainable. 🧠 Mentorship & Expertise: Encourage your senior engineers and designers to guide a team. If your company builds tools for the next generation of creators, we want you embedded in our workflow. Want to get involved? Slide into our DMs or drop a comment below. Let’s build something that matters. – at Lisbon, Portugal
4
6
1
23
1,261
LogiCola 3 retweeted
Spent the last couple of weeks decompiling and recovering enough of the original logicola into C. This informed so much of @LogicolaThree upcoming release. It is the most ambitious since our feature on Hacker News frontpage.
1
1
3
421
Working on building and designing SET R / Informal Fallacies for @LogicolaThree. Do you have any requests or suggestions for the updated version? We'll design the new exercises to accommodate both mobile and desktop.
1
3
293
1. Now you can use and install @LogicolaThree in any device that has a browser. From Chrome OS and Android. You can also use it offline (cached). 2. You can practice harder propositional and syllogistic translations. And you can also dive into modal, deontic and "Belief" logic.
2
1
2
186
LogiCola 3 retweeted
You can now install and use @LogicolaThree on every device. From macbooks, to android, to chromebooks. More updates will follow ☺️
1
1
128
LogiCola 3 retweeted
Working on @LogicolaThree second major release. Offline mode is still not fully operational in production but we're getting there!
1
1
137
Evolution of the notation for the empty set: 0 - George Boole 🇬🇧 (1847) 𝑂 - Georg Cantor 🇩🇪 (1880) {} - Gottlob Frege 🇩🇪(1882) Λ - Giuseppe Peano 🇮🇹 (1889) ∅ - Andre Weil 🇫🇷 (1939)
10
84
16
572
71,366
Argdown is an interesting Markdown syntax for constructing argument maps. argdown.org It has some unusual non-linear writing features: e.g. you can give statements/arguments titles and elsewhere refer to them as supporting/undercutting others.
8
36
15
286
How to draw a heptagon using only a compass and a ruler
29
155
9
875
81,159
LogiCola. When you have no more excuses to spew out illogical nonsense. medium.com/@malikpiara/intro…
1
2
4
239