Meta tags:
Headings (most frequently used words):
romac, me, active, projects, latest, talk, network, nodes, corophage, choreo, cargo, stitch, libp2p, scatter, formal, verification, of, scala, programs, with, stainless,
Text of the page (most frequently used words):
scala (4), and (4), romac (4), #formal (3), programming (3), software (3), theory (3), connected (2), build (2), verification (2), all (2), libp2p (2), for (2), cargo (2), rust (2), projects (2), language (2), home (2), latency, 0ms, 2026, theme, linkedin, keybase, bluesky, mastodon, github, network, nodes, romandie, meetup, lausanne, october, 2019, programs, with, stainless, latest, talk, protocol, broadcasting, messages, peers, scatter, subcommand, applying, source, level, patches, crates, before, compilation, stitch, choreographic, choreo, algebraic, effects, stable, corophage, active, main, areas, interest, are, related, type, compiler, construction, like, exploring, these, topics, haskell, engineer, who, strives, correct, resilient, standing, the, shoulders, methods, just, romain, ruetschi, talks,
Text of the page (random words):
home romac me v3 romac me home projects talks romac me hi i am romain ruetschi or just romac i am a software engineer who strives to build correct and resilient software by standing on the shoulders of formal methods and programming language theory my main areas of interest are related to formal verification of software programming language theory type theory and compiler construction i like exploring these topics in rust scala and haskell active projects all corophage algebraic effects on stable rust choreo choreographic programming in scala cargo stitch a cargo subcommand for applying source level patches to crates before compilation libp2p scatter libp2p protocol for broadcasting messages to connected peers latest talk all formal verification of scala programs with stainless scala romandie meetup lausanne october 2019 network nodes github mastodon bluesky keybase linkedin connected latency 0ms build 2026 03 theme
|
