Hosting a static site on an original Raspberry Pi [Alpine Linux "diskless" mode]
cablespaghetti.dev·11h·
Discuss: Hacker News
🔌Operating system internals
C++ Reflection and Qt MOC
wiki.qt.io·7h·
Discuss: Hacker News
🧩WASM Modules
Design Principle: Composable Services
sleepingpotato.com·2d·
Discuss: Hacker News
⚡gRPC
Fast Matrix Multiply on an Apple GPU
percisely.xyz·1d·
Discuss: Hacker News
⚡SIMD Vectorization
AI and Deep Learning Accelerators Beyond GPUs in 2025
bestgpusforai.com·7h·
Discuss: Hacker News
⚡Homebrew CPUs
AI Just Got Better at Counting Trees
hackernoon.com·23h
🌀Hyperbolic Geometry
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·6h·
Discuss: Hacker News
🏗️Compiler Archaeology
Reasoning Renaissance: Bridging Neural Nets and Logic with Shared Concepts
dev.to·4d·
Discuss: DEV
🧮Datalog Systems
Automated Knowledge Graph Validation and Enhancement via Adaptive Semantic Refinement
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Geometry Meets Vision: Revisiting Pretrained Semantics in Distilled Fields
arxiv.org·3d
🌀Differential Geometry
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·2d
🧠Machine Learning
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.org·1d
🔢Denotational Semantics
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.org·1d
🔄Archival Workflows
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
AI Agent Building Block: Native App Automation
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Adaptive and Explainable AI Agents for Anomaly Detection in Critical IoT Infrastructure using LLM-Enhanced Contextual Reasoning
arxiv.org·2d
⚙️TLA+
Disclosure and Evaluation as Fairness Interventions for General-Purpose AI
arxiv.org·1d
✨Effect Handlers
Through the Perspective of LiDAR: A Feature-Enriched and Uncertainty-Aware Annotation Pipeline for Terrestrial Point Cloud Segmentation
arxiv.org·2h
🏺Computational Archaeology
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.to·7h·
Discuss: DEV
🌊Stream Processing
The Hidden Oracle Inside Your AI: Unveiling Data Density with Latent Space Magic by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🧠Machine Learning