The story of Propolice https://lobste.rs/s/6i1cfa #compilers #historical #openbsd #security
http://miod.online.fr/software/openbsd/stories/propolice.html

ИИ — это революция в создании мини-языков и DSL

Многие программисты считают создание собственного языка программирования чем-то типа вершины возможного творчества. Но не потому что это требует насмотренности и развитого дизайнерского чутья, а потому что это просто технически сложная задача, требующая многих часов работы редких по интеллекту людей. Но теперь, кажется, это больше не так. А как?

https://habr.com/ru/articles/975888/

#DSLs #LLM #ai #compilers #metacode #python

@mattgodbolt Thank you for this series, so interesting! Any ideas why the compiler adds an explicit check for a zero sized input vector in this example? Why add extra instructions for a branch that should be rare in common code? Seems odd to me.

#programming #compilers

If you're interested in #compilers,
@mattgodbolt's Advent of Compiler Optimisations is a great YouTube series that could form part of your #DecemberAdventure.

It makes me feel stupid in the best possible way!

https://youtube.com/playlist?list=PL2HVqYf7If8cY4wLk7JUQ2f0JXY_xMQm2

Revisiting "Let's Build a Compiler" via @lesley https://lobste.rs/s/yrillw #compilers
https://eli.thegreenplace.net/2025/revisiting-lets-build-a-compiler/

Fear of the Walking Zig: The Security Audit Gap https://lobste.rs/s/yddim2 #compilers #security #vibecoding #zig
https://generativeai.pub/fear-of-the-walking-zig-the-security-audit-gap-707aec6ceb92

Another fascinating article by Matt #Godbolt in his Advent of Compiler Optimization series. This one is about induction variables and loops:

https://xania.org/202512/09-induction-variables

Here, Matt uses the llvm-mca tool to visualize the x86 Haswell CPU pipeline to show loop-carried dependencies.

If you want to see this for RISC-V (SiFive U74) for one of the given examples, try this link (llvm-mca -march=riscv64 -mcpu=sifive-u74 -timeline):

https://aoco.compiler-explorer.com/z/9srhEGhsG

#compilers #optimization #risc_v #aoco2025

Compiler Engineering in Practice - Part 1: What is a Compiler? https://lobste.rs/s/gcjtqe #compilers
https://chisophugis.github.io/2025/12/08/compiler-engineering-in-practice-part-1-what-is-a-compiler.html

I'm actively looking for opportunities in compiler development. My usual workflow involves C++, LLVM and Rust. If you are looking to hire someone with these skills, I'll be happy to talk!

Checkout my GH: https://github.com/weirdsmiley

#Compilers #FediHire

Awesome!

“Eurydice: A Rust To C Compiler (Yes)”, Jonathan Protzenko (http://jonathan.protzenko.fr/2025/10/28/eurydice.html).

Via HN: https://news.ycombinator.com/item?id=46178442

On Lobsters: https://lobste.rs/s/1kcrn4/eurydice_rust_c_compiler_yes

#Eurydice #Rust #C #Compilers #Transpilers #Programming #PLDI #Portability #Embedded

👌🏽:

“Generating C Code That People Actually Want To Use” [2019], Jonathan Protzenko (http://jonathan.protzenko.fr/2019/01/04/behind-the-scenes.html).

On HN: https://news.ycombinator.com/item?id=19304400

On Lobsters: https://lobste.rs/s/4vfysy/generating_c_code_people_actually_want

#C #Compilers #Transpilers #Readability #Programming #PLDI #CodeGeneration #Verification

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles

#LLVM #Compilers

https://hgpu.org/?p=30440

Decoupled Triton: A Block-Level Decoupled Language for Writing and Exploring Efficient Machine-Learning Kernels

#Triton #Compilers #MachineLearning #ML #Thesis

https://hgpu.org/?p=30439

My current side-side project is phonebook, a fast multi-threaded identifier interner for Rust. I've been banging my head against the wall for the last few weeks, trying to solve concurrent reallocation; and for the last week, I've been taking a "break" by trying to build a reader-writer split API for rustls. And while phonebook is still not feeling very appealing, the project I needed it for -- Krabby -- has plenty of other work to do. So I spent today catching up on it. I hope I can find the inspiration to tackle that concurrent reallocation issue again.

I did end up building some nice stuff; a friend had contributed progress bar support a while back, and I've revamped it using ratatui. It also includes a lot of cool detail now. Have a look!

I expect the next few days to be pretty busy, so I plan to pick up phonebook next week; I'll focus on Krabby and rustls until then.

#programming #rust #compilers #krabby

Eurydice: a Rust to C compiler (yes)

https://fed.brid.gy/r/http://jonathan.protzenko.fr/2025/10/28/eurydice.html

Eurydice: a Rust to C compiler (yes) https://lobste.rs/s/1kcrn4 #c #compilers #rust
http://jonathan.protzenko.fr/2025/10/28/eurydice.html

Fixed Points and Strike Mandates (2012) https://lobste.rs/s/x2qsqg #compilers #math
https://www.pvk.ca/Blog/2012/02/19/fixed-points-and-strike-mandates/

S-Expression Array for Lightweight Immutable Representation (SealIR) https://lobste.rs/s/lh9u4r #compilers #performance #python
https://github.com/numba/sealir

dp_knapsack_sliding_hirschberg, a new activation memory budget solver for PyTorch https://lobste.rs/s/ob4esu #compilers #math #performance
https://jedrzej.maczan.pl/2025_11_21_dp_knapsack_sliding_hirschberg