What Is Occult Grammar?
๐Parsing
Flag this post
Think for Yourself
๐ตDigital Minimalism
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐ฌStatic Analysis
Flag this post
Automated Cost-Benefit Analysis for Synthetic Biology Gene Synthesis Services
๐ญProgram Synthesis
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท1d
โFormal Verification
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.orgยท1d
๐NLP
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.orgยท1d
๐ณTree-sitter
Flag this post
The 2-hour upgrade: coder engineer
๐งDevOps
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.orgยท1d
๐Parser Combinators
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.orgยท16h
๐ณTree-sitter
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.orgยท2d
๐ณTree-sitter
Flag this post
How to Design Efficient Memory Architectures for Agentic AI Systems
pub.towardsai.netยท1d
๐ง Memory Models
Flag this post
IL-PCSR: Legal Corpus for Prior Case and Statute Retrieval
arxiv.orgยท1d
๐Parsing
Flag this post
Loading...Loading more...