OCaml Packages, Dependency Management, Package Repository

An overview of the PPPP protocol for IoT cameras
palant.info·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Independently verifying Go's reproducible builds
golangweekly.com·2d
🔄Reproducible Builds
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
I am torn about using Lo
reddit.com·2d·
Discuss: r/golang
🔤Language Design
Flag this post
Reflection
alexpolozov.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
pygixml — The Fastest XML Parser for Python (Beating lxml at Its Own Game)
dev.to·19h·
Discuss: DEV
📝Nix Language
Flag this post
How I Built a 95% Accurate Defect Detection System with an ESP32-CAM and Python
dev.to·1d·
Discuss: DEV
🐫Embedded OCaml
Flag this post
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·1d
🧠Automated Reasoning
Flag this post
NAP: Attention-Based Late Fusion for Automatic Sleep Staging
arxiv.org·1d
🔲Cellular Automata
Flag this post
A Criminology of Machines
arxiv.org·1d
🔲Cellular Automata
Flag this post
Systematizing LLM Persona Design: A Four-Quadrant Technical Taxonomy for AI Companion Applications
arxiv.org·1d
🔲Cellular Automata
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·2d
💻CS
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·22h·
Discuss: DEV
Automated Theorem Proving
Flag this post
Schaltwerk – The IDE Without Editor
github.com·3d·
Discuss: Hacker News
💻CLI Tools
Flag this post
Part 2: The Role of No-Code in OSS Modernization
dev.to·2d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post