🐪 OCaml GADTs

Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

GQLSchemaGen v1.0.0: Generate GraphQL Schemas from Go Code
pablor21.github.io·1d
📋Tablegen
Flag this post
I built an event/invite system because ICS files were making me lose my mind – can someone sanity-check?
aceproject.dev·3h·
Discuss: r/webdev
💬Error Messages
Flag this post
Refined Linear Approximations for ARX Ciphers and Their Application to ChaCha
eprint.iacr.org·2d
🔗Hash Functions
Flag this post
Trying Out C++26 Executors
mropert.github.io·16h·
Discuss: Lobsters, Hacker News, r/cpp
🔮Speculative Execution
Flag this post
The Sacrilegious Coder
medium.com·13h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
📡Binary Protocols
Flag this post
TONL: A New LLM-Friendly Data Serialization Format
github.com·2d·
Discuss: DEV
⚙️TOML Parsers
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·2h·
Discuss: DEV
⚡Partial Evaluation
Flag this post
The Future For Formal Verification
semiengineering.com·4d
✅Configuration Validation
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·1d·
Discuss: Substack
📚Forth Compilers
Flag this post
Transformers and Attention: How LLMs Actually Process Text
dev.to·1d·
Discuss: DEV
📊LR Parsing
Flag this post
<p>**Abstract:** This paper introduces a novel system for automated genome annotation and functional prediction, leveraging multi-modal data ingestion, semantic...
freederia.com·1d
📋Tablegen
Flag this post
Hardcore function calling benchmark in backend coding agent.
reddit.com·1d·
Discuss: r/LocalLLaMA
📋Tablegen
Flag this post
Day 3: Type Casting - Transforming Data Types - 30 Days of Python Challenge
dev.to·2d·
Discuss: DEV
🔮Type Inference Visualization
Flag this post
Building an AWS-Based RAG Pipeline
dev.to·1d·
Discuss: DEV
📋JSON Parsing
Flag this post
Methodological Sources of Reversible Computation
dev.to·52m·
Discuss: DEV
🔶Lattice Theory
Flag this post
A Developer's Guide to Test Case Generation with Genetic Algorithms
dev.to·23h·
Discuss: DEV
🎲Test Generators
Flag this post
What is the most modern way to implement traits/multiple dispatch/multiple inheritance?
reddit.com·1d·
Discuss: r/cpp
🦀Rust Macros
Flag this post
Need honest feedback on my AI workflow library (2 months of work, feeling stuck)
reddit.com·1h·
Discuss: r/opensource
🌈Gradual Languages
Flag this post