Cyclic Proofs for iGL via Corecursion
arxiv.org·10h
🧩Design Systems
Flag this post
New comment by crb3l in "Ask HN: Who wants to be hired? (November 2025)"
💬Natural Language
Flag this post
Presentation: Scaling API Independence: Mocking, Contract Testing & Observability in Large Microservices Environments
infoq.com·2h
🧩Design Systems
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·18h
✏Design
Flag this post
RedCodeAgent: Automatic red-teaming agent against diverse code agents
microsoft.com·22h
🤖AI
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·10h
🧩Design Systems
Flag this post
When will `type A = impl Trait` where A is associated type become stable?
🧩Design Systems
Flag this post
Do I want Coders to Code?
▲Next.js
Flag this post
Patterns for Defensive Programming in Rust
✏Design
Flag this post
Low-Level Hacks
🧩Design Systems
Flag this post
Loading...Loading more...