Show HN: Briced – AI Native CRM
briced.com·42m·
Discuss: Hacker News
🍎Apple
Using domain inspired ML for embedded DSP
buchanan.one·2d·
Discuss: Hacker News
📚Automata Learning
Isolating CSS Inheritance
blog.dwac.dev·18h·
Discuss: Hacker News
🧪Property-Based Testing
Why accessibility might be AI’s biggest breakthrough
arstechnica.com·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·1d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
The Margins of Cybernetics (1963)
blog.outlandish.claims·23h·
Discuss: Hacker News
🩹Self-Healing Systems
Nontransitive comparison functions lead to out-of-bounds read and write in glibc
qualys.com·2d·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·5d·
Discuss: Hacker News
💎Refinement Types
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·6d
🐫OCaml
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·1d
🩹Self-Healing Systems
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·4d
🧩Parser Combinators
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·18h·
Discuss: Hacker News
🔧Unikernel Development
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·4d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·5d
🛡️seL4
Semantically Reflected Programs
arxiv.org·5d
💎Refinement Types
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·3d·
Discuss: Hacker News, r/rust
🔠Type-Level Programming
SL-SLR: Self-Supervised Representation Learning for Sign Language Recognition
arxiv.org·1d
📚Automata Learning
Towards an Accurate and Effective Robot Vision (The Problem of Topological Localization for Mobile Robots)
arxiv.org·1d
🧩Separation Logic
VaccineRAG: Boosting Multimodal Large Language Models' Immunity to Harmful RAG Samples
arxiv.org·1d
🧩Parser Combinators
🔗 I've got your shovelware right here
justin.searls.co·18h·
Discuss: Substack, Hacker News
👁️System Observability