Curry-Howard, Proposition Types, Constructive Logic, Verification
Evaluation of joint reliability of linear two-dimensional consecutive <math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si449.svg" display="inline" i...
sciencedirect.comยท10h
Letters
lrb.co.ukยท6h
Getting Started With Elixir and Phoenix, a JS Alternative
thenewstack.ioยท10h
Basic Consequences: On Information And Agency
3quarksdaily.comยท1d
Linkage
11011110.github.ioยท2d
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.eduยท2d
Today weโre releasing research with @apolloaievals.
threadreaderapp.comยท6h
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.orgยท1d
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.comยท4h
Loading...Loading more...