🔍 Refinement Types - abnv · Scour

Introduction to Flakes

nixos-and-flakes.thiscute.world·1d

🧼Lisp Hygiene

Building Reliable AI Applications: A Validation Strategy

dev.to·1d·

Discuss: DEV

✅Configuration Validation

C++ Implementing a Chaos Game simulator

solarianprogrammer.com·1d

📚Self-Documenting Code

How I Approach a System I Have Never Seen Before

dev.to·3h·

Discuss: DEV

🛡️Security Type Systems

Implementing vector

accu.org·1d·

Discuss: r/cpp

🏷️Symbol Mangling

Fyrox Game Engine 1.0 Release Candidate 2

fyrox.rs·18h

ziggit.dev·1d

📝Rope Editors

Convergent Discovery of Critical Phenomena Mathematics Across Disciplines: A Cross-Domain Analysis

arxiv.org·17h

🔢Algebraic Datatypes

What should I program?

jamesmcm.github.io·1d

🏗️Minimal Compilers

feldera/feldera: The Feldera Incremental Computation Engine

github.com·2d

🚂Cranelift IR

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

artima.com·1d

🗂️Type Indexing

Tip of the Week #142: Multi-parameter Constructors and <code>explicit</code>

abseil.io·1d

🪆Embedded DSLs

What Should Go Into the C++ Standard Library

abseil.io·1d

🧸Toy Compilers

ValkDB/postgresparser: ANTLR-based PostgreSQL query parser for Go. Extracts tables, columns, joins, CTEs, parameters, DDL actions, and full column-usage metadata from SQL into a structured IR.

github.com·2h·

Discuss: r/golang

🗃️Query Compilation

Naughty is Nice!

yamlscript.org·2d

🧼Lisp Hygiene

The control layer for AI

blog.dottxt.ai·2d·

Discuss: Hacker News

🔀Control Structures

Experiments in building bespoke tools with AI

knlb.dev·10h·

Discuss: Hacker News

🎭Program Synthesis

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·1d·

Discuss: DEV

💬Smalltalk VMs

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·3d

🎯Symbolic Execution

isledb: An embedded key-value engine built on object storage in Go

reddit.com·1d·

Discuss: r/golang

🐹Go Internals

Loading more...