↔️ Bidirectional Typing - abnv · Scour

TPUs Demystified

pub.towardsai.net

·2h

Origin of Indian National Congress

magadhmahilacollege.org·44m

#0183: RLWRAP and Elixir: A Pragmatic Approach to CLI Readline Support

matthewsinclair.medium.com·2h

💻Terminal UIs

Semantic Design Tokens That Scale Across Platforms

hackernoon.com·9h

📡Protocol Buffers

anglesmorts.org·1d

🔗Lexical Scoping

Fine Grained Everything, and what comes after React Server Components

blog.logrocket.com·19h

Issue #721: Classification With zstd, Callables, Gemini, and More (Feb. 10, 2026)

pycoders.com·19h

🛠programming language development

Vulnerabilities in 45 Open Source Projects (vLLM, Langfuse, Phase, NocoDB)

kolega.dev·1h·

Discuss: Hacker News

🛡️Error Ergonomics

Formal Methods Practice and Theory

adacore.com·1d·

Discuss: Hacker News

🎯Symbolic Execution

ainowinstitute.org·1d

🗺️Region Polymorphism

#632, Feburary 9th 2026

llvmweekly.org·1d

⚙️Compilers

A high-performance Go framework (250k+ req/sec) with built-in batteries

go-kvolt.github.io·1d

🤖Embedded Go

Just-in-Time Ontological Reframing: Teaching Gemini to Route Around Its Own Safety Infrastructure

recursion.wtf·1d

🔄Subinterpreters

What Functional Programmers Get Wrong About Systems

iankduncan.com·1d

🚂Error Propagation

en.wikipedia.org·1d

🔗Category Theory

Large Language Models for Mortals book released

crimede-coder.com·1d·

Discuss: Hacker News

It’s about to get a lot easier for your JavaScript to clean up after itself

piccalil.li·1d

🌈Gradual Languages

Impredicativity in Linear Dependent Type Theory

arxiv.org·1d

∀Quantified Types

Antirez Strikes Again: The Creator of Redis Builds a Bare-Metal Vision AI in Pure C — And It Actually Works

webpronews.com·1d

🔄Bootstrapping

Opus 4.6 Reasoning Distill 3k prompts

huggingface.co·1d·

Discuss: r/LocalLLaMA

🧩Constraint Solvers

Loading more...