🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Language Theory

Type Systems, Formal Methods, Lambda Calculus, Category Theory

Saturday open line
arktimes.com·1d
📡RSS
How Reading to My Baby Helped Me Read My Baby
theatlantic.com·13h
⚙️Compilers
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·14h·
Discuss: Lobsters, Hacker News
⚙️Compilers
Hydra: A 1.6B-Parameter State-Space Language Model with Sparse Attention, Mixture-of-Experts, and Memory
arxiv.org·2d
🧩programming
Macroeconomic Foundation of Monetary Accounting by Diagrams of Categorical Universals
arxiv.org·3d
⚙️Compilers
Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference
arxiv.org·3d
⚙️Compilers
The Long Season of Langdev
blog.fogus.me·4d·
Discuss: Lobsters, Hacker News
🧩programming
Characterizing NC1 with Typed Monoids
arxiv.org·6d
🧩programming
Language Models as Thespians
jstrieb.github.io·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩programming
Cognitive Surgery: The Awakening of Implicit Territorial Awareness in LLMs
arxiv.org·3d
⚙️Compilers
GRILE: A Benchmark for Grammar Reasoning and Explanation in Romanian LLMs
arxiv.org·3d
⚙️Compilers
Making Sense of AI Job Titles
dbreunig.com·3d·
Discuss: Hacker News
⚙️Compilers
Optimizing FizzBuzz in Rust
github.com·1d·
Discuss: Lobsters, Hacker News
🧩programming
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·2d
🧩programming
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·1d·
Discuss: Hacker News
⚙️Compilers
Benchmarking Computer Science Survey Generation
arxiv.org·2d
⚙️Compilers
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·3d
⚙️Compilers
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.org·3d
⚙️Compilers
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·2d·
Discuss: Hacker News
🧩programming
Presheaf automata
arxiv.org·6d
🧩programming
Loading...Loading more...
AboutBlogChangelogRoadmap