Sign in

Samiro Discher

@xamidi.bsky.social
202 followers 129 following 648 posts

Critical thinker. Vegan. Gen Y. Not afraid to push back left-wing fascists. Logician (theoretical computer science) | Developer (HPC & logic tools) Proof theory & complexity github.com/xamidi

PostsRepliesMedia
Samiro Discher @xamidi.bsky.social · 28/07/2026
It looks like recognizing Western society's hostility towards males is becoming more mainstream. #sex #sexism #discrimination www.skeptic.com/article/path...
skeptic.com
Pathologizing Men
In many domains, the old moral vocabulary remains in place even as the social pattern has reversed, or at least become far more complicated. Women now outperform men across most of education, earn the...
001
Samiro Discher @xamidi.bsky.social · 09/04/2026
My experience is very similar and I wholeheartedly agree. youtu.be/Wp6oWr1oPwY #values #education #independence #courage #conformity
youtu.be
Your Degrees and Credentials Mean Nothing!
YouTube video by citytutoringmath
040
Samiro Discher @xamidi.bsky.social · 23/01/2026
German fascists are burning books again, and they are left-wing. jungefreiheit.de/kultur/2026/... #censorship #germany #extremists #fascism #totalitarianism #literature
jungefreiheit.de
Das große Löschen hat begonnen
Obwohl eine Klage der Bibliothek des Konservatismus anhängig ist, beginnt der Bibliotheksverbund GBV, deren Titel aus den Verzeichnissen zu löschen. Bibliotheksleiter Fenske sagt der JF, das sei „leic...
010
Samiro Discher @xamidi.bsky.social · 11/12/2025
Lügenpropaganda in deutschen Staatsmedien astrein dokumentiert. 👌 youtu.be/nDsq_keMuxQ In einem funktionierenden Rechtsstaat würden solche Leute Strafen wegen Betrugs und Verleumdung in hunderttausenden Fällen samt Berufsverbot erhalten. #BRD #ÖRR #GEZ #Deutschland #Idiocracy #Propaganda #Germany
youtu.be
Die beste Migrations-Propaganda die sie haben
YouTube video by Clownswelt
020
Reposted by Samiro Discher
Vegan Horizon @veganhorizon.substack.com · 09/12/2025
Butcher sees dairy farm and slaughterhouse for first time — instantly goes vegan and speaks out on live TV. My new article: veganhorizon.substack.com/p/butcher-go...
veganhorizon.substack.com
Butcher Sees Dairy Farm and Slaughterhouse for First Time — Instantly Goes Vegan and Speaks Out on Live TV
And the Talk-Show Guest Who Could Not Handle His Truth (Peak Cringe)
24322
Samiro Discher @xamidi.bsky.social · 08/12/2025
Davon sollte sich #Deutschland einige Scheiben abschneiden um nicht zu einem Entwicklungsland zu degenerieren. jungefreiheit.de/politik/ausl... #USA #Trump #Sicherheitspolitik #Weltpolitik #AntiWoke
jungefreiheit.de
Die Nationale Sicherheitsstrategie der USA im deutschen Wortlaut
Ganz Europa spricht über die neue außenpolitische Doktrin des US-Präsidenten Donald Trump, die nun auf einem 31seitigen Strategiepapier steht. Doch was hat er genau vor? Die JUNGE FREIHEIT dokumentier...
010
Reposted by Samiro Discher
Brap @brap.bsky.social · 10/11/2025
Correction: Olympics organisers moving towards blanket ban on MEN from women's sport
5521
Samiro Discher @xamidi.bsky.social · 26/11/2025
youtu.be/oFHbyUAQqE0 The mental issue she describes there is something I sense in virtually all human beings. Not necessarily regarding misandry/feminism but also for example speciesism/nonveganism, or any thoughts or facts that challenge conformist core beliefs. It is a fundamental human flaw.
youtu.be
DID I JUST GET RED PILLED?
YouTube video by Gabby
210
Samiro Discher @xamidi.bsky.social · 01/11/2025
Great video. Good to see a few mature people are still out there. youtu.be/ujMEJm2r3G4 #wokeness #society #values #maturity #morality #degeneracy
youtu.be
What Has Happened to Men? What Has Happened to Our Society?
YouTube video by BigDome
010
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 01/03/2025
I am confident that's false. Humans greatly overestimate their own development when it comes to this. For example, all humans that are not vegan, which are around 98%, are still modern barbarians with a terribly developed sense of judgement and morals, and perception clouded by cognitive dissonance.
122
Samiro Discher @xamidi.bsky.social · 26/10/2025
Ich bin ebenfalls der Meinung, dass viel mehr Leute von derart krassen Ungerechtigkeiten erfahren sollten. [1/2] www.youtube.com/watch?v=hBKm... #Meinungsfreiheit #Rechtsbeugung #Machtmissbrauch #Deutschland #Linksextremismus #Totalitarismus #Hausdurchsuchung
youtube.com
„Sie sollten vorsichtiger sein, wenn Sie etwas posten.“
YouTube video by Prof. Dr. Christian Rieck
110
Reposted by Samiro Discher
Oregon 🕎🎲 @oregonthedm.bsky.social · 23/10/2025
Welp.....
Data point site graph showing variety of AI content versus human
3276
Samiro Discher @xamidi.bsky.social · 25/10/2025
"AI chatbots are sycophants — researchers say it’s harming science" www.nature.com/articles/d41... Even the _best_ #LLMs hallucinated proofs in 29% of cases. That is terrible.
000
Samiro Discher @xamidi.bsky.social · 20/10/2025
youtu.be/eJENP0Rr8p0 #CharlieKirk #CultureWar #left-wing #fascists
youtu.be
These People Are Sick
YouTube video by Shoe0nHead
110
Reposted by Samiro Discher
Herbiⓥore @herbivoreclub.bsky.social · 04/10/2025
Teenagers are hyper-attuned to belonging. Step too far outside the group, and you risk ridicule or exclusion. Saying “meat is wrong” in that context feels like social suicide. So many default to parroting whatever line the majority uses.
ko-fi.com
Adolescents Are More Speciesist Than Adults
Herbiⓥore published a post on Ko-fi
1157
Samiro Discher @xamidi.bsky.social · 02/10/2025
So, LLMs are bullshit machines. Certainly. Yet so much money is sunk into them. www.computerworld.com/article/4059... #llm #ai #hallucinations #waste
computerworld.com
OpenAI admits AI hallucinations are mathematically inevitable, not just engineering flaws
In a landmark study, OpenAI researchers reveal that large language models will always produce plausible but false outputs, even with perfect data, due to fundamental statistical and computational limi...
010
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 26/08/2025
Until we rebuild humanities and social sciences on formal methods (e.g. deontic logic for ethics; doxastic and evaluative logics for social sciences), they will keep producing arbitrary crap and make people feel educated for bullshitting around. #science forum.effectivealtruism.org/posts/fiqCoK...
forum.effectivealtruism.org
Formal Sciences vs. Social Sciences: A Personal Reflection About Different Knowledge Structures — EA Forum
About 4 months ago I switched into “The Social Sciences” and got completely overwhelmed. I studied Computer Science at ETH Zurich before and anticipa…
021
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 28/08/2025
Der Grund ist eher, dass nur linksextreme Antidemokraten für ein AfD-Verbot einstehen. Da zählt die CDU halt nicht dazu. Immerhin.
011
Samiro Discher @xamidi.bsky.social · 14/09/2025
👌 youtu.be/5vVwH962Ung #CharlieKirk #extremists #fascists #antifa
youtu.be
Billigung von Straftaten auf YouTube? Wir decken es auf!
YouTube video by Maximilian Pütz
020
Samiro Discher @xamidi.bsky.social · 14/09/2025
Many"left-wing" people on Bluesky are totally missing the points and don't realize how disgusting their misrepresentations are. Astonishing.
210
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 13/09/2025
Even if that was true and verifiable, my issue here was Bluesky members celebrating the murder, or at least protesting against the Bluesky staff offering their condolences to Charlie Kirk's family.
621
Samiro Discher @xamidi.bsky.social · 13/09/2025
Es sind so viele ekelhafte heuchlerische Linksfaschisten hier auf Bluesky unterwegs. Bild um 15:32: youtu.be/Lza5zj8RQ48 (Prof. Dr. Christian Rieck: „Mord, Krieg, Terror: Stehen Sie auf der richtigen Seite?“) #gametheory #ethics #fascism #murder #terror #CharlieKirk #Faschismus #Linksextremismus
Bluesky users celebrating the murder of Charlie Kirk and proposing next targets.
420
Samiro Discher @xamidi.bsky.social · 12/09/2025
The left-wing fascists struck again. #CharlieKirk
1220
Samiro Discher @xamidi.bsky.social · 28/08/2025
That's hilarious. www.jessesquires.com/blog/2022/07... #SEO #Bing #DuckDuckGo
jessesquires.com
My website disappeared from Bing and DuckDuckGo, Part 2
This is a follow-up to my previous post regarding my website getting de-indexed by Bing, and thus DuckDuckGo. (Sorry for the delay, I’ve been away.) It turns...
010
Samiro Discher @xamidi.bsky.social · 26/08/2025
Hmm, #hashtag links such as bsky.app/hashtag/hashtag are currently not working when not logged in. @jay.bsky.team #bsky #dev #bug
000
Samiro Discher @xamidi.bsky.social · 26/08/2025
Until we rebuild humanities and social sciences on formal methods (e.g. deontic logic for ethics; doxastic and evaluative logics for social sciences), they will keep producing arbitrary crap and make people feel educated for bullshitting around. #science forum.effectivealtruism.org/posts/fiqCoK...
forum.effectivealtruism.org
Formal Sciences vs. Social Sciences: A Personal Reflection About Different Knowledge Structures — EA Forum
About 4 months ago I switched into “The Social Sciences” and got completely overwhelmed. I studied Computer Science at ETH Zurich before and anticipa…
021
Samiro Discher @xamidi.bsky.social · 23/08/2025
I found this neat "rant" mentioning several common misconceptions about logic and methods to obstruct them. #logic #proofs #syntax #semantics #mathematics #teaching #pedagogy
hedonisticlearning.com
The Pedagogy of Logic: A Rant
A blog mostly on math, physics, and computer science.
110
Samiro Discher @xamidi.bsky.social · 31/07/2025
TPTP now contains the problems of deriving L1: (ψ→φ)→((φ→χ)→(ψ→χ)) from Walsh's single axioms for C-N propositional logic (which are part of my challenge): LCL978+1, LCL979+1, LCL980+1, LCL981+1, LCL982+1 and LCL983+1 with difficulty ratings 0.85, 1.00, 1.00, 0.80, 0.35 and 1.00. #logic #mathematics
tptp.org
000
Reposted by Samiro Discher
JRinATL @jrinatl.bsky.social · 27/03/2024
This is the funniest Twitter exchange and I still laugh every time I see it
1245
Samiro Discher @xamidi.bsky.social · 28/06/2025
On tax-funded #DEI propaganda in German mathematics departments apolut.net/im-gespraech... (interview in German) #mathematics #academia #germany #idiocracy
apolut.net
Im Gespräch: Bernhard Krötz (Gender-Gerechtigkeit in der Angewandten Mathematik)
https://apolut.net/content/media/2025/05/im-gespraech-bernhard-kroetz-2-apolut.mp3
000
Samiro Discher @xamidi.bsky.social · 25/06/2025
Ohh, in Deutschland gibt es noch Meinungs- und Pressefreiheit! Wenn auch die Kommentare des Gerichts bzgl. Vereinsrecht fragwürdig in Richtung "Der Zweck heiligt die Mittel" gehen. Wann kommt Faeser in den Knast wegen Amtsmissbrauch? #Compact #Deutschland #BRD #Pressefreiheit #Meinungsfreiheit
110
Samiro Discher @xamidi.bsky.social · 21/06/2025
When googling "beauty in Hilbert systems", the only result is my GitHub profile. #plebs
000
Samiro Discher @xamidi.bsky.social · 11/06/2025
New: pmGenerator, since version 1.2.2, can - compress Hilbert-style proofs via exhaustive search on user-provided proof data - convert Fitch-style natural deduction proofs into any sufficiently explored Hilbert system #Logic #HilbertSystems #NaturalDeduction #FormalMethods #ProofTheory #Mathematics
github.com
Release pmGenerator 1.2 (patch 2) · xamidi/pmGenerator
pmGenerator-1.2.2-win.7z contains Windows binaries only. Compiled by GCC 11.3.0, binaries from winlibs-x86_64-posix-seh-gcc-11.3.0-llvm-14.0.3-mingw-w64msvcrt-10.0.0-r3 Used oneTBB 2021.9.0-1, lib...
100
Samiro Discher @xamidi.bsky.social · 26/04/2025
Incompetent people are inconvenienced by meritocratic structures and they make up a vast majority. The following explanation strongly matches my personal experience and suggests why common people tend to join social bubbles that preach idiocy. #human #psychology #homophily #idiocracy #competence
youtube.com
Why the Most Foolish People End Up in Power – Machiavelli Knew This
YouTube video by Philosophy Coded
031
Samiro Discher @xamidi.bsky.social · 01/03/2025
I tested Grok 3 yesterday, and upon carefully formulating a few queries, it created this: xamidi.github.io/grok3-breako... I think that's impressive. #llm #ai #chatbot #grok3 #breakout #game #html
xamidi.github.io
000
Samiro Discher @xamidi.bsky.social · 24/02/2025
Da das #BSW sich seit über einem Jahr Mitgliedsanträgen sperrt — selbst von engagierten Helfern — und somit nicht für eine Politik zum Mitmachen steht, bin ich nicht überrascht, dass es an der 5% Hürde gescheitert ist.
010
Samiro Discher @xamidi.bsky.social · 17/02/2025
Alice Weidel shuts down bullshit “far-right” accusations and exposes the clowns in charge of our failed 🇩🇪 government. “You know what I'm missing in this discussion? It's NEVER about substance, just unfair framing of the AfD” ✅ Let's hope for the best this Sunday… #Politics #AfD #Germany #Idiocracy
211
Samiro Discher @xamidi.bsky.social · 15/02/2025
Großartige Ansprache von Gerald Grosz! Deutsche #Matschbirnen 👌😄 youtu.be/5GAutWNqMiU #Politik #AfD #BSW #Deutschland #Österreich #Immigration
youtu.be
Gerald Grosz zerlegt deutsche Pseudo Gutmenschen live im TV
YouTube video by Maximilian Pütz
000
Samiro Discher @xamidi.bsky.social · 14/02/2025
I am designing an informative abstract graph as an interactive #SVG animation. I wonder which of three styles people find more pleasing to look at and play around with. If you have a #GitHub account, you can vote anonymously in my #poll. Detailed comments are also possible. #design #art #scicomm
github.com
[Poll] Which color/animation style for directed graphs do you prefer? · xamidi pmGenerator · Discussion #8
Three interactive animations are featured at xamidi.github.io/interactive-svg-graphs/.
000
Samiro Discher @xamidi.bsky.social · 13/02/2025
Today I pushed back against #Nazi accusations of everyone that is not opposing #Trump on the r/opensource Subreddit, and got instantly permabanned for not being respectful (by using the same words I was called), but #left #extremist collective #hatred is permitted. Some of them called for civil war.
100
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 05/02/2025
Lean has pretty nice tooling and support. That's why I used it rather than an alternative to implement a small proof-of-concept D-proof verifier for my research tool: github.com/xamidi/pmGen... (click "a small program in Lean 4" to see what I mean) #lean #logic #prooftheory
131
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 09/04/2024
An explanation of what axioms and mathematical proofs really are. With a reference to my tool that helps exploring some of them. #Logic #Axioms #Mathematics #ProofTheory #HilbertSystems #ModalLogic #Research #Software
math.codidact.com
What is the significance of the K-axiom in modal logic S5?
In normal modal logic S5, the K axiom says $\square (p \rightarrow q) \rightarrow (\square p \rightarrow \square q)$. First of all, is this an abuse...
111
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 09/04/2024
Supplementary comment on ZFC and "social proofs" (the kinds of proofs that usually occur in papers): math.codidact.com/posts/290727... Details: mathweb.ucsd.edu/%7Esbuss/Res... #SocialProofs #Mathematics #Metamath
math.codidact.com
Defining Bayes’s theorem from scratch in ZFC
I have tons of interrelated questions which I would like resolved in order to help me answer this Philosophy SE question about Bayes’s theorem given...
001
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 18/12/2024
github.com
Alternative tools and better ways to parse and validate proofs · xamidi pmGenerator · Discussion #5
You mentioned CD Tools in your previous answer, but while it appears to have lots of documentation, it provides only a few examples, requires knowledge of the Prolog language, requires installation...
001
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 09/12/2024
github.com
[PMC: 1-basis C-N] Looking for related formally published scientific literature · xamidi pmGenerator · Discussion #4
I am looking for formally published literature related to the problems discussed in [PMC] Minimal 1-bases for C-N propositional calculus. I noticed that the mentioned paper by Walsh and Fitelson re...
001
Reposted by Samiro Discher
Blyatearp @rayschi.bsky.social · 31/01/2025
www.focus.de/politik/rot-...
focus.de
Rot-grüne Empörungsshow erreicht ihren Höhepunkt - und hat die AfD groß gemacht
Die rot-grüne Empörungsshow erreicht ihren Höhepunkt. Mit zitternden Lippen und falschen Tränen versuchen sie, die AfD klein zu halten. Doch die Protestpartei wächst und wächst - auch weil SPD und Grü...
031
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 30/01/2025
No. This makes a lot of sense. An indicator for actually suffering from #brainrot: Not correcting your opinions when lacking arguments, but to just hate on #Trump for being a Republican.
youtube.com
Trump is a genius
YouTube video by Asmongold TV
102
Reposted by Samiro Discher
Samiro Discher @xamidi.bsky.social · 30/01/2025
Echte Demokraten als "Nazis" zu diffamieren und ihre Meinung zu ignorieren macht euch nicht zu Demokraten, sondern zu Antidemokraten. Und überdies zu Verharmlosern der #Nazis und vom #Holocaust. #Demokratie #Massenhysterie #Massenidiotie #Linksextremisten
021