Skip to content
View ilyasergey's full-sized avatar
269 followers · 8 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Organizations

@math-comp @DistributedComponents @certichain @TyGuS @icfpcontest2019

Block or report ilyasergey

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
@edu-ap
Eduardo Aguilar Pelaez, MEng, PhD, MBA edu-ap
FP โ†’ Hardware โ†’ AI Agents. Applying type theory to make LLM orchestration deterministic. Imperial College London alumnus.

Legal Engine, GondolaAI, 5QD

@24601
Basit Mustafa 24601
Tell your agents I said hi.

carcinize corp Telluride, CO

@daniel-fahey
Daniel Patrick Fahey daniel-fahey
namque est in rebus inane ; for there is void in things

London

@valeryz
Valeriy Zamaraiev valeryz

Seeblock GmbH Zurich

@clarus
Guillaume Claret clarus
Security researcher at @formal-land ๐ŸŒฒ for Web3 applications Applying the ๐Ÿ“ proof system to find all the vulnerabilities. ๐Ÿปโ€โ„๏ธ

Formal Land Paris

@tch1001
tch1001
@PhysShell
PhysShell
@JeffCarpenter
Jeff Carpenter JeffCarpenter

True North

@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@vaivaswatha
Vaivaswatha N vaivaswatha
Compiler Engineer

India

@ADSWT518
Yazhou Tang ADSWT518
Master's student @FICTION-ZJU, B.Eng. @SJTU-CSE, PL/FM beginner

Zhejiang University Hangzhou, China

@sceptejas
TEJASVI sceptejas

bangalore

@itahang
itahang
@sun-jacobi
Chia Sun sun-jacobi
Interested in HPC and PL
@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@yiyuan-cao
Yiyuan Cao yiyuan-cao
PhD student in Programming Languages

Peking University Beijing, China

@yLukas077
Lucas Marques yLukas077
CS Undergrad @ UFPE (CIN)
@nsrknth
nsrknth
@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@Tom0528
Tomas Ramirez Tom0528
Backend & Web Developer | WordPress, Webflow, SEO, Lead Generation | 10+ yrs building responsive, user-focused websites and scalable web solutions | Passionate

Argentina

@veehz
Vee Hua Zhi veehz

National University of Singapore Singapore

@Erchiusx
Erchiusx
@rachlenko
Evgeny rachlenko
I possess wide experience in leading infrastructure projects, including design and development large-scale systems

Rachlenko labs Portugal

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrรผcken

@bhamadicharef
Brahim HAMADICHAREF bhamadicharef
Research Scientist III (IHPC, A*STAR, Singapore)

Singapore

@bugHunter572
Andrew bugHunter572

The Red Pointe Group Russellville, AR

@keyansheng
keyansheng
@beike-zh
beike-zh
@markkinuthia
Marcism markkinuthia
R fanatic Excited about data science and all the emerging trends machine learning , deep learning and artificial intelligence

Toronto , Canada

@nholuongut
Nho Luong nholuongut
๐Ÿ’ ๐Ÿ‡ป๐Ÿ‡ณ๐Ÿ‡ป๐Ÿ‡ณ-๐Ÿ‡ป๐Ÿ‡ณ๐Ÿ‡ป๐Ÿ‡ณ-๐Ÿ‡ป๐Ÿ‡ณ๐Ÿ‡ป๐Ÿ‡ณ-๐Ÿ‡ป๐Ÿ‡ณ๐Ÿ‡ป๐Ÿ‡ณ-๐Ÿ‡ป๐Ÿ‡ณ๐Ÿ‡ป๐Ÿ‡ณ-๐Ÿ‡ป๐Ÿ‡ณ๐Ÿ‡ป๐Ÿ‡ณ - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@dipeshkaphle
Dipesh Kafle dipeshkaphle

@delta

@MarkFontenot
Mark Fontenot MarkFontenot
Teaching Professor in the Khoury College of Computer Sciences at Northeastern University

Northeastern University Boston, MA

@jf-li00
Jiefeng Li jf-li00

Huazhong University Of Science and Technology Wuhan, Hubei, China

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@cmcmA20
cmcmA20
@ariadesupriyatna
nolduakali ariadesupriyatna
0 > 1 > 0

Indonesia

@ElijahVlasov
Ilia Vlasov ElijahVlasov

@NethermindEth London, UK

@z3r086
Andreas Karg z3r086
NEW-WAVE

3V1L-Z3R0 Marl

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

Xanadu Canada

@senthil28
senthil28
@quangvdao
Quang Dao quangvdao
Formal verification for cryptography. PhD Student at Carnegie Mellon University

Pittsburgh, PA

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
product | Claude Code very active user

Denver, CO

@SherisseTJW
SherisseTJW
@Thoth87
varList Thoth87
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@RIvance
std::_Rb_tree RIvance
PhD student at @hkuplg

0000:7C00

@fabiohto
Fabio S. fabiohto

Sรฃo Paulo

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@hansedon
hansedon

NUS