No more Erlang manuals
blog.whenhen.com·3d·
Discuss: Lobsters, Hacker News
📝ABNF Parsing
What happens when line between authentic and artificial is impossible to draw?
syntheticauth.ai·16h·
Discuss: Hacker News
🔐Quantum Security
Launching Peedief – Structured Document Generation for AI Agents
peedief.com·1d·
Discuss: Hacker News
📄Document Streaming
SpecTree: Composable Context Engineering for LLMs
fuzzycomputer.com·3d·
Discuss: Hacker News
⚙️Operational Semantics
GenAI vs. Agentic AI: What Developers Need to Know
docker.com·14h
🎙️Whisper
Bridging Cache-Friendliness and Concurrency: A Locality-Optimized In-Memory B-Skiplist
arxiv.org·2d
🌲B-tree Variants
Efficient Selection of Informative Alternative Relational Query Plans for Database Education
arxiv.org·2d
🧠Query Planners
MOR-VIT: Efficient Vision Transformer with Mixture-of-Recursions
arxiv.org·2d
⚡Compression Hardware
Exploring LLM-generated Culture-specific Affective Human-Robot Tactile Interaction
arxiv.org·5h
✋Tactile Computing
Dependency on Meta AI Chatbot in Messenger Among STEM and Non-STEM Students in Higher Education
arxiv.org·2d
⚡Proof Automation
Integrating Activity Predictions in Knowledge Graphs
arxiv.org·3d
🕸️Knowledge Graphs
Slashit Magical | Rewrite Messages in Seconds with Just 1 Prompt
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Categorical Distributions are Effective Neural Network Outputs for Event Prediction
arxiv.org·2d
🧮Kolmogorov Bounds
GLM-4.5 Now Available on SiliconFlow: Open-Source SOTA Model for Reasoning, Code, and Agentic Applications
dev.to·2d·
Discuss: DEV
⚙️TLA+
HRIPBench: Benchmarking LLMs in Harm Reduction Information Provision to Support People Who Use Drugs
arxiv.org·2d
📏Linear Logic
Towards Safe and Comfortable Vehicle Control Transitions: A Systematic Review of Takeover Time, Time Budget, and Takeover Performance
arxiv.org·1d
✨Algebraic Effects
LVM-GP: Uncertainty-Aware PDE Solver via coupling latent variable model and Gaussian process
arxiv.org·1d
🧠Machine Learning
Composable Effect Handling for Programming LLM-integrated Scripts
arxiv.org·2d
✨Effect Handlers
Planning for Cooler Cities: A Multimodal AI Framework for Predicting and Mitigating Urban Heat Stress through Urban Landscape Transformation
arxiv.org·5h
🌀Differential Geometry
Machine Learning Fundamentals: k-nearest neighbors example
dev.to·2d·
Discuss: DEV
🗂️Vector Databases