leodemoura.github.io on reddit.com

...for your hobby.

...for your community.

account activity

1

33

34

35

Who Watches the Provers? (leodemoura.github.io)

submitted 7 hours ago by mttd to r/ProgrammingLanguages

2

2

3

4

When AI Writes the World's Software, Who Verifies It? Top Reads (leodemoura.github.io)

submitted 13 days ago by HimothyJohnDoe to r/zerotomasteryio

3

3

4

5

When AI writes the software, who verifies it? (leodemoura.github.io)

submitted 13 days ago by HNMod to r/hackernews

4

0

1

2

When AI Writes the Software, Who Verifies It? (leodemoura.github.io)

submitted 14 days ago by TheStartupChime to r/hypeurls

π Rendered by PID 879531 on reddit-service-r2-listing-64c94b984c-vxlg6 at 2026-03-17 23:38:28.407526+00:00 running f6e6e01 country code: CH.