Curry-Howard, Proposition Types, Constructive Logic, Verification
Letters
lrb.co.ukยท1d
Linkage
11011110.github.ioยท3d
Getting Started With Elixir and Phoenix, a JS Alternative
thenewstack.ioยท1d
A Tandem of GPT-5 And [Mystery Model] Has Beaten the Best Human Coders
thealgorithmicbridge.comยท2h
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ยท1d
The Intercepted Self: How Generative AI Challenges the Dynamics of the Relational Self
arxiv.orgยท15h
Cross-Domain Misalignment Generalization: Contextual Role Inference
lesswrong.comยท1d
Loading...Loading more...