Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
VLLM Predicted Outputs
cascadetech.ai·3h·
Discuss: Hacker News
💻Local LLMs
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1d·
Discuss: Hacker News
💻Local LLMs
Mind the Gap: Quantifying Vocabulary Mismatch in E-Commerce Site Search
searchhub.io·1d·
Discuss: Hacker News
📈Search Quality
Unlock Your Enterprise Data: A Java/Spring Guide to AI-Ready Schema.org & JSON-LD
dev.to·1d·
Discuss: DEV
📋Document Grammar
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·19h
🧠Learned Indexing
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
✨Effect Handlers
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·19h
🔗Parser Combinators
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·19h
💻Programming languages
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·19h
📊HyperLogLog
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·19h
🧮Vector Embeddings
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Beyond Vector Search: Building a RAG That *Actually* Understands Your Data
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization