Skip to content
View xamidi's full-sized avatar
92 followers · 52 following

Achievements

Achievement: StarstruckAchievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: Pull Shark

Organizations

@deontic-logic

Block or report xamidi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
xamidi/README.md

Welcome! 👋

I am Samiro, a German mathematician in theoretical computer science working mostly independently on deontic logic and proof theory, currently focussing on proof minimization in Hilbert systems. I studied and graduated in computer science at RWTH Aachen University, which now supports some of my work in the form of computing time projects.

  • 🔭 Do you see the beauty in Hilbert systems? Then you might want to join my proof minimization challenge! ✨
  • 👯 I am involved with Metamath's mmsolitaire project and its shortest known proofs database.
  • 💫 I am enthusiastic about modern and well-written C++, especially in the context of high-performance computing.
  • 💬 Feel free to contact me about any of my interests mentioned here.
  • 🚫 I do not jump on hype trains for languages that compromise freedom, beauty and productivity for safety.
  • 🔥 Some scammers are attempting to defame me, angered by things like this repository. For example, u/xamidi on Reddit is not my account. All claims that I would engage in irrational behavior like femboyism, wokism or pro-war activism should be considered lies.
  • 🤔 Having Asperger's syndrome, I am neither flexible in my interests, nor willing to compromise my areas of work for money, prestige, or a career. So until I find people with similar interests, I will keep working on my own projects in solitude.

[xamidi's GitHub stats - refresh to load image]

Pinned Loading

  1. pmGenerator pmGenerator Public

    An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

    C++ 21 3

  2. mmsolitaire mmsolitaire Public

    My contributions to Metamath's mmsolitaire project.

    5

  3. Proof summary of https://us.metamath... Proof summary of https://us.metamath.org/mmsolitaire/pmproofs.txt (version 15-Jun-2024) for use with https://github.com/xamidi/pmGenerator.
    1 
    % Full summary:      pmGenerator --transform data/pm.txt -f -n -t . -j 1
    2 
    %  - infix formulas: pmGenerator --transform data/pm.txt -f -n -t . -j 1 -u
    3 
    %    - to file:      pmGenerator --transform data/pm.txt -f -n -t . -j 1 -u -o data/tmp.txt
    4 
    % Same steps:
    5 
    %  - step counting:  pmGenerator --transform data/pm.txt -f -n -t . -j -1 -p -2 -d
  4. My preferred C++ code style, importa... My preferred C++ code style, importable into Eclipse CDT via Window.Preferences.C/C++."Code Style".Formatter."Import..." , or in project settings when Project.Properties."C/C++ General".Formatter."Enable project specific settings" is enabled via its "Import..." sibling.
    1 
    <?xml version="1.0" encoding="UTF-8" standalone="no"?>
    2 
    <profiles version="1">
    3 
        <profile kind="CodeFormatterProfile" name="LongerLines" version="1">
    4 
            <setting id="org.eclipse.cdt.core.formatter.insert_space_after_opening_paren_in_exception_specification" value="do not insert"/>
    5 
            <setting id="org.eclipse.cdt.core.formatter.insert_space_after_pointer_in_method_declaration" value="insert"/>
  5. metamath/metamath-website-seed metamath/metamath-website-seed Public

    Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files

    HTML 6 10

  6. uxlfoundation/oneTBB uxlfoundation/oneTBB Public

    oneAPI Threading Building Blocks (oneTBB)

    C++ 6k 1.1k