HTTP/3: The Next Evolution of Web Protocols
corero.com·21h
🌐Network Protocols
Barriers between you and I?
languagelog.ldc.upenn.edu·2h
🔗Concatenative Languages
German Interoperability Day: How does AI affect standards?
heise.de·18h
⚙️TLA+
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
Intelligent Search in Rails with Typesense
avohq.io·5h·
Discuss: Hacker News
🎯Gradual Typing
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·4h·
Discuss: Hacker News
🧬Functional Programming
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
digital-asset/cn-quickstart
github.com·12h
🔄Sync Engine
KEO: Knowledge Extraction on OMIn via Knowledge Graphs and RAG for Safety-Critical Aviation Maintenance
arxiv.org·9h
🧠Intelligence Compression
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·9h
📝Concrete Syntax
Chronological Thinking in Full-Duplex Spoken Dialogue Language Models
arxiv.org·9h
⏱️Interval Parsing
Flamed-TTS: Flow Matching Attention-Free Models for Efficient Generating and Dynamic Pacing Zero-shot Text-to-Speech
arxiv.org·2d
🎙️Whisper
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·9h
🕸️Graph Algorithms
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.org·9h
🔄Archival Workflows
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1d·
Discuss: DEV
⚡SMT Applications
ARMOR: High-Performance Semi-Structured Pruning via Adaptive Matrix Factorization
arxiv.org·9h
🧠Machine Learning
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·1d
🧮Kolmogorov Complexity
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·1d·
Discuss: DEV
🌐NetworkProtocols
Context Matters: Learning Global Semantics for Visual Reasoning and Comprehension
arxiv.org·9h
📊Learned Metrics
Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response
arxiv.org·9h
💻Local LLMs