Show threadरञ्जित (Ranjit Mathew)Dec 8

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

Eurydice: a Rust to C compiler (yes)

Perhaps the greatest surprise of the last two years was, for me, the realization that people not only care about compiling C to Rust (for obvious reasons, such as, ahem, memory safety) – they also care about compiling Rust to C! Wait, what?

Jonathan Protzenko
रञ्जित (Ranjit Mathew)Dec 8

👌🏽:

“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

Generating C code that people actually want to use

Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is compiled to readable C, meaning existing systems projects can readily integrate our verified code. Going to C is what allows people to use our code without having to buy into exotic, strange languages with lambdas.

Jonathan Protzenko
Caleb AlbrittonMar 12, 2025

Probably 5+ years ago, before I started downloading any youtube video I wanted to keep I bookmarked a video.

https://www.youtube.com/watch?v=DspYurD75Ns

CODE GENIUS - Rise of the Transpilers by Jeremy Ashkenas.

If anyone has a copy of that video I'd greatly appreciate it.

#transpilers #coffeescript

- YouTube

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.

Show threadаэсNov 28, 2021

<orignal> а что с кислицей?
<crlf> Админ сейчас такую же загадку про стулья решает
* You are now known as электрический_скат
<электрический_скат> crlf, крч мой ответ чемберлену вот такой: #between #software #and #hardware: #translators ; #forward #and #reverse #engineering

#andand #nano #back #forth #compilers #transpilers #llvm #intel #amd #cpu #gpu #apu

रञ्जित (Ranjit Mathew)Jun 16, 2020

"Dumbindent: When 93% Of The Time Was Spent In Clang-Format", Nigel Tao (https://nigeltao.github.io/blog/2020/dumbindent.html).

#Indentation #Formatting #PrettyPrint #ClangFormat #Wuffs #Compilers #Transpilers #Performance #Optimization

Dumbindent: When 93% of the Time was Spent in Clang-Format

Nigel Tao