Cyclic Proofs for iGL via Corecursion
arxiv.org·1h
💬Philosophy of Language
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
🔧Workflow Automation
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·1h
🔄Transformers
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·1h
📝NLP
Flag this post
What Is Occult Grammar?
💬Philosophy of Language
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·17h
🎨Computational Creativity
Flag this post
Intentionality
lesswrong.com·1h
💬Philosophy of Language
Flag this post
The Constrained Application Protocol (CoAP)
📝NLP
Flag this post
are-dependent-types-actually-erased
🤖AI
Flag this post
essential spectrum
ncatlab.org·19h
📡Information Theory
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
📝NLP
Flag this post
First Public Working Draft: Web of Things (WoT) Thing Description 2.0
w3.org·23h
🌐Indie web
Flag this post
[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
💬Philosophy of Language
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
📝NLP
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·9h
✅Productivity
Flag this post
Loading...Loading more...