Profile avatar
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
381 posts 160 followers 103 following
Getting Started
Active Commenter
Posts 9 Comments 41

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

submitted 3 days ago • 0 comments

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.

submitted 8 days ago • 0 comments

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

submitted 15 days ago • 2 comments

Großartige Ansprache von Gerald Grosz! Deutsche #Matschbirnen 👌😄 youtu.be/5GAutWNqMiU #Politik #AfD #BSW #Deutschland #Österreich #Immigration

submitted 17 days ago • 0 comments

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

submitted 18 days ago • 0 comments

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.

submitted 19 days ago • 1 comment

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

submitted 329 days ago • 1 comment

submitted 75 days ago • 0 comments

submitted 84 days ago • 0 comments