Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·23h
📞Session Types
Eristic Architecture for AI
rexriepe.com·14h·
Discuss: Hacker News
🔲Cellular Automata
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·15h·
Discuss: Hacker News
⚡Proof Automation
To Bind and Loose a Reference
thephd.dev·4d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·1d
🔍Type Inference
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·5h
📏Linear Logic
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·5h
🔲Cellular Automata
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·5h
🧠Intelligence Compression
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·1d
🎙️Whisper
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·14h·
Discuss: DEV
🌊Stream Processing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·19h·
Discuss: DEV
📏Code Metrics
Stop Words Using Spacy - NLP
dev.to·1d·
Discuss: DEV
📝Text Parsing
My AI Workflow for Understanding Any Codebase
steipete.me·22h
⚡Proof Automation
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·5h
🔍BitFunnel