computational trilogy in nLab
ncatlab.org·7h
λLambda Formalization
Flag this post
How to Build an Agent
🎯Proof Tactics
Flag this post
Certifying optimal MEV strategies with Lean
arxiv.org·1d
⚔️Lean Tactics
Flag this post
The Best Way to Learn Might Be Starting at the End
interjectedfuture.com·2h
⚔️Lean Tactics
Flag this post
mikeizbicki/HLearn
github.com·7h
🔗Monadic Parsing
Flag this post
Here's why you need to worry about superficial AI security tools
techradar.com·18h
🎯Threat Hunting
Flag this post
Integrating APIs into AI: New Creativity and Reliable Automation
heise.de·14h
🔌Interface Evolution
Flag this post
Building an Agent That Leverages Throwaway Code
lucumr.pocoo.org·1d
🌐WASI
Flag this post
Building an MCP Server in Elixir
🔗Constraint Handling
Flag this post
Most proofs are trivial
lawrencecpaulson.github.io·3d
🔲Proof Irrelevance
Flag this post
Generative AI and Agentic Systems: The New Frontline in Phishing and Smishing Defense
blog.checkpoint.com·20h
🎯Threat Hunting
Flag this post
Artificial Intelligence – A Modern Approach (visualization of concepts)
🔲Cellular Automata
Flag this post
Beyond vibes: How to properly select the right LLM for the right task
aws.amazon.com·16h
📏Code Metrics
Flag this post
Loading...Loading more...