Sign in

ethan c.

@echou1.bsky.social
18 followers 15 following 14 posts

umdcs masters graduate in pl. working on universal pbt at antithesis

PostsRepliesMedia
Reposted by ethan c.
Antithesis @antithesis.com · 14/07/2026
Today we’re releasing Hegel for OCaml. Hegel is a family of PBT libraries based on Hypothesis, providing powerful, ergonomic property-based testing for many different languages. Hegel lets you declare data generation inline with your test code, and provides native support for stateful testing.
1265
ethan c. @echou1.bsky.social · 09/07/2026
gihthub 🥀
010
ethan c. @echou1.bsky.social · 27/06/2026
there she is
000
ethan c. @echou1.bsky.social · 27/06/2026
last day in london, so obviously you ride the DLR to the prime meridian
100
ethan c. @echou1.bsky.social · 26/06/2026
we're still fixing some performance regressions in the shrinker but otherwise it works surprisingly well! some basic benchmarks (bst, red black tree, simply typed lambda calc) showed speedups from 10-120x compared to the old python backend version.
140
ethan c. @echou1.bsky.social · 20/06/2026
rekt
110
ethan c. @echou1.bsky.social · 14/06/2026
I didn't know chiitan was based like that
220
ethan c. @echou1.bsky.social · 14/06/2026
why is everyone yelling let's go nix? decent operating system i guess
0486
ethan c. @echou1.bsky.social · 14/06/2026
紫色
000
ethan c. @echou1.bsky.social · 13/06/2026
purple
110
ethan c. @echou1.bsky.social · 13/06/2026
to be fair, I did scream "northeast regional supremacy" in the bar after game 4
020
ethan c. @echou1.bsky.social · 12/02/2026
I would love one as well
010
ethan c. @echou1.bsky.social · 22/06/2025
now this is pod racing
000
ethan c. @echou1.bsky.social · 08/05/2025
Congrats!!
010
ethan c. @echou1.bsky.social · 27/01/2025
this will surely bring down the egg prices
010