Gitkube
Deploy to Kubernetes Using Git Push
Show HN: Verba – Yet another Node logger
2023-08-30
Show HN: a simple shell script that opens random past HN front pages
2023-08-30
How to Prove It with Lean
2023-08-30
Dagger 2.48 adds alpha KSP support
2023-08-30
Graphcore-research/unit-scaling: A library for unit scaling in PyTorch
2023-08-30
Open Space Toolkit – collection of versatile libraries for aerospace engineering
2023-08-30
Designing your own social media recommendation engine using LLMs
2023-08-30
The Hitchhiker’s Guide to Logical Verification [pdf]
2023-08-30
Show HN: Restate – Build reliable back ends using state machines
2023-08-30
Show HN: A No-Code UI for Managing Google-Zanzibar Style ReBAC
2023-08-30
