English speakers are lucky - thoughts from developing a keyboard app
reddit.com·14h·
Discuss: r/SideProject
📝Rope Editors
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·10h
🔒Rust Borrowing
Multimodal Function Vectors for Spatial Relations
arxiv.org·9h
🧩Persistent Vectors
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·19h
🧮Combinator Calculus
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·9h
🪜Recursive Descent
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·23h·
Discuss: Hacker News
🌲Tree Rewriting
Functional Threading “Macros”
aartaka.me·1d
🪄Syntax Macros
BULaMU-The First Luganda Large Language Model Trained from Scratch
reddit.com·1d·
Discuss: r/LocalLLaMA
🌱Minimal ML
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·9h
🔍ML Language
Three Meanings of "To Know"
madhadron.com·23h·
Discuss: Hacker News
🔗Concatenative Theory
Recent AI Experiences
lesswrong.com·2d
📝Rope Editors
Property-based testing of batch-invariant operations
mmaaz.ca·14h·
Discuss: Hacker News
🎲Property Testing
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·8h·
Discuss: DEV
🌳Pattern Match Compilation
The lost language extensions of MetaWare's High C Compiler
duriansoftware.com·4d
🪄C Metaprogramming
µs Human-Readable IDs: A Performance Journey
dev.to·24m·
Discuss: DEV
📋JSON Parsing
Is Odin Just a More Boring C?
dayvster.com·2h·
Discuss: Hacker News
🐹Go Internals
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·1d·
Discuss: DEV
🌿Trie Structures
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages
I spent a week refactoring a perfectly working project and I don’t regret it
reddit.com·22h·
Discuss: r/webdev
🔄Bootstrapping
Detecting Notational Errors in Digital Music Scores
arxiv.org·9h
🔍Text Indexing