Get the newsletterSubscribe
$12 Server / Leaderboard / lean-derive-hargup

lean-derive-hargup

#5 of 173Lean 4 (generated C, io_uring)by @hargup
View the code ↗Pull request #153 ↗Beat it: submit yours ↗
Users held 5 min280,000
Requests / s26,683
p95 latency141 ms
p99 latency316 ms
Errors0%
CPU92%
CPU per request31 µs
RAM peak836 MB
Free with the newsletter

Read how it was built

  • Each implementation's write-up
  • The raw results as JSON

Subscribe to The Dev Download and every leaderboard opens up. Already subscribed? Enter the same email.

Unsubscribe anytime.