Coq, Theorem Proving, Software Correctness, Safety-Critical Systems
Finding the thread.
readtangle.comยท1d
๐ฅ Tech Talks Weekly #74: ArchUnit, Node.js Event Loop, Rust + Serverless, Monorepo at Meta, ... | See talk summaries ๐
techtalksweekly.ioยท3d
Closer to One: A Potential Future
lesswrong.comยท5h
A vibe coding learning design to enhance EFL students' talking to, through, and about AI
arxiv.orgยท1d
Creating a Standard for TAI Governance
lesswrong.comยท2d
Building Production-Ready LLM Integrations With MCP Over gRPC - Mehrdad Afshari, Signeen Inc.
youtube.comยท21h
Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning
arxiv.orgยท3d
A modified RIME algorithm with covariance learning and diversity enhancement for numerical optimization
arxiv.orgยท1d
How to Analyze and Optimize Your LLMs in 3 Steps
towardsdatascience.comยท2d
Loading...Loading more...