Curry-Howard, Proposition Types, Constructive Logic, Verification
The hidden nuances of definitions
clearerthinking.orgยท1d
well-typed/haskell-debugger
github.comยท1d
Hands-on Demo of Glamorous Toolkit & Moldable Development โข Tudor Girba & Kris Jenkins โข GOTO 2024
youtube.comยท14h
Does Language Model Understand Language?
arxiv.orgยท22h
Cross-Domain Misalignment Generalization: Contextual Role Inference
lesswrong.comยท15h
A Graph Machine Learning Approach for Detecting Topological Patterns in Transactional Graphs
arxiv.orgยท22h
Loading...Loading more...