faiface

View JSON Representation

Infinity is smaller than 380012893427665492.

Funding Links: https://github.com/sponsors/faiface

• Name: Michal Štrba
• Kind: user
• Followers: 444
• Following: 2
• Total stars: 8207
• Repositories count: 29
• Created at: 2022-11-04T14:25:15.939Z
• Updated at: 2025-06-29T10:40:45.248Z
• Last synced at: 2025-06-29T10:40:45.247Z

GitHub Sponsors Profile

I'm a programmer who likes to read a lot of papers and is trying to bring type-safe concurrent programming from research to practice.
Concurrency is hard! Even without any race conditions, concurrent programs easily suffer from bugs: unexpected messages, forgotten obligations, deadlocks. Concurrent structures - communication protocols - are mostly in the minds of programmers, and informal documentations. Type systems (even if potentially capable of it) are not sufficiently used to make sure concurrent programs are sound.
However, academic literature is full of papers on session types, linear logic, and other topics which, if applied, can make those a thing of the past, including deadlocks. Unfortunately, most results of this decades long research have not made it into practice. But it's understandable.
It's difficult to figure out how to apply them. Think how long it took from Tony Hoare's famous "billion dollar mistake" words to actually seeing languages without null pointers in mainstream. And that's just null pointers.
What I am trying to do is combine my understanding of the research with clever design ideas to create libraries, tools, educational materials, and possibly programming languages to put the theory to real-world use. My first step on this path is my par crate for Rust, implementing session types based on linear logic.
If you feel like this is a goal worth pursuing, consider joining, or sponsoring! It really does help.

• Current Sponsors: 1
• Past Sponsors: 1
• Total Sponsors: 2
• Minimum Sponsorship: $1.00

Featured Works

Active Sponsors

Past Sponsors

Sponsor Breakdown

• User: 2