Hillel Wayne

Formal methods, software correctness, and the underrated rigor of engineering.

Sort

Hillel Wayne1d

hwayne pushed book-assets

Hillel Wayne4d

hwayne starred frappe/erpnext

Hillel Wayne8d

hwayne closed an issue in learntla-v2

Hillel Wayne9d

hwayne pushed book-assets

Hillel Wayne10d

hwayne starred antithesishq/antithesis-skills

Hillel Wayne11d

hwayne commented on an issue in learntla-v2

Hillel Wayne1mo

hwayne pushed book-assets

Hillel Wayne1mo

hwayne pushed book-assets

Hillel Wayne1mo

hwayne closed an issue in book-assets

Hillel Wayne1mo

hwayne commented on an issue in book-assets

Hillel Wayne1mo

hwayne pushed book-assets

Hillel Wayne1mo

hwayne commented on an issue in book-assets

Hillel Wayne1mo

hwayne pushed learntla-v2

Hillel Wayne1mo

hwayne commented on an issue in lets-prove-leftpad

Hillel Wayne1mo

hwayne closed an issue in lets-prove-leftpad

Hillel Wayne1mo

hwayne pushed lets-prove-leftpad

Hillel Wayne1mo

hwayne pushed lets-prove-leftpad

Hillel Wayne1mo

hwayne closed a pull request in lets-prove-leftpad

Hillel Wayne3mo

hwayne pushed book-assets

Hillel Wayne3mo

hwayne pushed book-assets

Hillel Wayne4mo

hwayne pushed lets-prove-leftpad

No appearances yet. If you've seen Hillel Wayne as a guest somewhere, hit + suggest to add it.

Minds whose work overlaps with Hillel Wayne’s.

Shared niche — formal methods and verification

@marc-brooker

Shared niche — software architecture and design

@sandi-metz

Shared niche — n/a

@kent-beck

Shared niche — n/a

@sophiebits

Shared niche — knowledge management and systems

@tiago-forte

Shared niche — engineering design systems

@mike-acton

Shared niche — human-centric software engineering craft

@vicki-boykis

Shared niche — structural systems and meta-rationality

@debbie-wayth

Is this you? Claim this page →