KAYTUS MotusAI for Enterprise AI DevOps
servethehome.comยท1d
๐Ÿ’ฟProxmox HA
Sustaining Package Repositories with Brian Fox
opensourcesecurity.ioยท6h
๐Ÿ”“Open Source Software
AI Coding Tools I Use to Ship Faster - Q4 2025
joshtronic.comยท1d
๐Ÿ—๏ธCompiler Archaeology
Incremental Design, DevOps, Microservices & CICD โ€ข Michael Nygard & Dave Farley
youtube.comยท2d
๐Ÿ”„Reproducible Builds
Subtext Retrospective
subtext-lang.orgยท6dยท
โœจEffect Handlers
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.comยท3d
๐ŸŒณArchive Merkle Trees
This Week in Rust 619
this-week-in-rust.orgยท5dยท
๐Ÿฆ€Rust Macros
I Built GoForge to automate Go project setup
github.comยท1dยท
Discuss: Hacker News
๐ŸšBash Combinators
A Computational Framework for Interpretable Text-Based Personality Assessment from Social Media
arxiv.orgยท2h
โš–๏ธFeed Ranking
Geometry Meets Vision: Revisiting Pretrained Semantics in Distilled Fields
arxiv.orgยท2h
๐ŸŒ€Differential Geometry
TypeNet Benchmark for development of authentication keystroke technologies
github.comยท1dยท
Discuss: Hacker News
๐Ÿ—œ๏ธLZSS Variants
GPT-5 Codex: How it solves for GPT-5's drawbacks
dev.toยท15hยท
Discuss: DEV
๐Ÿ“Code Metrics
Scaling Projects: How AI Transforms DevOps & Continuous Integration
dev.toยท1dยท
Discuss: DEV
๐Ÿ Homelab Orchestration
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.toยท17hยท
Discuss: DEV
โšกSMT Integration
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.orgยท2h
๐Ÿ”BitFunnel
CodeRabbit CLI - Free AI code reviews in your CLI
dev.toยท15hยท
Discuss: DEV
๐ŸชŸAwesome windows command-line
The State of Programming and Innovation
dev.toยท12hยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.orgยท2h
๐Ÿ—ฃ๏ธDomain-Specific Languages
ESLint plugin for React Compiler users to flag manual memoization
github.comยท9hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing