tiferrei's Top FindsLoading...
Cure - Verification-First Programming for the BEAM
cure-lang.org·4d·
🔍Formal Verification
Flag this post
The Gnome Village
happihacking.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Ray Security – Predictive Data Security Platform
raysecurity.io·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Show HN: Korrero – A Headless CMS for in-app notifications to free up dev time
korrero.com·2d·
Discuss: Hacker News
Helm
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·2d·
🔧Unikernel Development
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·4d·
👁️System Observability
Flag this post
Transform your MCP architecture: Unite MCP servers through AgentCore Gateway
aws.amazon.com·1d
🖥️Self-hosted Infrastructure
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·3d
Process Calculi
Flag this post
"Best" KVM over IP
reddit.com·2d·
Discuss: r/homelab
🖥️KVM
Flag this post
Show HN: KnexBridge – Generate TypeScript and Zod Types from Knex DB
github.com·1d·
Discuss: Hacker News
❄️NixOS
Flag this post
Qartographer: Quantum Chip Design... Reimagined!
dev.to·23h·
Discuss: DEV
🔧Microcontrollers
Flag this post
Diffusion Dynamics in Biofilms with Time-Varying Channels
arxiv.org·20h
🔲Cellular Automata
Flag this post
Deep Learning-Driven Kinetic Resolution of Chiral Amino Acids via Engineered Artificial Metalloenzymes
dev.to·20h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·2d·
Discuss: Hacker News
📦Opam
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·3d
🕸️Graph Theory
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·3d
🔍Formal Verification
Flag this post
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.org·20h
👁️Observability
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.to·2d·
Discuss: DEV
🔧ppx
Flag this post
SysPulse: A Terminal-based System Monitor
reddit.com·2d·
Discuss: r/programming
🔌IOKit
Flag this post
Show HN: I made a browser extension to practice phonetic scripts (like katakana)
github.com·7h·
Discuss: Hacker News
🔤Typography
Flag this post