CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.orgยท1d
๐ŸŽฏInteractive Provers
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท7hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท4h
๐Ÿ“ŠGraph Databases
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท18h
๐ŸงฎProlog Parsing
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท2h
๐Ÿ“Concrete Syntax
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท4hยท
Discuss: DEV
๐Ÿ“Code Metrics
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.comยท2h
๐Ÿ’ปLocal LLMs
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.appยท19mยท
Discuss: Hacker News
โšกProof Automation
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท1d
โš–๏ธHoare Logic
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comยท6hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Agentic AI: Implementing Long-Term Memory
towardsdatascience.comยท22h
๐Ÿ’พPersistence Strategies
Machine Learning Fundamentals: active learning
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.orgยท1d
๐ŸงชCBOR Fuzzing