ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·1h
💻Programming languages
Flag this post
Beyond the Magic: How LLMs Work
💻Local LLMs
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·2d
💻Programming languages
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·11h
🕸️Neo4j
Flag this post
Devlog: UCL - Adding Some Missing Library Functions
lmika.org·1d
🧠Lisp Dialects
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·19h
🎵Audio ML
Flag this post
Playing around with org-db-v3 and consult: vector search of my blog post Org files, with previews
sachachua.com·4h
⏱️Interval Archives
Flag this post
I built an faster Notion in Rust
🦀Rust Macros
Flag this post
Corpus Frequencies in Morphological Inflection: Do They Matter?
arxiv.org·1d
🔤Morphological Analysis
Flag this post
Five LLM Tricks for Data Pipelines
🔗Constraint Handling
Flag this post
Splitting (Empty) Strings (2017)
🧠Lisp Dialects
Flag this post
Opportunistic Mutation in Roc
📏Code Metrics
Flag this post
Text2SQL is dead – long live text2SQL
🚚Data Migration
Flag this post
A Multimodal, Multitask System for Generating E Commerce Text Listings from Images
arxiv.org·1d
🤖Advanced OCR
Flag this post
Loading...Loading more...