Generative Interfaces for Language Models
arxiv.org·17h
⚙️Parser Generators
Dependent types I › Universes, or types of types
jonmsterling.com·14h·
Discuss: Hacker News
🔤Type Theory
A 20-Year-Old Algorithm Can Help Us Understand Transformer Embeddings
ai.stanford.edu·2h·
Discuss: Hacker News
🧮Vector Embeddings
Thioester-mediated RNA aminoacylation and peptidyl-RNA synthesis in water
nature.com·5h
🧬Palindrome Codes
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·4h·
Discuss: DEV
🔗Constraint Handling
Teaching programming languages
kmjn.org·2d
💻Programming languages
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·1d
🗂️Vector Databases
Understanding Tool-Integrated Reasoning
arxiv.org·17h
🔗Constraint Handling
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·15h·
Discuss: Hacker News
🦀Rust Macros
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·1d
⬆️Lambda Lifting
Implementing Forth in Go and C
eli.thegreenplace.net·17h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Spectrum – catching clojure.spec conform errors at compile time
github.com·4h·
Discuss: Hacker News
🔗Functional Compilers
The Grammar According to West
dwest.web.illinois.edu·7h·
Discuss: Hacker News
🔬Lean
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·2h·
Discuss: Hacker News
🔍Information Retrieval
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·10h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Model Merging – A Biased Overview
crisostomi.github.io·4h·
Discuss: Hacker News
🔲Cellular Automata