Compiler Websites

4 websites found

andrevidela.com screenshot

André Videla

// ANDREVIDELA.COM

André Videla is a functional programmer with an inkling for type theory and category theory. He is interested in dependent types, programming languages, user experience and user interfaces, compiler architecture, lenses, and quantitative types. He sometimes works on Idris2, mostly to resolve the problems that he encounters himself with the language. His PhD Thesis is about Monadic programming in the category of containers. He is interested in the ergonomics and the semantics of programming, in particular servers backends, data description languages, and compilers. He can be found on discord (identity5193) and mastodon @andrev@types.pl.

DeveloperEngineer
wilsonl.in screenshot

Wilson Lin

// WILSONL.IN

Wilson is a software engineer. He is interested in distributed systems, backend development, and infrastructure. He enjoys building scalable and reliable systems. He also likes learning about new technologies and contributing to open source projects.

Software EngineerMachine Learning
United States
xnacly.me screenshot

xnacly - blog

// XNACLY.ME

Matteo is a 22 year old software engineer from Germany. He is interested in compilers, tech and hardware. In his free time he likes to contribute to free and open source software, as well as writing his own programming languages and benchmarking. He has worked on projects such as sqleibniz, a static analysis tool for sql; purple-garden, a lean scripting language; and libjson, a fast and minimal JSON parser library written in and for go. He also created stinkarm, an ARMv7 userspace binary emulator for x86 linux systems, and tango8, an 8-bit accumulator-based CPU.

DeveloperEngineer
Germany
ryanliptak.com screenshot

Ryan Liptak - ryanliptak.com

// RYANLIPTAK.COM

Ryan Liptak is a product leader, advisor, and investor. He enjoys building and scaling products and teams. He is currently advising a few companies and investing in early-stage startups. Previously, he was VP of Product at Figure Eight (acquired by Appen). Before that, he led product teams at Yammer (acquired by Microsoft) and Microsoft. He has a background in computer science and design.

DeveloperGame Development