OCaml Packages, Version Management, Dependencies, Repository

The ZeroAccess Developer and His Windows Kernel-Mode Debugger
r136a1.devยท1dยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
Flag this post
Dusty, new HTTP server using async I/O and coroutines
github.comยท1dยท
Discuss: r/Zig
๐ŸŒNetwork Protocols
Flag this post
Positivity-preserving Well-balanced PAMPA Schemes with Global Flux quadrature for One-dimensional Shallow Water Models
arxiv.orgยท1d
๐ŸซOCaml
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.orgยท2h
๐Ÿ”ฒCellular Automata
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท2h
๐Ÿ”Formal Verification
Flag this post
How I Use Every Claude Code Feature
blog.sshh.ioยท2dยท
๐Ÿ’ปCLI Tools
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.comยท1dยท
Discuss: Hacker News
๐ŸงชProperty-Based Testing
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท1dยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Flag this post
Octocode MCP โ€“ AI Researcher for Smart, Deep Multi-Repo Code Context
github.comยท23hยท
Discuss: Hacker News
๐Ÿ’ฌMach Messages
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.orgยท2h
๐Ÿ“ฆOPAM
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.orgยท2h
๐ŸงฉParser Combinators
Flag this post
Show HN: Polyglot Docker dev environment setup โ€“ C/C++/Rust/Python
github.comยท2hยท
Discuss: Hacker News
๐ŸณContainerization
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท4dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.orgยท2h
๐ŸงฉParser Combinators
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.orgยท2h
๐ŸซOCaml
Flag this post
Towards Automated Petrography
arxiv.orgยท2h
๐Ÿ”ฒCellular Automata
Flag this post
Building gemini-imagen with Claude Code: How AI Became My Pair Programming Partner
dev.toยท13hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Flag this post