Alexandria Library

A curated collection of awesome articles

Here are some ressources related to Compilers, Import, Bounds. Hoping you will find learning material, alternative tools or just some interesting stuff.

Home > Programming, Machine Learning, Quan... > Programming, Memory Management, Com... > Compilers, Programming, Memory_mana... > Compilers, Import, Bounds

Articles

Catch-23: The New C Standard Sets the World on Fire

See discussion (264 comments, 245 points) - Archive

Llama.cpp: Port of Facebook's LLaMA model in C/C++, with Apple Silicon support

See discussion (284 comments, 989 points) - Archive

CBMC: The C Bounded Model Checker

See discussion (3 comments, 86 points) - Archive

See discussion (222 comments, 264 points) - Archive

Considering C99 for Curl

See discussion (178 comments, 223 points) - Archive

Mildly interesting quirks of C

See discussion (84 comments, 292 points) - Archive

Revisiting the design approach to Zig

See discussion (94 comments, 134 points) - Archive

The case against a C alternative

See discussion (379 comments, 217 points) - Archive

Embed is in C23

See discussion (338 comments, 483 points) - Archive

Carbon Language: An experimental successor to C++

See discussion (504 comments, 580 points) - Archive

Adding Modules to C in 10 Lines of Code [pdf]

See discussion (88 comments, 138 points) - Archive

V Language Review

See discussion (299 comments, 297 points) - Archive

Zig Programming Language

See discussion (22 comments, 99 points) - Archive

C++23 Will Be Really Awesome

See discussion (14 comments, 92 points) - Archive

A Formal Model of Checked C

See discussion (37 comments, 90 points) - Archive

A Gas Dynamics Toolkit in D

See discussion (15 comments, 95 points) - Archive

Allocgate: Restructuring how allocators work in Zig

See discussion (51 comments, 100 points) - Archive

Nullc: Fast C-like programming language with advanced features

See discussion (50 comments, 89 points) - Archive

Show HN: C3 – A C alternative that looks like C

See discussion (87 comments, 120 points) - Archive

An intro to Zig's integer casting for C programmers

See discussion (131 comments, 129 points) - Archive

Adding ANSI C11 C compiler to D so it can import and compile C files directly

See discussion (105 comments, 165 points) - Archive

Wuffs the Language

See discussion (75 comments, 187 points) - Archive

D 2.096 and other news

See discussion (85 comments, 111 points) - Archive

See discussion (133 comments, 175 points) - Archive

Datatype99: C99 with Sum Types, v0.1.0

See discussion (64 comments, 157 points) - Archive

Why Apple Chose Clang (2008)

See discussion (122 comments, 162 points) - Archive

C Template Library

See discussion (128 comments, 266 points) - Archive

Zig 0.7.0 tagged

See discussion (45 comments, 90 points) - Archive

Overloading by Return Type in C++

See discussion (51 comments, 92 points) - Archive

C will never stop you from making mistakes

See discussion (213 comments, 221 points) - Archive

Refactoring the FreeBSD Kernel with Checked C [pdf]

See discussion (13 comments, 85 points) - Archive

Better C – A subset of D Programming Language

See discussion (352 comments, 249 points) - Archive

ZZ is a modern formally provable dialect of C

See discussion (153 comments, 266 points) - Archive

Hacking on Clang is surprisingly easy

See discussion (26 comments, 134 points) - Archive

D at 20: Hits and Misses [pdf]

See discussion (53 comments, 123 points) - Archive

Generics in C without void* or macros – enabled by psychec

See discussion (70 comments, 90 points) - Archive

The Zig Programming Language

See discussion (59 comments, 142 points) - Archive

Cerberus – Semantic models for C

See discussion (8 comments, 108 points) - Archive

Checked C: extension to C that adds static and dynamic checking

See discussion (92 comments, 129 points) - Archive

CDSA – A library of generic data structures and algorithms in ANSI C

See discussion (14 comments, 95 points) - Archive

D’s Newfangled Name Mangling

See discussion (47 comments, 89 points) - Archive

D as a Better C

See discussion (184 comments, 242 points) - Archive

D Language accepted for inclusion in GCC

See discussion (232 comments, 528 points) - Archive

T3X – a minimal procedural language

See discussion (51 comments, 97 points) - Archive

Automatic compilation of partially available C source code

See discussion (17 comments, 129 points) - Archive

A semantic model for a substantial fragment of C

See discussion (75 comments, 97 points) - Archive

Zig: a system language which prioritizes optimality, safety, and readability

See discussion (218 comments, 237 points) - Archive

Checked C from Microsoft Research

See discussion (9 comments, 142 points) - Archive

See discussion (156 comments, 336 points) - Archive

Into the Depths of C: Elaborating the De Facto Standards [pdf]

See discussion (38 comments, 115 points) - Archive

Collections-C, generic data structures for C

See discussion (60 comments, 115 points) - Archive

A critique of "How to C in 2016"

See discussion (178 comments, 157 points) - Archive

How to C in 2016

See discussion (581 comments, 1145 points) - Archive

What is C in practice?

See discussion (106 comments, 192 points) - Archive

How does D improve on C++17?

See discussion (75 comments, 131 points) - Archive

Mbeddr – engineering the future of embedded software

See discussion (71 comments, 85 points) - Archive

Facebook Open Sources flint, a C++ linter written in D

See discussion (81 comments, 197 points) - Archive

Cling: Running C++ in an interpreter

See discussion (48 comments, 113 points) - Archive

Using Zig to Unit Test a C Application

See discussion (52 comments, 159 points) - Archive

C23: A Slightly Better C

See discussion (169 comments, 216 points) - Archive

The C bounded model checker: criminally underused

See discussion (125 comments, 209 points) - Archive

LLM4Decompile: Decompiling Binary Code with LLM

See discussion (129 comments, 412 points) - Archive

C++ left arrow operator (2016)

See discussion (111 comments, 168 points) - Archive

Xr0: C but Safe

See discussion (144 comments, 144 points) - Archive

Llm.c – LLM training in simple, pure C/CUDA

See discussion (169 comments, 1050 points) - Archive

Coz: Causal Profiling

See discussion (17 comments, 89 points) - Archive

CBMC: C bounded model checker (2021)

See discussion (31 comments, 106 points) - Archive

Show HN: Sum (algebraic) types for C in one 100 line header

See discussion (43 comments, 92 points) - Archive

See discussion (48 comments, 90 points) - Archive

Improving your Zig language server experience

See discussion (4 comments, 83 points) - Archive

See discussion (36 comments, 212 points) - Archive

What's new in C++26 (part 1)

See discussion (152 comments, 140 points) - Archive