Weekly Bookmarks
inkdroid.org·1h
🪢Rope Data Structures
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🐪OCaml
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
🧮Combinator Calculus
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
🎯Finite Automata
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·13h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·6h·
Discuss: r/C_Programming
∫Mathematical DSLs
Flag this post
Meditations on geometric packing
shvbsle.in·21h
🌊Effect Rows
Flag this post
Building an AWS-Based RAG Pipeline
dev.to·1d·
Discuss: DEV
📋JSON Parsing
Flag this post
Akuna OA — “Not Hard, Just Don’t Mess Up
programhelp.net·2d·
Discuss: DEV
🔤String Algorithms
Flag this post
## Automated Construction & Demolition Waste Sorting via Hybrid AI & Robotic Vision: Real-Time Material Identification and Segregation for Circular Economy Enha...
freederia.com·1d
✨Effect Inference
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.pro·1d·
Discuss: Hacker News
📡Protocol Parsers
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
🪜Recursive Descent
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·6h
🔗Hash Algorithms
Flag this post
Will Rust get pattern types?
gist.github.com·2d·
Discuss: r/rust
🔧API Design
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🎯Type Theory
Flag this post
Title: New Chapter Published: Minimization of Finite Automata — A deeper look into efficient automaton design
link.springer.com·4d·
Discuss: r/compsci
🎯Finite Automata
Flag this post
Arc Is a Vision Problem
arxiviq.substack.com·17h·
Discuss: Substack
🌱Minimal ML
Flag this post
Disparity-in-Differences: Extracting Hierarchical Backbones of Weighted Directed Networks
arxiv.org·2d
🌳Tree Algorithms
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·1d
🪢Rope Data Structures
Flag this post