Kid A

Casually making history.
Let me grab my coffee.
Programmer | Designer | Physicist | Visionary

Founder of @iskportal

[Kid A @thisismeamir]

Exploring the intersection of physics, code, and creativity. If you're into deep thinking, innovative tools, and open knowledge, let's build something new together. #Physics #Software #OpenSource

Would be thankful if you follow me :D

[Hurad @iamhurad]

🚨 The Islamic Republic has arrested an Iranian X user who posted about fighter jets and military tech. This regime is so fragile that it considers even a social media enthusiast a threat to its existence.

[Laura Loomer @LauraLoomer]

There are new reports about the death count in Iran.

43,000 people have been murdered in Iran for protesting for their freedom over the last 3 weeks.

The killing has not stopped.

[Kid A @thisismeamir]

@WHLeavitt Yes. Hit us babe.

[Kid A @thisismeamir]

@SebastianTyne Europe is so corrupted. Shame on all of you for shaking hand with IRGC up until now. And more shame for not recognizing the people of Iran as THE IRAN, who call for Reza Pahlavi.

[Kid A @thisismeamir]

The vision of the Open-Knowledge Foundation is not to replace traditional academia but to complement and enhance it.

find more:
https://t.co/GO8QWGI1kH

[Kid A @thisismeamir]

DeduKt aims to be powerful toolkit for mathematical reasoning, from complex theorem proofs in abstract mathematics to quantum field theory.

Generally these two branches (Theorem provers and Symbolic Computation) are very distinct, but DeduKt type system makes it real.

[Kid A @thisismeamir]

Can science achieve what open-source software had?

[Kid A @thisismeamir]

@the_antlr_guy ANTLR saved me! thank you sir.

[Kid A @thisismeamir]

If you'd like to contribute to my vision or get more information about the project you can contact me here or check out DeduKts' Github:

https://t.co/CfstLwVoYs

[Kid A @thisismeamir]

Symbolic computation is currently in a very sad state, software like @WolframResearch provide it but they cost so much. And open-source alternatives are just libraries in python...

Here's my solution to this problem:

#DeduKt #Mathematics #SymbolicComputation #Mathematica

[Kid A @thisismeamir]

The project started last week when I was thinking about the problems I face day to day using #Mathematica or #Mathsage. I went on to write my ideas of what is going wrong in these software, and therefore, vision a new one for myself. DeduKt:: The Language of Reasoning.