Linkage
11011110.github.io·7h
🧮Combinator Calculus
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·19h
🧠Semantic Parsing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·15h
🪢Rope Data Structures
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
Manticore Search 13.11.0: Introducing Auto Embeddings and Enhanced AI Search
dev.to·9h·
Discuss: DEV
🌿Trie Structures
Ancient Scripts, Modern AI: Bridging the Divide with Morphology-Aware Tokenization by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
⚡Tokenizer Benchmarks
ALIGNS: Unlocking nomological networks in psychological measurement through a large language model
arxiv.org·19h
🔍ML Language
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.com·7h
🗺️Region Inference
Unlock 'Magic' Optimization: Smarter Search When Blindfolded by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🔍Fuzzy Indexing
Balance between refactoring and inheritance in your code
github.com·11h·
Discuss: Hacker News
🧪Compiler Testing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
<p>**Abstract:** This paper introduces an automated system for analyzing and scoring scientific publications related to foundation settlement optimization, reco...
freederia.com·20h
📋Backus-Naur Form
Caffeinated Commits- Day 3
dev.to·7h·
Discuss: DEV
🎓Teaching Compilers
Weasel words and co.: Guide to recognising AI-generated texts on Wikipedia
heise.de·7h
📚Factor
Evolution of Transformers Pt2: Sequence Modelling(Transformers)
pub.towardsai.net·2d
🪜Recursive Descent
Lessons from using AI in Discovery
thoughtbot.com·23h
🎮Language Ergonomics
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·10h·
Discuss: DEV
🏗️Cranelift
Frontier Models Are Not Commoditized
arfniia.com·2h·
Discuss: Hacker News
🎯Finite Automata
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization