Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Feeds to Scour
SubscribedAll
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.netยท4d
ฮปLambda Formalization
Preview
Report Post
Joy & Curiosity #65
registerspill.thorstenball.comยท4d
โš™๏ธProof Engineering
Preview
Report Post
Training a Tokenizer for Llama Model
machinelearningmastery.comยท5d
๐Ÿ“‹Document Grammar
Preview
Report Post
RVLF: A Reinforcing Vision-Language Framework for Gloss-Free Sign Language Translation
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Preview
Report Post
Teaching an LLM to Write Assembly: GBNF-Constrained Generation for a Custom CPU
jamesdrandall.comยท6dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Preview
Report Post
DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems
arxiv.orgยท2d
โš™๏ธTLA+
Preview
Report Post
Formalization of Erdล‘s problems
xenaproject.wordpress.comยท5d
๐ŸŽฏPerformance Proofs
Preview
Report Post
Program Comprehension as a Central Skill in CS Education in the Era of Generative AI
cacm.acm.orgยท6d
๐Ÿ’ปProgramming languages
Preview
Report Post
I Can't Write Code. I Built This Anyway.
dev.toยท3dยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
Preview
Report Post
Weekly Bookmarks
inkdroid.orgยท4d
๐ŸŒ€Brotli Internals
Preview
Report Post
GatedFWA: Linear Flash Windowed Attention with Gated Associative Memory
arxiv.orgยท2d
๐Ÿš€SIMD Text Processing
Preview
Report Post
The significance of Brooker's autocodes in taking the early Manchester machines
curation.cs.manchester.ac.ukยท3dยท
Discuss: Hacker News
๐Ÿ‡ฌ๐Ÿ‡งBritish Computing
Preview
Report Post
ContextualSHAP : Enhancing SHAP Explanations Through Contextual Language Generation
arxiv.orgยท2d
๐ŸŒณContext free grammars
Preview
Report Post
COREA: Coarse-to-Fine 3D Representation Alignment Between Relightable 3D Gaussians and SDF via Bidirectional 3D-to-3D Supervision
arxiv.orgยท2d
๐Ÿ“Projective Geometry
Preview
Report Post
Efficient ASR for Low-Resource Languages: Leveraging Cross-Lingual Unlabeled Data
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.caยท4dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Preview
Report Post
Featurized-Decomposition Join: Low-Cost Semantic Joins with Guarantees
arxiv.orgยท3d
๐Ÿง Query Planners
Preview
Report Post
Universality of asymptotic graph homomorphism
arxiv.orgยท3d
๐Ÿ”—Graph Isomorphism
Preview
Report Post
My Working Thoughts
bramadams.devยท4dยท
Discuss: Hacker News
๐Ÿง Personal Knowledge Base
Preview
Report Post
ARGUS: Defending Against Multimodal Indirect Prompt Injection via Steering Instruction-Following Behavior
arxiv.orgยท3d
๐Ÿ‘‘Coq Tactics
Preview
Report Post