Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1d·
Discuss: Hacker News
📦Opam
Flag this post
At the end you use Git bisect
kevin3010.github.io·19h·
Discuss: Hacker News
👁️System Observability
Flag this post
AWK technical notes (2023)
maximullaris.com·17h·
Discuss: Lobsters, Hacker News
🔀Brzozowski Derivatives
Flag this post
Sometimes Assertions
antithesis.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Is 'human' a risky AGI target
nullsy.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Using GLM-4.6 to reverse engineer Catan Universe browser game (WebGL and unity)
ankitmaloo.com·3d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·2d
❄️Nixified Development
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·21h·
Discuss: DEV
🏠HomeLab
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·1d·
Discuss: DEV
🛡️seL4
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·3d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·22h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Building Intelligent AI Agents with Modular Reinforcement Learning
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·3h·
Discuss: DEV
📦Unikernel Systems
Flag this post
Rouille – Rust Programming, in French
dev.to·2d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
VISAT: Benchmarking Adversarial and Distribution Shift Robustness in Traffic Sign Recognition with Visual Attributes
arxiv.org·7h
🧮SMT Solvers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·3d
🔲Cellular Automata
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·7h
🧩Parser Combinators
Flag this post
Beyond Visualization: Building Decision Intelligence Through Iterative Dashboard Refinement
arxiv.org·7h
👁️System Observability
Flag this post
Byzantine Attacks in RIS-Enhanced Cooperative Spectrum Sensing: A Decision Fusion Perspective
arxiv.org·7h
👁️Observability
Flag this post