Strict alternation of data and behaviour in Smalltalk
eighty-twenty.orgยท1d
๐Ÿ“žSession Types
Understanding Brotli PDF Compression
pdfa.orgยท3h
๐ŸŒช๏ธBrotli
Show HN: Anytype โ€“ a local and collaborative database with API and MCP server
zhanna.any.orgยท5hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Coping with Complexity
slott56.github.ioยท5d
๐Ÿ”—Concatenative Programming
How Does Graph Theory Shape Our World?
quantamagazine.orgยท4hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
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ยท13h
๐Ÿง Intelligence Compression
Single Core Hundred Thousand Concurrency๏ผˆ1750947668443300๏ผ‰
dev.toยท3hยท
Discuss: DEV
๐ŸŒŠStream Processing
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
PEGTL -- Parsing Expression Grammar Template Library
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Code Metrics
Exploring High Efficiency Web Analysis Results๏ผˆ1750876031390300๏ผ‰
dev.toยท23hยท
Discuss: DEV
๐ŸŒŠStream Processing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.ukยท3d
๐Ÿ’ปProgramming languages
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.orgยท13h
๐Ÿ”BitFunnel
Stop Words Using Spacy - NLP
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Text Parsing
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.orgยท2d
๐Ÿ“Code Metrics
ProofBoard My Hackathon Journey with Bolt!
dev.toยท1hยท
Discuss: DEV
โšกProof Automation
My AI Workflow for Understanding Any Codebase
steipete.meยท1d
โšกProof Automation
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgยท2d
๐Ÿ”Type Inference