Fast CVVDP implementation in C (via gianni) — discussion

#compsci

Slaughtering Competition Problems with Quantifier Elimination (via virchau13) — discussion

#math

An experiment in vibe coding (via carlana) — discussion

#vibecoding

MongoBleed explained simply (by topicpartition) — discussion

#security

Parsing Advances (via janerik) — discussion

#plt

Haskelling My Typst (via eBPF) — discussion

#programming

Tiny, types-first schema validation for TypeScript (by easrng) — discussion

#javascript

Solve Hi-Q with AlphaZero and Curriculum Learning (by MrFantastik) — discussion

#ai #vibecoding

I was wrong about typescript part 1 (by amadu) — discussion

#javascript

I was wrong about typescript part 2 (by amadu) — discussion

#javascript

Poor code examples cause LLM misalignment in unrelated domains (via doctor_eval) — discussion

#ai

A Modern Recommender Model Architecture (by Ameo) — discussion

#ai

The dangers of SSL certificates (via typesanitizer) — discussion

#practices #security

Building a Multi-Site Kubernetes Cluster with BGP Anycast (via raymii) — discussion

#devops

The production bug that made me care about undefined behavior (via dryya) — discussion

#c++

Replacing JS with just HTML (via danlamanna) — discussion

#web

Rust Errors Without Dependencies (by vaguelytagged) — discussion

#rust

Have you tried turning it off and on again? (via virchau13) — discussion

#practices

Petlibro: Your Pet Feeder Is Feeding Data To Anyone Who Asks (via rau) — discussion

#security

The PGP problem (via jb3) — discussion

#cryptography #security