| 1. | | The Z3 Theorem Prover (github.com/z3prover) |
| 35 points by benoitg 87 days ago | past | 2 comments |
|
| 2. | | The Feldera Incremental Computation Engine (feldera.com) |
| 2 points by benoitg 6 months ago | past |
|
| 3. | | Readyset is a MySQL and Postgres wire-compatible caching layer (github.com/readysettech) |
| 2 points by benoitg 6 months ago | past |
|
| 4. | | Starship: A minimal, fast, and customizable prompt for any shell (starship.rs) |
| 465 points by benoitg 8 months ago | past | 211 comments |
|
| 5. | | MotionXP: 6DOF Simulator Kit (motionxp.com) |
| 1 point by benoitg 11 months ago | past |
|
| 6. | | ESXiArgs ransomware attack targets VMware ESXi servers worldwide (bleepingcomputer.com) |
| 4 points by benoitg on Feb 3, 2023 | past |
|
| 7. | | Consul 1.14 Beta: Announcing Simplified Service Mesh Deployments (hashicorp.com) |
| 3 points by benoitg on Oct 7, 2022 | past |
|
| 8. | | Nomad 1.4 Adds Nomad Variables and Updates Service Discovery (hashicorp.com) |
| 4 points by benoitg on Oct 7, 2022 | past | 1 comment |
|
| 9. | | Traefik Hub, the Cloud Native Networking Platform (traefik.io) |
| 1 point by benoitg on June 24, 2022 | past |
|
| 10. | | Xkcd: Excel Lambda (xkcd.com) |
| 3 points by benoitg on April 22, 2021 | past | 1 comment |
|
| 11. | | Xkcd: Checkbox (xkcd.com) |
| 8 points by benoitg on April 2, 2021 | past | 1 comment |
|
| 12. | | Airbnb’s Stunning IPO (nytimes.com) |
| 137 points by benoitg on Dec 11, 2020 | past | 265 comments |
|
| 13. | | Xkcd: Ten Years (xkcd.com) |
| 145 points by benoitg on Nov 17, 2020 | past | 10 comments |
|
| 14. | | Apple and Ireland have won their appeal against the EU €13B tax ruling (thejournal.ie) |
| 3 points by benoitg on July 15, 2020 | past |
|
| 15. | | In Hong Kong, Arrests and Fear Mark First Day of New Security Law (nytimes.com) |
| 8 points by benoitg on July 2, 2020 | past |
|
| 16. | | The World Builds a Wall to Keep America Out (nytimes.com) |
| 2 points by benoitg on July 1, 2020 | past |
|
| 17. | | What to Know About California’s ‘Dimmer Switch’ Reopening (nytimes.com) |
| 1 point by benoitg on June 30, 2020 | past |
|
| 18. | | ‘Our Luck May Have Run Out’: California’s Case Count Explodes (nytimes.com) |
| 4 points by benoitg on June 30, 2020 | past |
|
| 19. | | TikTok Is Shaping Politics. But How? (nytimes.com) |
| 2 points by benoitg on June 29, 2020 | past |
|
| 20. | | Two Friends Were Tested for Coronavirus, One Bill Was $199, the Other $6,408 (nytimes.com) |
| 3 points by benoitg on June 29, 2020 | past |
|
| 21. | | Alex Stamos – Working on Security and Safety with Zoom (medium.com/alexstamos) |
| 1 point by benoitg on April 9, 2020 | past |
|
| 22. | | Designing the Perfect Elasticsearch Cluster: The (Almost) Definitive Guide (t37.net) |
| 2 points by benoitg on Feb 24, 2020 | past |
|
| 23. | | Bootsketch: a Bootstrap 3 theme for wireframing web projects (yago.github.io) |
| 7 points by benoitg on June 12, 2014 | past | 1 comment |
|
| 24. | | You jacked my scroll bro (medium.com/design-idea) |
| 1 point by benoitg on March 9, 2014 | past | 1 comment |
|
| 25. | | Behind the banner (cmsummit.com) |
| 1 point by benoitg on March 2, 2014 | past |
|
| 26. | | A Readable Wikipedia (weare1910.com) |
| 2 points by benoitg on Feb 12, 2014 | past |
|
| 27. | | The color history of Valentines Day (brandisty.com) |
| 1 point by benoitg on Feb 11, 2014 | past |
|
| 28. | | 80s Typography in CSS (codepen.io) |
| 117 points by benoitg on Feb 8, 2014 | past | 25 comments |
|
| 29. | | The Current Generation of CSS3 Selectors (sitepoint.com) |
| 1 point by benoitg on Feb 3, 2014 | past |
|
| 30. | | Free Font: Norwester (jamiewilson.io) |
| 252 points by benoitg on Oct 15, 2013 | past | 59 comments |
|
