Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท19h
๐Ÿ”—Graph Isomorphism
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท9hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท8h
๐Ÿ”ขDenotational Semantics
BQN "Macros" with โ€ขDecompose (2023)
saltysylvi.github.ioยท1hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
An enough week
blog.mitrichev.chยท1dยท
๐Ÿ“ˆLinear programming
A new breed of analyzers
daniel.haxx.seยท11hยท
๐Ÿ›Fuzzing
Let's Write a Macro in Rust
hackeryarn.comยท7hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Neuro-Symbolic AI
en.wikipedia.orgยท9hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท19h
๐ŸŒณContext free grammars
Show HN: Realization Jsmn on a Pure Zig
github.comยท13hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท21hยท
โœ…Format Verification
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Experimenting with ACL2 and Claude Code
mikedodds.orgยท11hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Detecting Distillation Data from Reasoning Models
arxiv.orgยท3d
๐Ÿ”ฎProof Search
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.seยท3hยท
Discuss: Hacker News
๐Ÿ“ŠQuantization
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.toยท3hยท
Discuss: DEV
๐Ÿ”Concolic Testing
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.toยท2hยท
Discuss: DEV
๐Ÿ”คCharacter Classification
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.orgยท3d
๐Ÿ’ปProgramming languages
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท4hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming