Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
💎Information Crystallography
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·2d·
Discuss: Hacker News
🔒Language-based security
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Sorting encrypted data without decryption: a practical trick
dev.to·8h·
Discuss: DEV
🔐Hash Functions
Linguistic Patterns in Pandemic-Related Content: A Comparative Analysis of COVID-19, Constraint, and Monkeypox Datasets
arxiv.org·19h
📝Punctuation Engines
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
The Hidden Bias: A Study on Explicit and Implicit Political Stereotypes in Large Language Models
arxiv.org·19h
🤖Grammar Induction
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·1d·
Discuss: Hacker News
📊Learned Metrics
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·9h·
Discuss: DEV
📊Multi-vector RAG
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Mind the Gap: Quantifying Vocabulary Mismatch in E-Commerce Site Search
searchhub.io·1d·
Discuss: Hacker News
📈Search Quality
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·19h
📋Document Grammar
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·19h
📜Digital Philology
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·19h
💻Programming languages
Contrastive Weak-to-strong Generalization
arxiv.org·19h
⧗Information Bottleneck
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·19h
🧮Kolmogorov Complexity