I'm a software engineer and I'm keen on doing research and development.
I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
Y11
XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀
Jobleap.cn Japan
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Senior Vue.js Developer
seniorvuejsdeveloper
Senior Vue.js Developer with a passion for crafting exceptional web applications. With expertise in 🌟 Vue.js, 🚀 Nuxt.js, and ⚙️ Node.js 💻🚀 @mustafacagri
Vue Companies Istanbul
Owen Shepherd
414owen
Research engineer. Parsing theory, compilers, functional reactive programming.
@dottxt-ai Ireland
Hiromi Ishii
konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.
Jij, Inc. @Jij-inc Tokyo
Chandler Barlow
chandler-barlow
speed walker and in general poorly educated
Anduril Huntington Beach, CA
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Samuel Schlesinger
SamuelSchlesinger
Working on Google Chrome in the Privacy Sandbox initiative
Google Connecticut
PreviousNext