🐫 OCaml

Functional language, Static typing, Pattern matching, ML family

Here be dragons: Preventing static damage, latchup, and metastability in the 386
righto.com·5d·
Discuss: www.blogger.com, Lobsters, Hacker News
0️⃣Zero-Copy
Denmark Ending Letter Deliveries Is a Sign of the Digital Times
tech.slashdot.org·1d
🕸️WASM
Election Management System (EMS) – Secure Web-Based Digital Voting Platform
dev.to·2d·
Discuss: DEV
🕸️WASM
Perch 2.0: Bioacoustics Model for Species Identification
hackernoon.com·6d
λFunctional Programming
Used small-scale Al to rank "good" vs "garbage" directories (surprising results)
reddit.com·4d·
Discuss: r/artificial
❄️Nix Flakes
T-Mobile Claimed Selling Location Data Without Consent is Legal - Judges Disagree
yro.slashdot.org·1d
🦀Rust
Just released doxx – a terminal .docx viewer inspired by Charm's glow package
reddit.com·5d·
Discuss: r/rust
🕸️WASM
Rajat Khare - Venture Capitalist and Deep‑Tech Investor Advancing Artificial Intelligence in Remote Inspections and Clean Tech
dev.to·3d·
Discuss: DEV
🪶suckless
Scanpath Prediction in Panoramic Videos via Expected Code Length Minimization
arxiv.org·5d
0️⃣Zero-Copy
Real-Time Lithological Classification via AR Overlay & Dynamic Terrain Mapping
dev.to·4d·
Discuss: DEV
🔍Parsers
Temporally-Similar Structure-Aware Spatiotemporal Fusion of Satellite Images
arxiv.org·5d
🔍Parsers
Quantum-Enhanced MOF Synthesis via Dynamic Crystalline Nucleation Control
dev.to·4d·
Discuss: DEV
📦Nixos
Cross-Granularity Hypergraph Retrieval-Augmented Generation for Multi-hop Question Answering
arxiv.org·5d
🔍Parsers
Introducing Gaia Toolkit: How to use it and why
dev.to·4d·
Discuss: DEV
🏠Home Manager
Quantum Error Correction via Adaptive Topological Code Synthesis with Reinforcement Learning
dev.to·6d·
Discuss: DEV
0️⃣Zero-Copy
Physics-Informed Diffusion Models for Unsupervised Anomaly Detection in Multivariate Time Series
arxiv.org·5d
λFunctional Programming
AI can be your best security analyst or your biggest insider threat.
dev.to·5d·
Discuss: DEV
🔍Parsers
Closed-Loop Reverse Logistics Optimization via Agent-Based AI & Digital Twin Simulation
dev.to·5d·
Discuss: DEV
🏠Home Manager
Enhanced Heterojunction Performance via Dynamic Van der Waals Bonding Manipulation
dev.to·2d·
Discuss: DEV
🕸️WASM
Emphasis Sensitivity in Speech Representations
arxiv.org·5d
🔍Parsers