WARNING: Ransomware published on GitHub issue
🔬Unikernels
Flag this post
CHERIoT 1.0 Released
🐫Embedded OCaml
Flag this post
C++ move semantics from scratch (2022)
🎯GADT
Flag this post
Improving agent with semantic search Semantic search significantly improves coding agent performance with 12.5% higher accuracy, improves code retention and dec...
⚙Operational Semantics
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
📚Automata Learning
Flag this post
How to Merge Word Documents in Python: A Step-by-Step Automation Guide
✓Automated Theorem Proving
Flag this post
Why AI Can't Write Good Software
🔤Language Design
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
How I Use Every Claude Code Feature
💻CLI Tools
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·2d
🖥Self-Hosting
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·1d
📦OPAM
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·19h
🔍CBMC
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.org·19h
🔢Matrix Decomposition
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Positivity-preserving Well-balanced PAMPA Schemes with Global Flux quadrature for One-dimensional Shallow Water Models
arxiv.org·2d
🐫OCaml
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·1d
🧩Parser Combinators
Flag this post
Loading...Loading more...