📦 OPAM

OCaml Packages, Dependency Management, Package Repository

What Are the Hidden Risks of Custom GPTs?New Open-Source Tool
token.security·1h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
An overview of the PPPP protocol for IoT cameras
palant.info·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·20h·
Discuss: Hacker News
❓Existential Types
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·2d·
Discuss: Hacker News, r/programming
🎯GADT
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
Reasoning models don't degrade gracefully - they hit a complexity cliff and collapse entirely [Research Analysis] [R]
reddit.com·1d·
Discuss: r/MachineLearning
🧠Automated Reasoning
Flag this post
Reflection
alexpolozov.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·4d
🖥Self-Hosting
Flag this post
NDC Conferences: Lessons Learned Building the Ultimate AI Bug Reporter - Adam Cogan - NDC Copenhagen 2025
dev.to·20h·
Discuss: DEV
🔧DevOps
Flag this post
A Criminology of Machines
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
Why agents DO NOT write most of our code - a reality check
dev.to·3d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Schaltwerk – The IDE Without Editor
github.com·3d·
Discuss: Hacker News
💻CLI Tools
Flag this post
Optimizing Earth-Moon Transfer and Cislunar Navigation: Integrating Low-Energy Trajectories, AI Techniques and GNSS-R Technologies
arxiv.org·1d
🤖Robotics
Flag this post
Part 2: The Role of No-Code in OSS Modernization
dev.to·2d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Dynamic causal discovery in Alzheimer's disease through latent pseudotime modelling
arxiv.org·4h
🔁Fixpoint Theory
Flag this post
MCP standard
dev.to·4d·
Discuss: DEV
💬Mach Messages
Flag this post