Our great sponsors
-
FreeRTOS-Kernel
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
I'm all for SQLite and I am a fan of the author of the project but for a webserver I have turned my back away from Nginx for https://caddyserver.com/ because of the simplicity.
Caddy is just really awesome as a reverse proxy (2 line config!!) and I am in the processes of moving all my projects to it. It is fast enough as well since other things will be the bottle neck way before that.
Maybe that was true at some point, but itβs no longer true. FreeRTOS consists of a core of 6-7 .c files (some of which may be optional) plus 2-3 board support source files. See their GitHub mirror: https://github.com/FreeRTOS/FreeRTOS-Kernel
RecordFlux[0] is a DSL written in Ada for specifying messages in a binary protocol. Code for parsing these messages is then generated automatically with a number of useful properties automatically proven including that no runtime errors will occur.
[0] https://github.com/Componolit/RecordFlux
Related posts
- Automatic SSL Solution for SaaS/MicroSaaS Applications with Caddy, Node.js and Docker
- Cheapest ECS Fargate Service with HTTPS
- I abandoned OpenLiteSpeed and went back to good ol' Nginx
- How tf does Docker Networking even work?!π΅βπ«
- Show HN: Redesigned Caddy homepage, including an On-Demand TLS demo