Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท7h
๐Ÿ“NLP
Flag this post
[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
reddit.comยท1dยท
Discuss: r/conlangs
๐Ÿ’ฌPhilosophy of Language
Flag this post
essential spectrum
ncatlab.orgยท2h
๐Ÿ“กInformation Theory
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.orgยท2dยท
Discuss: Hacker News
๐Ÿ“NLP
Flag this post
are-dependent-types-actually-erased
chadnauseam.comยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.toยท3hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.orgยท18hยท
Discuss: Hacker News
๐Ÿ“NLP
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.comยท16hยท
Discuss: Substack
๐Ÿ’ฌPhilosophy of Language
Flag this post
First Public Working Draft: Web of Things (WoT) Thing Description 2.0
w3.orgยท6h
๐ŸŒIndie web
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.orgยท2dยท
Discuss: Hacker News
๐Ÿ’ฌPhilosophy of Language
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท1dยท
Discuss: Hacker News
๐Ÿ’ฌPhilosophy of Language
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.comยท3hยท
Discuss: DEV
๐Ÿ”„Transformers
Flag this post
Writing an LLM from scratch, part 27 โ€“ what's left, and what's next?
gilesthomas.comยท11hยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
What Is Occult Grammar?
blog.izs.meยท21hยท
Discuss: Hacker News
๐Ÿ’ฌ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ยท7h
๐ŸŽฒBayesian Cognition
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.comยท2d
๐Ÿ“NLP
Flag this post
Composing the Idea: Why "Next Word Prediction" Misses the Point
medium.comยท15hยท
Discuss: Hacker News
๐Ÿ’ฌPhilosophy of Language
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.deยท2hยท
Discuss: Hacker News
๐Ÿ”งWorkflow Automation
Flag this post
Pain Points of OCaml
quamserena.comยท6hยท
Discuss: Hacker News
๐Ÿ”คLinguistics
Flag this post