A journey of 4+ years to reach the 100th GitHub release of our open-source observability platform
🔄Reproducible Builds
Flag this post
Share Your Projects: Imperfectionism
hackaday.com·13h
❄️Nixified Development
Flag this post
Automated Broadband Antenna Impedance Matching via Adaptive Genetic Algorithm Optimization
🐫Embedded OCaml
Flag this post
How to access and use Minimax M2 API
🐳Containerization
Flag this post
Minimizing Loss ≠ Maximizing Intelligence
lesswrong.com·3h
📚Automata Learning
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·3d
🛡️seL4
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
🔢Algebraic Data Types
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·1d
🔍Formal Verification
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
🌐Network Protocols
Flag this post
I built an open‑source C# email client with Uno: Gmail, Outlook, IMAP, native Proton Mail, private local AI-agents
📦Unikernel Systems
Flag this post
Loading...Loading more...