Users following idris-hackers
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
Oleg Sidorenkov
olegdayo
HSE/THWS SE alumni; senior software engineer; HSE OS instructor; Go/Rust/DevOps communities contributor; weeb/geek; olegdayo.github.io/me
@vk-cs Moscow
holiday2u
pighead4u
If our God and our hopes are nothing but scientific phenomena, then let us admit it must be said that our love is scientific as well
China,HZ
Michael
sp1ff
I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code.
Portland, OR
jjpe
A software dev with an interest in programming language design and modern AI techniques.
PrimeEagle
PrimeEagle
Programmer, electrical engineer, musician, Daoist, martial artist. C#, PowerShell, JavaScript, TypeScript, ExtendScript, C++, Go, Rust, Python, Lua, SQL.
Austin, TX
Gabriele Mastrapasqua
gabriele-mastrapasqua
Indipendent Software developer and open source lover.
Indipendent Consultant Milan - Italy
Alexander
nukisman
Idris2, TypeScript, ReactJS, PureScript, Haskell, Elm, NodeJS, HapiJS, AWS
PreviousNext