Plotting Dams (30 Day Map Challenge Day 1: Points) and a PyTopo Tweak
shallowsky.com·1h
🌲Deforestation
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
🔄Protocol State Machines
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
💬Interactive REPLs
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
✨Effect Inference
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
🗑️Garbage Collection
Flag this post
THE LEAN MEAN MEME MACHINE
🌲Tree-sitter
Flag this post
Properties and Applications of Partially Deterministic Polytopes
arxiv.org·3d
⚡Partial Evaluation
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
📚Self-Documenting Code
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
🌉Language Bridges
Flag this post
Becoming a Core Developer
stefaniemolin.com·8h
⚙️TOML Parsers
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·2d
📋S-Expression
Flag this post
Linkage
11011110.github.io·2d
🪢Rope Data Structures
Flag this post
onedraw — a GPU-driven 2D renderer
🗑️Garbage Collection
Flag this post
Modelling beliefs about sets
⚖️Inference Rules
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
🪜Recursive Descent
Flag this post
GHC 9.14.1-rc1 is now available
📏Linear Haskell
Flag this post
Loading...Loading more...