There's a real dearth of blog posts explaining how to use quadlets for the local dev experience, and actually most guides I've seen seem to recommend using podman/Docker compose. Do you use quadlets for local dev and testing?
Quadlets aren't what I'd personally use for local dev. They are good for running a local headless persistent service. So I wouldn't use it for your service-under-test but they can be a good fit for supporting dev tools like a local package registry, proxy or VPN gateway.
The one gotcha I can think of not mentioned there is that if you run it as a non-root user and want it to run without logging in as that user, you need to: `sudo loginctl enable-linger $USER`.
If you don't vibe with quadlets, it's equally fine to do a normal systemd .service file with `ExecStart=podman run ...`, which quadlets are just convenience sugar for. I'd start there and then return to quadlets if/when you find that becomes too messy. Don't add new abstraction layers just because you can if they don't help.
If you have a more complex service consisting of multiple containers you want to schedule as a single unit, it's also totally fine to combine systemd and compose by having `ExecStart=podman compose up ...`.
Do you want it to run silently in the background with control over autorestarts and log to system journal? Quadlets/systemd.
Do you want to have multiple containers scheduled together (or just prefer it)? Compose.
Do you want to manually invoke it and have the output in a terminal by default? CLI run or compose.
I think I tried that (or a derivative of it, didn't know Samsung was the primary developer) that broke in some very very weird ways. Will try this version, thanks!
There are libraries that simulate a lot of these things (e.g. https://github.com/G-Research/TypeEquality for GADTs). You're absolutely right that it's not as first class as in OCaml, but the tools are there if you want them.
I've written type-equality witnesses in F#, they can kinda recover type equalities (with cast methods) but not refute them, so you still need to raise exceptions for those cases.
Nelknet (https://nelknet.com/) | Senior contractors, frontend and backend | Remote (US & international, but some overlap with clients needed) We're a small, experienced team building software solutions for US-based clients. Recent projects include:
- Building ChatGPT-style interfaces for intelligence report analysis
- Developing generative AI features for professional networking platforms
- Platform engineering for logistics/trucking management systems
- Architecture design for real estate search engines
- Implementing RAG pipelines for edtech products
We're expanding our network of senior contractors (both frontend and backend). This is a 1099 contracting relationship - you'll have the flexibility to manage your own schedule and potentially work with other clients while maintaining a professional commitment to our projects.
Requirements: - Strong English communication skills - Senior-level development expertise - Experience with modern tech stacks - Ability to work independently while collaborating effectively - Some level of US business hours availability
I'm curious about the same, but also am wondering if there can be an automatic election of a new primary through the use of conditional writes (or as Fly.io say, CASAAS: Compare-and-Swap as a Service).
I would love to have an eInk tablet that I can watch videos on (color not required). I frequently watch educational YouTube videos before bed, but I’d prefer to have something that isn’t beaming light into my eyes. Does something like this exist on the market today, or do I need to wait until this product gets released?
I can’t wait until this is available in more rural areas of NY. I would love to be able to take this thing to/from a bar where there’s no public transport and very low density of Uber/Lyft.
Nelknet (https://nelknet.com/) | Senior contractors, frontend and backend | Remote (US & international, but some overlap with clients needed) We're a small, experienced team building software solutions for US-based clients. Recent projects include:
- Building ChatGPT-style interfaces for intelligence report analysis
- Developing generative AI features for professional networking platforms
- Platform engineering for logistics/trucking management systems
- Architecture design for real estate search engines
- Implementing RAG pipelines for edtech products
We're expanding our network of senior contractors (both frontend and backend). This is a 1099 contracting relationship - you'll have the flexibility to manage your own schedule and potentially work with other clients while maintaining a professional commitment to our projects.
Requirements: - Strong English communication skills - Senior-level development expertise - Experience with modern tech stacks - Ability to work independently while collaborating effectively - Some level of US business hours availability
Hi, just FYI your form is giving a 400 error (field data constraint violation). Unsure why that is, since I have filled all form elements. Also doesn't let me know which field is problematic.
reply