#logic

Lobsters @lobsters@robot.villas · Jul 30, 2026

Logic for Programmers https://logicforprogrammers.com/ #Programming #Logic #ComputerScience

0

SarcasticSkeptic @SarcasticSkeptic@neuromatch.social · Jul 25, 2026

It's not that scientists are 100% right, 100% of the time. But when asked to trust someone's opinion, I'll trust the ones that have been meticulously exploring a subject using rigorous standards as opposed to a book that was written by a bunch of desert peasants, then translated and rewritten scores of times. #bible #CriticalThinking #logic #science #Religion #atheism

1

0

3

0

Hacker News @hackernews@robot.villas · Jul 25, 2026

An Introduction to Formal Logic(2020) [pdf] https://logicmatters.net/ifl/pdfs/IFL2_LM.pdf #HackerNews #Tech #Logic

0

Tariq @rzeta0@mathstodon.xyz · Jul 23, 2026

True: 6<2x<4 for all 3

0

11

1

0

Tariq @rzeta0@mathstodon.xyz · Jul 18, 2026

X⇒Y is the same as "X is true only if Y is true" ... according to Tao Analysis I A.2. I still haven't settled this in my mind. It seems the wrong way around. Bur Tai says it takes some mental effort to see it. Is it obvious to you? How? #maths #logic

1

12

2

0

Radio_Azureus @Radio_Azureus@ioc.exchange · Jul 13, 2026

Browsing through the Linux kernelsection devicessub section blockfile badblocks.clevel critical When I look in sources for real work I use the old school method terminal (ba(c)(k)(z)(fi)sh)vimlogicpatience This is just a lazy exercise DESCRIPTION badblocks is used to search for bad blocks on a device (usually a disk partition). device is the special file corresponding to the device (e.g /dev/hdc1). last_block is the last block to be checked; if it is not specified, the last block on the device is used as a default. first_block is an optional parameter specifying the starting block number for the test, which allows the testing to start in the middle of the disk. If it is not specified the first block on the disk is used as a default. sources: man badblocks(8) https://explorar.dev/linux-kernel/ #kernel #sources #programming #logic #terminal #linux #explorar #dev #bash #csh #kzh #zsh #sh

0

1

0

Fallacies Online @fallacies@mastodon.social · Jul 09, 2026

“If you’re not for us, you’re against us.” And what if I don't care for either side? There are almost always more options than the obvious ones, and one shouldn’t allow oneself to be forced into a “false dilemma” framing. 👉 https://fallacies.online/wiki/relevancy/false_dilemma #rhetorics #logic #dilemma #philosophy

2

0

2

0

Ur Ya'ar @yaarur@mathstodon.xyz · Jul 07, 2026

Two PhD positions in Mathematical Logic and Set Theory at the University of Helsinki

We are glad to announce calls for two funded PhD positions opening at the University of Helsinki:

Doctoral Researcher in Mathematical Logic, as part of the research project “Logic and Computation over Semirings”, led by Professor Juha Kontinen. https://jobs.helsinki.fi/job/Helsinki-Doctoral-Researcher-in-Mathematical-Logic/1365070157/
Doctoral Researcher in Set Theory and Mathematical Logic, as part of the research project “Interactions between set theory and non-standard logics”, led by Dr. Ur Ya’ar. https://jobs.helsinki.fi/job/Helsinki-Doctoral-Researcher-in-Set-Theory-and-Mathematical-Logic/1365166857/

Both positions are for a fixed term of 1.9.2026-31.8.2030, with some flexibility regarding the starting date.

The application deadline for both positions is July 31, 2026.

See the links above for more details and application instructions. Please share!

#PhD #math #mathematics #academia #Logic #SetTheory #UniversityOfHelsinki #CallForApplication

3

0

5

0

Hacker News @hackernews@robot.villas · Jun 27, 2026

All Logic, No Bite https://lcamtuf.substack.com/p/all-logic-no-bite #HackerNews #Tech #Logic

0

bemmesr @bemmesr@mathstodon.xyz · Jun 25, 2026

Boosted by

Welcoming committee @welcome@friends.deko.cloud

#Introduction Hello everyone, I finally found a home for my profile outside of mastodon.social, after nearly two years of being on the network! #Mathstodon was the natural choice for me because I've always had a casual interest in #mathematics and lately I've been getting into (basic) formal #logic I worked as a #software #engineer for nearly two years, but after moving countries I found myself without a job for quite a while. During that time, I ended up learning a lot of things I don't think I would have had the energy for had I still been working. On many matters my opinion has changed substantially over the last year or so, and perhaps for the better, but on the whole I've gone from unearned confidence to general uncertainty, which I know some find irritating but I think it leads to interesting discussions. I'm excited to see what this instance has to offer and to hopefully make some meaningful contributions. — Bemmesr

1

0

1

0

printf("%s", name); @akunohana@piefed.blahaj.zone in programmer_humor · Jun 09, 2026

the GOAT

A family member shared it with me. As to the source, I remain clueless.

0

6

1

0

13 @13@2137.social · Feb 26, 2026

Driving WS2812Bs With Pure Logic https://hackaday.com/2026/02/26/driving-ws2812bs-with-pure-logic/ #LEDHacks #Led #Logic #Ws2812b

0

The Privacy Dad @theprivacydad@social.linux.pizza · Feb 25, 2026

While the syllogism for "I have nothing to hide" is sound, it ultimately detracts from the argument of privacy as consent. https://theprivacydad.com/the-best-version-of-i-have-nothing-to-hide/ #privacy #arguments #logic #cypherpunk @privacyguides@mastodon.neat.computer

3

0

1

0

kcm @kcm@mastodonapp.uk · Feb 24, 2026

Today on the blog we give you this month's "something to think about": "Intentionally losing a game of rock, paper, scissors is just as hard as trying to win." https://zenmischief.com/2026/02/something-to-think-about-this-month-14/ #logic #thoughts #blog #zenmischief

0

The Privacy Dad @theprivacydad@social.linux.pizza · Feb 15, 2026

You may have come across the I-have-nothing-to-hide argument as a response to concerns about digital mass surveillance. It's a red herring; the real argument is about who gets to choose what to share. https://theprivacydad.com/i-have-nothing-but-red-herring-to-hide/ This was written as a complement to @thenewoil@mastodon.thenewoil.org recent blog post about the I-have-nothing-to-hide argument. You can read that here: https://ghost.thenewoil.org/3-reasons-why-everyone-has-something-to-hide/ #privacy #IHaveNothingToHide #logic #redherring

8

1

5

0

JdeBP @JdeBP__dup_33984@mastodonapp.uk · Feb 02, 2026

Replying to on social.vivaldi.net

@ianbetteridge@social.vivaldi.net Taking the 'and' to be a logical operator, obviously 'No.' anded with anything is still 'No.'. Except in #Python, of course. (-: #ComputerProgramming #logic #QuestionHeadlines

2

0