Making Slint UI Framework Desktop-Ready
slint.dev·5h·
Discuss: Hacker News, r/cpp, r/rust
🐚Nordic Shell
Hosting a static site on an original Raspberry Pi [Alpine Linux "diskless" mode]
cablespaghetti.dev·22h·
Discuss: Hacker News
🔌Operating system internals
C++ Reflection and Qt MOC
wiki.qt.io·18h·
Discuss: Hacker News
🧩WASM Modules
Design Principle: Composable Services
sleepingpotato.com·3d·
Discuss: Hacker News
⚡gRPC
Fast Matrix Multiply on an Apple GPU
percisely.xyz·1d·
Discuss: Hacker News
⚡SIMD Vectorization
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·17h·
Discuss: Hacker News
🏗️Compiler Archaeology
AI Just Got Better at Counting Trees
hackernoon.com·1d
🌀Hyperbolic Geometry
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·4d·
Discuss: DEV
⚙️Proof Engineering
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·13h
🏺Computational Archaeology
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.to·18h·
Discuss: DEV
🌊Stream Processing
AI Agent Building Block: Native App Automation
dev.to·13h·
Discuss: DEV
⚡Proof Automation
The Hidden Oracle Inside Your AI: Unveiling Data Density with Latent Space Magic by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
🧠Machine Learning
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·3d
🔍Concolic Testing
Guide to OCI AI Certification: From Machine Learning Basics to Advanced Neural Networks
dev.to·1d·
Discuss: DEV
🤖Advanced OCR
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·2d
🧠Machine Learning
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·1d
🔲Cellular Automata
MaNGO - Adaptable Graph Network Simulators via Meta-Learning
arxiv.org·1d
🕸️Tensor Networks
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·2d
🌀Riemannian Computing