🔍 Refinement Types - abnv · Scour

Quantization-Aware Distillation

ternarysearch.blogspot.com·1d·

Discuss: Hacker News

🪜Recursive Descent

Debugging Kotlin Multiplatform Apps with Better Observability

dev.to·2d·

Discuss: DEV

🦉Swift Interpreters

Hello World: Algorithmic Trading & DeFi Logic

dev.to·19h·

Discuss: DEV

Anthropics Compiler Challenge

corsix.org·1d

🚀Code Motion

erlang.org·2d·

Discuss: Hacker News

🎭Polymorphic Variants

Logic for Programmers New Release and Next Steps

buttondown.com·4d

📋Souffle Datalog

Tip of the Week #175: Changes to Literal Constants in C++14 and C++17.

abseil.io·1d

🔢Binary Formats

Functional Programming Bits in Python

martynassubonis.substack.com·6d·

Discuss: Substack, r/programming, r/webdev

⚡functional programming

TypeScript: JavaScript With Syntax For Types.

typescriptlang.org·3d

Coroutine Types

abseil.io·1d

Portable C Compiler

en.wikipedia.org·1d·

Discuss: Hacker News

📦Portable Bytecode

The Engineering Discipline That Made AI Actually Useful

multigres.com·4d·

Discuss: Hacker News

📋Souffle Datalog

A GTM guide to AI models

revengine.substack.com

·1d·

Discuss: Substack

🏷️Attribute Grammars

A Brief Introduction to Rvalue References

artima.com·1d

⚡Copy Elision

Pascal-J/type-system-j: adds an optional type system to J language

github.com·5d·

Discuss: Lobsters

✅Type Checking

LLMs could be, but shouldn't be compilers

alperenkeles.com·2d·

Discuss: Lobsters, Hacker News

🌱Minimal Languages

An Introduction to XML Data Binding in C++

artima.com·1d

📋Template Compilers

fts_depends - Windows Dependency Checker

forrestthewoods.com·1d

📦Dependency Analysis

TMTOWTDI for YS Expressions

yamlscript.org·2d

📦Closure Conversion

Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU

github.com·1d·

Discuss: Hacker News, r/LocalLLaMA

🗺️Region Inference

Loading more...