Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·1d
📞Session Types
Eristic Architecture for AI
rexriepe.com·18h·
Discuss: Hacker News
🔲Cellular Automata
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·19h·
Discuss: Hacker News
⚡Proof Automation
To Bind and Loose a Reference
thephd.dev·4d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·1h
💻Local LLMs
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·9h
🧠Intelligence Compression
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·1d
🎙️Whisper
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·1d
🔗Topological Sorting
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·18h·
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·23h·
Discuss: DEV
📏Code Metrics
Stop Words Using Spacy - NLP
dev.to·2d·
Discuss: DEV
📝Text Parsing
My AI Workflow for Understanding Any Codebase
steipete.me·1d
⚡Proof Automation
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·9h
🔍BitFunnel
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·2d
🔍Type Inference
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·2d
💻Programming languages
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·9h
📃Manuscript Tokenization