Skip to content
View arminbiere's full-sized avatar
277 followers · 3 following

Achievements

Achievement: Pull Sharkx2Achievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report arminbiere

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.

Maximum 250 characters. Please donโ€™t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
@dkapt
Dimitrios Kapetanios dkapt

Greece

@tfmsadhith
sanjay adhith tfmsadhith
el tiempo es muy poco
@thmleary
Thomas Leary thmleary
@JeffCarpenter
Jeff Carpenter JeffCarpenter

True North

@savitro
savitro
@GrigoryEvko
Grigory Evko GrigoryEvko
CTO @TheArtisanAI | Compilers, ML and DevOps engineer | MD

@TheArtisanAI

@bannayeva
Aliya Bannayeva bannayeva
Master student in Data Engineering & Analytics at Technical University of Munich. Interested in databases.

Munich, Germany

@ahmed-irfan
Ahmed Irfan ahmed-irfan
@maimaiguanfan
maimaiguanfan
@DocBigTree
BigTree DocBigTree
@alhusseingamal
Alhussein Gamal alhusseingamal

Cairo University - Faculty of Engineering Cairo, Egypt

@EllipticPi
Ike EllipticPi

University of Utah Salt Lake City, Utah

@LlzmMing
LlzmMing
@PetterS
Petter Strandmark PetterS
Computer vision, optimization, and operations research.

Sweden

@tomaz1502
Tomaz Gomes Mascarenhas tomaz1502
Computer Scientist

UFMG Belo Horizonte, MG, Brazil

@nizaramama
Nizar Amama nizaramama
Researcher in spectral complexity, mathematical logic, and the P vs NP program. Interested in unified frameworks, dynamic proofs, and foundational questions in
@gbennett71
gbennett71
@msai-amin
AmouAI msai-amin
@Byt-wyze-technology
Byt-Wyze Byt-wyze-technology
Byt-Wyze develops deterministic SAT generators, trace standards, and reproducible CNF preprocessing tools for researchers and solver developers.

byt-wyze.com

@zaxioms0
zach zaxioms0
PhD student at CMU. Interested in Automated Reasoning and Massive Parallelism

Pittsburgh, PA

@endersonlynhares
Enderson Linhares endersonlynhares
@tony177269878
tony177269878
@24601
Basit Mustafa 24601
Tell your agents I said hi.

carcinize corp Telluride, CO

@XiangYZhg
XiangYZhg
@hakank
Hakan Kjellerstrand hakank
Independent Researcher. Interests: Constraint Modeling, Logic Programming, (Recreational) Mathematics, Probabilistic programming. Co-author of the Picat book.

Software Developer (Retired) / Independent Researcher Malmoe, Sweden

@jimmy312495
Hsiang-Chun Yang jimmy312495

NTUEE

@hsqStephenZhang
z combinator hsqStephenZhang
What i cannot create, i do not understand

earth Saarbrucken

@popsection
Isaac Young popsection
@ShadowGhostH
Zhenghang Xu ShadowGhostH
Northeast Normal University

Northeast Normal University Jingyue Street No.2555, Changchun Jilin China

@0xekez
zeke 0xekez
@jelspace
21world jelspace
Who not work will not Eat ][Basic Income(free money and all time free) monetization][ vs ][Employment(exchange your time for money) monetization][
@Marcvi19
Rishik Ram Marcvi19
@HafizAQ
Hafiz Abdul Quddus HafizAQ
Formal Verification & AI Researcher and Engineer | PhD Candidate @ HHN | Neuro-Symbolic AI | Formal Methods | MPhil in Computer Science (Goldmedalist)

Heilbronn University of Applied Sciences 74653 Kรผnzelsau, Germany

@shpark
shpark

Seoul

@xfzhou01
Xiaofeng ZHOU xfzhou01

RCSL @ HKUST Hong Kong

@Narco25
Niko Narco25
@ptal
Pierre Talbot ptal
I <3 lattice theory

University of Luxembourg Luxembourg

@standardgalactic
Cogito Ergo Sum standardgalactic
๐˜๐˜ฐ๐˜ฎ๐˜ฆ ๐˜ฐ๐˜ง ๐˜ต๐˜ฉ๐˜ฆ ๐š‚๐š๐šŠ๐š—๐š๐šŠ๐š›๐š ๐™ถ๐šŠ๐š•๐šŠ๐šŒ๐š๐š’๐šŒ ๐™ฐ๐š•๐š™๐š‘๐šŠ๐š‹๐šŽ๐š

Xanadu Canada

@djvelimir
Velimir ฤurkoviฤ‡ djvelimir
Senior Software Engineer

Novi Sad, Vojvodina, Serbia

@xujunjie23
junjie xu xujunjie23

ningbo university

@yvef
Iaroslav Babanin yvef
@scaranma
Manuel S scaranma
@jchanke
Joseph Chan jchanke

Carnegie Mellon University Pittsburgh, PA

@wjrforcyber
Jingren Wang wjrforcyber
A student.

HKUST(GZ) Guangzhou, China

@JakobHav
Jakob JakobHav
Developer from Germany, loves small electronics and microcontrollers. Interested in Optimal Control and Audio. I study Embedded Systems Engineering at UFR.

Student at Albert Ludwigs University, Freiburg Germany

@kim-insung-wq
Insung Kim kim-insung-wq
Ph.D Student / School of Cybersecurity, KOREA University

School of Cybersecurity, KOREA University / Mathematics, University of Seoul Republic of Korea

@waynee95
waynee95
programmer. vim user. student

Germany

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.

Lafayette, Indiana

@Haksell
Haksell Haksell
@bac0nb0yy
bac0nb0yy bac0nb0yy
ร‰tudiant en Software Engineering

42 Paris