What are good fanless alternatives to ASUS NUC 13 Rugged?
asus.comยท16hยท
Discuss: r/homelab
๐Ÿ”งUnikernel Development
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท16hยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Flag this post
Show HN: Vercel-like deployments on your own VPS
outlap.devยท1dยท
Discuss: Hacker News
๐ŸณContainerization
Flag this post
Ask HN: Where to Begin with "Modern" Emacs?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ”งDarwin Internals
Flag this post
Automated Anomaly Detection in 4-Point Probe (4PP) Stress-Induced Resistance Drift via Bayesian Hyperparameter Optimization
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธObservability
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท3dยท
Discuss: Lobsters, Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Homelab planning
i.redd.itยท1dยท
Discuss: r/homelab
๐Ÿ HomeLab
Flag this post
Introducing Realm9: Solving Enterprise Environment Chaos with AI
dev.toยท10hยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post
Linux Kernel Ported To WebAssembly - Demo Lets You Run It In Your Web Browser
phoronix.comยท1dยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
Flag this post
EVE-NG on aws dedicated server based
reddit.comยท19hยท
Discuss: r/homelab
๐Ÿ–ฅSelf-Hosting
Flag this post
GPU Pro โ€“ Master Your AI Workflow
github.comยท14hยท
Discuss: Hacker News, Hacker News
๐Ÿ“ฆUnikernel Systems
Flag this post
Show HN: KeyLeak Detector โ€“ Scan websites for exposed API keys and secrets
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Protocol Verification
Flag this post
Scala vs. F#
alexn.orgยท6hยท
Discuss: Hacker News
ฮปFunctional Programming
Flag this post
Smaller Surfaces
nrempel.comยท1dยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Flag this post
Debian's APT Will Soon Begin Requiring Rust: Debian Ports Need To Adapt Or Be Sunset
phoronix.comยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธDune
Flag this post
How to Build Beautiful Terminal User Interfaces in Python
dev.toยท2dยท
Discuss: DEV
๐Ÿ’ปCLI Tools
Flag this post
Homelab Progress
reddit.comยท22hยท
Discuss: r/homelab
๐Ÿ HomeLab
Flag this post
i'm a zoomer on cachyOS but it seems to run in the family; my father has a jacket with a sun microsystems embroider on the front
reddit.comยท1dยท
Discuss: r/linux
โ„๏ธNix
Flag this post
Ultra-low power Edge AI Camera Built on STM32N6
dev.toยท2hยท
Discuss: DEV
๐Ÿ”ŒIOKit
Flag this post
I created Open Source Kubernetes tool called Forkspacer to fork entire environments + dataplane, it is like git but for kubernetes.
reddit.comยท1dยท
Discuss: r/kubernetes
โŽˆKubernetes
Flag this post