Checkup
Distributed, lock-free, self-hosted health checks and status pages
Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover
2023-09-06
Show HN: Trellis – open-source Python framework to build DAG-based LLM workflows
2023-09-06
Static Ownership Checks for C
2023-09-05
A tool for checking the security hardening options of the Linux kernel
2023-09-05
Why Python is awesome? check this
2023-09-05
Show HN: The missing linter for Pull Requests
2023-09-05
Show HN: Puck – Open-source visual editor for React
2023-09-05
Show HN: Equinox (1.3k stars), a JAX library for neural networks and sciML
2023-09-05
Launch HN: Nullstone (YC W22) – An easier way to deploy and manage cloud apps
2023-09-05
Show HN: Simple passwordless authentication for your website
2023-09-05
