🐪 OCaml GADTs

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

Puzzles Games
arkansasonline.com·18h
🎭Racket
Flag this post
Karmic Security — HTB Starting Point: Appointment
infosecwriteups.com·11h
🛡️Parser Security
Flag this post
I used NotebookLM to learn about Python and I should have sooner
xda-developers.com·3h
💬Interactive REPLs
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.com·23h·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
Insurance Data Extraction with LLMs
adaptional.com·5d·
Discuss: Hacker News
🔍ML Language
Flag this post
Parallel Threads in Racket v9.0
blog.racket-lang.org·10h·
Discuss: Lobsters, Hacker News
🔄Coroutines
Flag this post
ShowHN: RepoScout – A multi-platform Git repo search tool in Rust
news.ycombinator.com·1d·
Discuss: Hacker News
🚂Cranelift Backend
Flag this post
When AI Goes Wrong
whenaifail.com·1d·
Discuss: Hacker News
🛡️Error Ergonomics
Flag this post
Glues: A Privacy-Focused, Vim-Inspired Text UI for Note-Taking
dev.to·2h·
Discuss: DEV
📝Rope Editors
Flag this post
Struggling with ESP-IDF
reddit.com·1h·
Discuss: r/embedded
🎮Language Ergonomics
Flag this post
NVIDIA Sortformer v2 (Speaker Diarization) ported to Rust/ONNX
reddit.com·10h·
Discuss: r/rust
🚀Tokenizer Performance
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·1d·
Discuss: Hacker News
🗺️Region Inference
Flag this post
What is the most modern way to implement traits/multiple dispatch/multiple inheritance?
reddit.com·2d·
Discuss: r/cpp
🦀Rust Macros
Flag this post
The Sacrilegious Coder
dev.to·20h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Web Developer Travis McCracken on Debugging Distributed Systems Like a Human
dev.to·1d·
Discuss: DEV
🔧API Design
Flag this post
<p>**Abstract:** This research introduces a novel framework for generating high-dimensional knot invariants leveraging a multi-modal data ingestion and analysis...
freederia.com·2d
🪢Rope Data Structures
Flag this post
Rad-GS: Radar-Vision Integration for 3D Gaussian Splatting SLAM in Outdoor Environments
arxiv.org·2d
🔍Lens Libraries
Flag this post
My first flash loan protocol: A Solana adventure
dev.to·1d·
Discuss: DEV
🔒Rust Borrowing
Flag this post
<p>**Abstract:** Verification and prediction of stellar nucleosynthesis, the process by which stars create heavier elements, remains a complex challenge blendin...
freederia.com·1d
🌱Minimal ML
Flag this post
<p>**Abstract:** This paper presents a novel framework, Hyper-Dimensional Semantic Graph Alignment (HDSGA), for improving the accuracy and efficiency of contrac...
freederia.com·3d
📋S-Expression
Flag this post