Guessing the Player's Sunrise
docs.getlost.gg·2d·
Discuss: Hacker News
🔠Type-Level Programming
Motia – back end framework that unifies APIs, background jobs, and AI Agents
motia.dev·2d·
Discuss: Hacker News
🌐NetworkProtocols
Artisanal Handcrafted Git Repositories
drew.silcock.dev·14h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Why Markets Can't Defend a Nation
mateopetel.substack.com·17h·
Discuss: Substack
🛡️seL4
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
More Layers Unlock 2^N Transformer Context Depth with Divide and Conquer
ml-mike.com·4d·
Discuss: Hacker News
🐫OCaml
Benchmarking AWS Nova on Log Data: How It Compares to ChatGPT-3.5
bronto.io·1d·
Discuss: Hacker News
👁️System Observability
Pluralistic: Ellen Ullman's "Close to the Machine" (16 Jul 2025)
pluralistic.net·18h·
Discuss: Hacker News
🔬Unikernels
Data-Driven Meta-Analysis and Public-Dataset Evaluation for Sensor-Based Gait Age Estimation
arxiv.org·6h
🔬Unikernels
Spontaneous Spatial Cognition Emerges during Egocentric Video Viewing through Non-invasive BCI
arxiv.org·6h
➡️Category Theory
Probabilistic Human Intent Prediction for Mobile Manipulation: An Evaluation with Human-Inspired Constraints
arxiv.org·2d
✓Automated Theorem Proving
TrialCompass: Visual Analytics for Enhancing the Eligibility Criteria Design of Clinical Trials
arxiv.org·6h
📡Network Protocol Design
Outbound Modeling for Inventory Management
arxiv.org·1d
👁️System Observability
A comprehensive study of LLM-based argument classification: from LLAMA through GPT-4o to Deepseek-R1
arxiv.org·3d
✓Automated Theorem Proving
Interpreting Radiologist's Intention from Eye Movements in Chest X-ray Diagnosis
arxiv.org·6h
✓Automated Theorem Proving
Time series classification of satellite data using LSTM networks: an approach for predicting leaf-fall to minimize railroad traffic disruption
arxiv.org·6h
💻CS
Fairness-Aware Grouping for Continuous Sensitive Variables: Application for Debiasing Face Analysis with respect to Skin Tone
arxiv.org·1d
🔬Static Analysis
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·2d
🐫OCaml
C-FBI: A Combinatorial method using Convolutions for Circle Fitting in Blurry Images
arxiv.org·1d
🐫OCaml
Relative Entropy Pathwise Policy Optimization
arxiv.org·1d
🔠Type-Level Programming