Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·11h
📝NLP
Flag this post
[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
💬Philosophy of Language
Flag this post
essential spectrum
ncatlab.org·6h
📡Information Theory
Flag this post
are-dependent-types-actually-erased
🤖AI
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·4h
🎨Computational Creativity
Flag this post
The Constrained Application Protocol (CoAP)
📝NLP
Flag this post
First Public Working Draft: Web of Things (WoT) Thing Description 2.0
w3.org·10h
🌐Indie web
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
💬Philosophy of Language
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
🔄Transformers
Flag this post
What Is Occult Grammar?
💬Philosophy of Language
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·1d
✍️Writing Systems
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·11h
🎲Bayesian Cognition
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·2d
📝NLP
Flag this post
Loading...Loading more...