↔️ Bidirectional Typing - abnv · Scour

Semantic Design Tokens That Scale Across Platforms

hackernoon.com·7h

📡Protocol Buffers

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

matthewsinclair.medium.com·36m

💻Terminal UIs

Formal Methods Practice and Theory

adacore.com·23h·

Discuss: Hacker News

🎯Symbolic Execution

anglesmorts.org·1d

🔗Lexical Scoping

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

webpronews.com·23h

🔄Bootstrapping

User:Yayimhere/Cleverxia Collab

esolangs.org·1d

Open Source in Focus: .NET Projects and the Tools Behind Them

blog.jetbrains.com·1d

🎮Language Ergonomics

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·22h·

Discuss: Hacker News

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

go-kvolt.github.io·1d

🤖Embedded Go

The Design Checklist: Keeping AI Products Alive After Week One

hackernoon.com·7h

🎭Program Synthesis

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

piccalil.li·1d

🌈Gradual Languages

New Generative Paradigm: Drifting Model

mail.bycloud.ai·18h

Opus 4.6 Reasoning Distill 3k prompts

huggingface.co·1d·

Discuss: r/LocalLLaMA

🧩Constraint Solvers

Deep C Dives: Undefined Behavior

i-programmer.info·52m

📚Stack Allocation

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·1d

✅Type Checking

Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]

sjalander.com·1d·

Discuss: Hacker News

⚡Partial Evaluation

Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI

arxiv.org·1d

↕️Bidirectional Types

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·3d

🗂️Type Indexing

Loading more...