benoitg

Recent Submissions

1. 1. ▲ The Z3 Theorem Prover (github.com) 35 points · 7 days ago · 2 comments
2. 2. ▲ The Feldera Incremental Computation Engine (feldera.com) 2 points · 3 months ago · 0 comments
3. 3. ▲ Readyset is a MySQL and Postgres wire-compatible caching layer (github.com) 2 points · 3 months ago · 0 comments
4. 4. ▲ Starship: A minimal, fast, and customizable prompt for any shell (starship.rs) 465 points · 5 months ago · 211 comments
5. 5. ▲ MotionXP: 6DOF Simulator Kit (motionxp.com) 1 point · 8 months ago · 0 comments
6. 6. ▲ ESXiArgs ransomware attack targets VMware ESXi servers worldwide (bleepingcomputer.com) 4 points · 2 years ago · 0 comments
7. 7. ▲ Consul 1.14 Beta: Announcing Simplified Service Mesh Deployments (hashicorp.com) 3 points · 3 years ago · 0 comments
8. 8. ▲ Nomad 1.4 Adds Nomad Variables and Updates Service Discovery (hashicorp.com) 4 points · 3 years ago · 1 comment
9. 9. ▲ Traefik Hub, the Cloud Native Networking Platform (traefik.io) 1 point · 3 years ago · 0 comments
10. 10. ▲ Xkcd: Excel Lambda (xkcd.com) 3 points · 4 years ago · 1 comment