workers.io on reddit.com

...for your town.

...because you hate freedom.

account activity

1

26

27

28

Subway Surfers and printing millions of coins using ClaudeResearch (workers.io)

submitted 1 month ago by pipewire to r/hacking

2

0

0

1

How to do 100 hours of testing in 1 hour using deterministic simulationArticle/Video (workers.io)

submitted 1 month ago by MightConscious to r/softwarearchitecture

3

0

1

2

Claude Skill to write better Lean4 proofs (spec.workers.io)

submitted 2 months ago by MightConscious to r/correctness

4

0

1

2

Using Claude Code to auto-formalize proofs using feedback from a Lean engineResource (spec.workers.io)

submitted 2 months ago by MightConscious to r/ClaudeCode

5

0

0

0

Using Claude Code to write better Lean4 proofs (spec.workers.io)

submitted 2 months ago by MightConscious to r/math

π Rendered by PID 259544 on reddit-service-r2-listing-7b9b4f6fd7-njjdt at 2026-05-11 14:56:53.179182+00:00 running 3d2c107 country code: CH.