CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
🎯Interactive Provers
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·12h·
Discuss: Hacker News, r/programming
🔗Lisp
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·9h
📊Graph Databases
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·23h
🧮Prolog Parsing
Cactus Language • Syntax 12
inquiryintoinquiry.com·7h
📝Concrete Syntax
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳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·7h
💻Local LLMs
Machine Learning Fundamentals: active learning project
dev.to·8h·
Discuss: DEV
🧠Machine Learning
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·5h·
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·11h·
Discuss: Hacker News
🔗Constraint Handling
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·4h·
Discuss: DEV
🌊Stream Processing
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·2h·
Discuss: Hacker News
📊Graph Databases