Down with template (or not)!
cedardb.comยท1d
๐ฏGradual Typing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท22h
๐ณContext free grammars
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท2d
๐ปProgramming languages
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
๐ฃ๏ธDomain-Specific Languages
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
๐ง Lisp Dialects
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท22h
๐งฎAlgebraic Archives
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.orgยท1d
๐งฎVector Embeddings
Flag this post
De Bruijn Numerals
ฮปLambda Encodings
Flag this post
Automated Clinical Trial Matching via Semantic Hypergraph Analysis & Predictive Scoring
๐ธ๏ธNeo4j
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐Static Analysis
Flag this post
Fungus: The Befunge CPU(2015)
โกHomebrew CPUs
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.orgยท22h
๐ABNF Extensions
Flag this post
Rdza โ Rust Programming, in Polish
๐ฆRust Macros
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Category Theory
Flag this post
Loading...Loading more...