benoitg

Recent Submissions

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