Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·3h
💻Technology
Flag this post
How to Install Homebrew on Ubuntu and Other Linux Distros
ubuntushell.com·18h
🐳Docker
Flag this post
Ironclad OS project popping out Unix-like kernel in a unique mix of languages
theregister.com·14h·
Discuss: Hacker News
🐳Docker
Flag this post
How to develop Red Hat Enterprise Linux applications on other Linux distributions or Microsoft Windows
developers.redhat.com·1d
🐳Docker
Flag this post
3 games you can play in the Linux terminal
howtogeek.com·1d
🐳Docker
Flag this post
Browsing helm chart from terminal - LazyHelm
github.com·12h·
Discuss: r/devops, r/selfhosted
🐳Docker
Flag this post
pickleterm.nvim: Reuse terminalbuffers
github.com·3d·
Discuss: r/neovim
🐳Docker
Flag this post
Gemini CLI Custom Slash Commands
dev.to·3d·
Discuss: DEV
🖥Proxmox
Flag this post
Head in the Zed Cloud
maxdeviant.com·1d·
Discuss: Lobsters, Hacker News
🐳Docker
Flag this post
Create a Text Editor in Go - Moving the Cursor
github.com·9h·
Discuss: DEV
🐳Docker
Flag this post
How to Install Golang and Handle JSON: A Beginner's Guide
dev.to·4h·
Discuss: DEV
🐳Docker
Flag this post
Building a Production-Ready Batch Video Processing Server with FFmpeg
img.ly·21h
🐳Docker
Flag this post
Hashicorp Vault CLI Part 2: Operation Commands
dev.to·1d·
Discuss: DEV
🖥Proxmox
Flag this post
Have They Found a Complete UNIX V4?
hackaday.com·1d
💻Technology
Flag this post
<![CDATA[ Agentic Plan Execution ]]>
dolthub.com·1d
💻Technology
Flag this post
I made a thing to record the loud cars that wake me up to show my city Council
github.com·1h·
Discuss: r/opensource
🐳Docker
Flag this post
I built sbsh: a tool to make terminal environments reproducible and persistent
reddit.com·2d·
Discuss: r/linux
🐳Docker
Flag this post
Status Week 45
blogs.gnome.org·11h
🐳Docker
Flag this post
How to Build Your Own Agentic AI System Using CrewAI
towardsdatascience.com·1d
💻Technology
Flag this post
Foundations for Hacking on OCaml
kcsrk.info·21h·
Discuss: Hacker News, Hacker News
💻Technology
Flag this post