Nanonext: breaking down language barriers in data science
tidyverse.org·13h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Holding It Together
onelook.com·2d·
Discuss: Hacker News
📝Term Rewriting
FFmpeg – The Ultimate Guide
img.ly·21h·
Discuss: Hacker News
🍎XNU Internals
An Inline Cache Isn't Just a Cache
mgaudet.ca·1d·
Discuss: Hacker News
💎Refinement Types
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
How Python Implements List Comprehensions
pythonkoans.substack.com·3d·
Discuss: Substack
📐Denotational Semantics
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·4d
✅Model Checking
Signals vs. Videos: Advancing Motion Intention Recognition for Human-Robot Collaboration in Construction
arxiv.org·1d
📚Automata Learning
AI as teleportation
geoffreylitt.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Machine Learning-Based Prediction of Speech Arrest During Direct Cortical Stimulation Mapping
arxiv.org·1d
📚Automata Learning
Computational Concept of the Psyche
arxiv.org·2d
🩹Self-Healing Systems
Generative Quasi-Continuum Modeling of Confined Fluids at the Nanoscale
arxiv.org·1d
🐳Containerization
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·4d
🩹Self-Healing Systems
Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
arxiv.org·1d
🎮Verification Games
The Four Fallacies of Modern AI
blog.apiad.net·1d·
Discuss: Hacker News
🧠Automated Reasoning
An Explainable Deep Neural Network with Frequency-Aware Channel and Spatial Refinement for Flood Prediction in Sustainable Cities
arxiv.org·1d
💎Refinement Types
A layered architecture for log analysis in complex IT systems
arxiv.org·1d
👁️System Observability
Low-Resource Fine-Tuning for Multi-Task Structured Information Extraction with a Billion-Parameter Instruction-Tuned Model
arxiv.org·1d
🧩Parser Combinators