Becoming a Core Developer
stefaniemolin.com·2d
🔍Static Analysis
Flag this post
My Experience as a SDE Intern at AWS
🧩Theorem Proving
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·20h
🎲Probabilistic Programming
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·13h
🎲Probabilistic Programming
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🔐Cryptography
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🤝Protocol Design
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·20h
🔢Mathematical Logic
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·20h
🔗Parser Combinators
Flag this post
I Use AI
🧩Theorem Proving
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
🧩Theorem Proving
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·1d
🧩Theorem Proving
Flag this post
Built SlopGuard - open-source defense against AI supply chain attacks (slopsquatting)
🧩Theorem Proving
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·20h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...