Samiro Discher
@xamidi.bsky.social
Critical thinker. Vegan. Gen Y. Not afraid to push back left-wing fascists.
Logician (theoretical computer science) | Developer (HPC & logic tools)
Proof theory & complexity
https://github.com/xamidi
Logician (theoretical computer science) | Developer (HPC & logic tools)
Proof theory & complexity
https://github.com/xamidi
Reposted by Samiro Discher
I wrote a blog post about my proof minimization challenge.
#mathematics #computerscience #logic #challenge #dev #puzzle
#mathematics #computerscience #logic #challenge #dev #puzzle
Tackling fundamental logic: A very hard automated deduction challenge (free for all)
Earlier this year, I created an open-ended logic puzzle that turned out to be quite a demanding...
dev.to
December 20, 2024 at 12:08 AM
I wrote a blog post about my proof minimization challenge.
#mathematics #computerscience #logic #challenge #dev #puzzle
#mathematics #computerscience #logic #challenge #dev #puzzle
Great video.
Good to see a few mature people are still out there.
youtu.be/ujMEJm2r3G4
#wokeness #society #values #maturity #morality #degeneracy
Good to see a few mature people are still out there.
youtu.be/ujMEJm2r3G4
#wokeness #society #values #maturity #morality #degeneracy
What Has Happened to Men? What Has Happened to Our Society?
YouTube video by BigDome
youtu.be
November 1, 2025 at 11:31 AM
Great video.
Good to see a few mature people are still out there.
youtu.be/ujMEJm2r3G4
#wokeness #society #values #maturity #morality #degeneracy
Good to see a few mature people are still out there.
youtu.be/ujMEJm2r3G4
#wokeness #society #values #maturity #morality #degeneracy
Reposted by Samiro Discher
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.
March 1, 2025 at 1:38 PM
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.
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
www.youtube.com/watch?v=hBKm...
#Meinungsfreiheit #Rechtsbeugung #Machtmissbrauch #Deutschland #Linksextremismus #Totalitarismus #Hausdurchsuchung
„Sie sollten vorsichtiger sein, wenn Sie etwas posten.“
YouTube video by Prof. Dr. Christian Rieck
www.youtube.com
October 26, 2025 at 12:09 AM
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
www.youtube.com/watch?v=hBKm...
#Meinungsfreiheit #Rechtsbeugung #Machtmissbrauch #Deutschland #Linksextremismus #Totalitarismus #Hausdurchsuchung
Reposted by Samiro Discher
"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.
www.nature.com/articles/d41...
Even the _best_ #LLMs hallucinated proofs in 29% of cases.
That is terrible.
October 24, 2025 at 11:24 PM
"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.
www.nature.com/articles/d41...
Even the _best_ #LLMs hallucinated proofs in 29% of cases.
That is terrible.
Reposted by Samiro Discher
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.
Adolescents Are More Speciesist Than Adults
Herbiⓥore published a post on Ko-fi
ko-fi.com
October 4, 2025 at 1:59 PM
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.
So, LLMs are bullshit machines. Certainly. Yet so much money is sunk into them.
www.computerworld.com/article/4059...
#llm #ai #hallucinations #waste
www.computerworld.com/article/4059...
#llm #ai #hallucinations #waste
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...
www.computerworld.com
October 2, 2025 at 4:09 PM
So, LLMs are bullshit machines. Certainly. Yet so much money is sunk into them.
www.computerworld.com/article/4059...
#llm #ai #hallucinations #waste
www.computerworld.com/article/4059...
#llm #ai #hallucinations #waste
Reposted by Samiro Discher
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...
#science
forum.effectivealtruism.org/posts/fiqCoK...
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…
forum.effectivealtruism.org
August 26, 2025 at 4:42 PM
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...
#science
forum.effectivealtruism.org/posts/fiqCoK...
Reposted by Samiro Discher
Der Grund ist eher, dass nur linksextreme Antidemokraten für ein AfD-Verbot einstehen. Da zählt die CDU halt nicht dazu. Immerhin.
August 28, 2025 at 3:31 AM
Der Grund ist eher, dass nur linksextreme Antidemokraten für ein AfD-Verbot einstehen. Da zählt die CDU halt nicht dazu. Immerhin.
Many"left-wing" people on Bluesky are totally missing the points and don't realize how disgusting their misrepresentations are.
Astonishing.
Astonishing.
Much of the power is coming from the media and already established structures.
"making fun of someone for being politically ridiculous is not fascist"
Totally missing the point. Celebrating a political enemy to have been publicly assassinated and proposing future victims is very much fascist.
"making fun of someone for being politically ridiculous is not fascist"
Totally missing the point. Celebrating a political enemy to have been publicly assassinated and proposing future victims is very much fascist.
September 14, 2025 at 1:27 AM
Many"left-wing" people on Bluesky are totally missing the points and don't realize how disgusting their misrepresentations are.
Astonishing.
Astonishing.
Reposted by Samiro Discher
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.
September 13, 2025 at 10:23 PM
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.
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
#gametheory #ethics #fascism #murder #terror
#CharlieKirk #Faschismus #Linksextremismus
September 13, 2025 at 3:45 PM
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
#gametheory #ethics #fascism #murder #terror
#CharlieKirk #Faschismus #Linksextremismus
The left-wing fascists struck again. #CharlieKirk
September 12, 2025 at 2:29 AM
The left-wing fascists struck again. #CharlieKirk
Hmm, #hashtag links such as bsky.app/hashtag/hashtag are currently not working when not logged in. @jay.bsky.team
#bsky #dev #bug
#bsky #dev #bug
August 26, 2025 at 5:52 PM
Hmm, #hashtag links such as bsky.app/hashtag/hashtag are currently not working when not logged in. @jay.bsky.team
#bsky #dev #bug
#bsky #dev #bug
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...
#science
forum.effectivealtruism.org/posts/fiqCoK...
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…
forum.effectivealtruism.org
August 26, 2025 at 4:42 PM
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...
#science
forum.effectivealtruism.org/posts/fiqCoK...
I found this neat "rant" mentioning several common misconceptions about logic and methods to obstruct them.
#logic #proofs #syntax #semantics #mathematics #teaching #pedagogy
#logic #proofs #syntax #semantics #mathematics #teaching #pedagogy
The Pedagogy of Logic: A Rant
A blog mostly on math, physics, and computer science.
www.hedonisticlearning.com
August 23, 2025 at 5:45 AM
I found this neat "rant" mentioning several common misconceptions about logic and methods to obstruct them.
#logic #proofs #syntax #semantics #mathematics #teaching #pedagogy
#logic #proofs #syntax #semantics #mathematics #teaching #pedagogy
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
#logic #mathematics
July 31, 2025 at 4:14 PM
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
#logic #mathematics
Reposted by Samiro Discher
This is the funniest Twitter exchange and I still laugh every time I see it
March 27, 2024 at 7:56 PM
This is the funniest Twitter exchange and I still laugh every time I see it
On tax-funded #DEI propaganda in German mathematics departments
apolut.net/im-gespraech...
(interview in German)
#mathematics #academia #germany #idiocracy
apolut.net/im-gespraech...
(interview in German)
#mathematics #academia #germany #idiocracy
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
apolut.net
June 28, 2025 at 7:44 PM
On tax-funded #DEI propaganda in German mathematics departments
apolut.net/im-gespraech...
(interview in German)
#mathematics #academia #germany #idiocracy
apolut.net/im-gespraech...
(interview in German)
#mathematics #academia #germany #idiocracy
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
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
June 25, 2025 at 10:27 AM
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
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