🔄 direnv

Environment Variables, Nix Shell, Development Setup, Project Config

Sun 386i
en.wikipedia.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
OpenLoRa: Validating LoRa Implementations Through an Open-Sourced Framework
usenix.org·1d·
Discuss: Hacker News
👁️Observability
Flag this post
Improving Structured Outputs in the Gemini API
blog.google·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Flag this post
How I Leverage LLMs
indiethinkers.com·7h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Linux 6.19 To Optimize Exiting To User-Space For Restartable Sequences
phoronix.com·3d
🔧Unikernel Development
Flag this post
New bitnamisecure kubectl image - FIPS mode
reddit.com·14h·
Discuss: r/kubernetes
💎Refinement Types
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·2d·
Discuss: Hacker News
🐳Containerization
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·22h·
Discuss: Hacker News
📦Opam
Flag this post
Show HN: macOS menu bar app that monitors your Ethernet connection status
github.com·2d·
Discuss: Hacker News
🔌IOKit
Flag this post
LinuxPlay, open-source ultra-low-latency remote desktop for Linux (now with GitHub Sponsors!)
reddit.com·2d·
Discuss: r/linux
🔧Unikernel Development
Flag this post
Vibe Coding Vibe Deployment: The Next Big DevOps Shift
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
10 Smart Performance Hacks For Faster Python Code
blog.jetbrains.com·1d
🔧ppx
Flag this post
Gemini CLI Best Practices: 10 Pro Tips You're Not Using
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
EVE-NG on aws dedicated server based
reddit.com·4d·
Discuss: r/homelab
🖥Self-Hosting
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·3d·
Discuss: Hacker News
📦Module Systems
Flag this post
My slightly cobbled together but freshly tidied mini home lab
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·17h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Epidemiology of Large Language Models: A Benchmark for Observational Distribution Knowledge
arxiv.org·17h
📚Automata Learning
Flag this post
How to Build an EMR App
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post