Dependent Types, Linear Types, Effect Systems, Hindley-Milner
Fwd
threadreaderapp.com·15h
Flashy, Fancy Shortcuts Aren't Always Suitable [Python Shorts]
thepythoncodingstack.com·2h
Django Weblog: DSF member of the month - Jake Howard
djangoproject.com·9h
Vibe coding complex changes in Rust
youtube.com·2d
Testing out Crush, a TUI based coding agent (in neovim btw)
grahamhelton.com·18h
AI Rewrote Its Code When I Asked About Human Nature
psychologytoday.com·6h
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·2d
original ↗
canro91.github.io·22h
How to Form an Opinion
idiallo.com·14h
Loading...Loading more...