English verb patterns: gerund or infinitive?
grammaticus.blog·1d
🔍Z3 Parsing
Thoughts on teaching multivariable calculus
blog.evanchen.cc·1d
📚Proof Pedagogy
Stuck? Build Your Language Backwards
jimmyhmiller.github.io·2d
💾Binary Linguistics
Using Topological Data Analysis and Sparse Autoencoders to Evaluate TruthfulQA
bluelightai.com·47m·
Discuss: Hacker News
🧠Intelligence Compression
Why do we even need SIMD instructions ?
lemire.me·7h·
Discuss: Hacker News
🚀SIMD Text Processing
You Don’t Need GraphRAG! Build a Multi-Strategy Graph Thinking AI Agent
dev.to·59m·
Discuss: DEV
🕸️Knowledge Graphs
What is wrong with Lisp? (2010)
web.archive.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
WIP: Nvidia Parakeet ASR mode inference in GGML
github.com·12h·
Discuss: Hacker News
🎙️Whisper
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
📝Text Parsing
Go Interfaces - Composition Over Inheritance (And Common Sense)
dev.to·3h·
Discuss: DEV, r/golang
💧Liquid Types
TIL about Cryptophasia, a phenomenon where a pair of twins develop a language only they can understand.
en.wikipedia.org·13h·
Discuss: Hacker News, r/todayilearned
📼Tape Linguistics
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·2d
✅Formal Methods
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Why AI's Tom Cruise problem means it is 'doomed to fail' (2024)
theguardian.com·12h·
Discuss: Hacker News
🧠Intelligence Compression
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·17h·
Discuss: Hacker News
🧬Bitstream Evolution
A Novel Architecture for Symbolic Reasoning with Decision Trees and LLM Agents
arxiv.org·2d
🧠Computational Logic
The Pink Elephant Problem: Why "Don't Do That" Fails with LLMs
eval.16x.engineer·1d·
Discuss: Hacker News
🛡️CLI Security
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
How I code with AI on a budget/free
wuu73.org·6h·
Discuss: Hacker News
⚡Proof Automation