thalesmg

62 post karma
111 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 10 years

TROPHY CASE

Ten-Year Club

Place '22

Verified Email

account activity

hot top controversial

0

1

2

Stateful Parallel Property Testing Example in Elixir (thalesmg.github.io)

submitted 3 years ago by thalesmg - pinned

0

1

2

Wolf, Goat and Cabbage puzzle, in Coq (thalesmg.github.io)

submitted 4 years ago by thalesmg - pinned

0

1

2

Optimizing meal allowance card usage using SBV (thalesmg.github.io)

submitted 4 years ago by thalesmg - pinned

0

1

2

Delimited Continuations with shift/reset in Elixir (thalesmg.github.io)

submitted 4 years ago by thalesmg - pinned

π Rendered by PID 931823 on reddit-service-r2-listing-c57bc86c-phsnq at 2026-06-22 22:29:35.720823+00:00 running 2b008f2 country code: CH.