Type Inference Was a Mistake
Fernando Borretti
by
3w ago
On type inference as an academic computer science lab leak ..read more
Visit website
Thoughts on LLM Agents
Fernando Borretti
by
3M ago
Entropy, criticality, and complexity classes of cellular automata ..read more
Visit website
You Need More Constraints
Fernando Borretti
by
9M ago
A checklist of useful SQL constraints ..read more
Visit website
Type Systems for Memory Safety
Fernando Borretti
by
9M ago
A survey of type systems for memory safety ..read more
Visit website
Why Checked Exceptions Failed
Fernando Borretti
by
10M ago
Programming language features are never orthogonal ..read more
Visit website
Test Against Reality
Fernando Borretti
by
10M ago
Against mocking ..read more
Visit website
Test Autodiscovery is a Silver Bullet
Fernando Borretti
by
10M ago
To encourage good practices, make them frictionless ..read more
Visit website
Second-Class References
Fernando Borretti
by
11M ago
On Graydon's Rust, Val, and mutable value semantics ..read more
Visit website
Depth-First Procrastination
Fernando Borretti
by
11M ago
When subgoals recur infinitely ..read more
Visit website
Why Lisp Syntax Works
Fernando Borretti
by
11M ago
On uniform vs. specific syntax ..read more
Visit website

Follow Fernando Borretti on FeedSpot

Continue with Google
Continue with Apple
OR