#compilers — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #compilers, aggregated by home.social.
-
Finding miscompiles for fun, not profit https://lobste.rs/s/k1q4tr #compilers #vibecoding
https://newsletter.semianalysis.com/p/finding-miscompiles-for-fun-not-profit -
Finding miscompiles for fun, not profit https://lobste.rs/s/k1q4tr #compilers #vibecoding
https://newsletter.semianalysis.com/p/finding-miscompiles-for-fun-not-profit -
Finding miscompiles for fun, not profit https://lobste.rs/s/k1q4tr #compilers #vibecoding
https://newsletter.semianalysis.com/p/finding-miscompiles-for-fun-not-profit -
Finding miscompiles for fun, not profit https://lobste.rs/s/k1q4tr #compilers #vibecoding
https://newsletter.semianalysis.com/p/finding-miscompiles-for-fun-not-profit -
Finding miscompiles for fun, not profit https://lobste.rs/s/k1q4tr #compilers #vibecoding
https://newsletter.semianalysis.com/p/finding-miscompiles-for-fun-not-profit -
Turns out the "spent all day looking for a bug in my code and it was a compiler bug" works both ways around. Spent ages looking for a bug in my compiler to realise it was a bug in the code being compiled!
-
Running Code in a Programming Language Nobody Knows
programming,#lisp,#LanguageDesign,#compilers
Last month, I ran code in a programming language that nobody knew.
I'm not the first to do a thing like that. Ben Olmstead created Malbolge in 1998. It's a deliberately incomprehensible programming language that's likely impossible for anyone to really know; it took a search algorithm to generate the first program for it. Finding examples of an old, obscure language with no surviving practitioners is another potential method I imagine has been done a few times.
Nobody had ever known Nucleus when its compiler bootstrapped. Since it's 2026, I imagine many readers have already guessed large language models were involved. I gave a sample program and output to an LLM tool and told it to write a compiler in C. I then told the tool to add features to the language until it could rewrite the Nucleus compiler in Nucleus, resulting in a language that I did not know. LLMs do not "know" things and aren't somebody, so at that point, nobody knew Nucleus, yet there were about 4000 lines of it running in the compiler, able to produce real binaries that run on real computers.
Someone I mentioned this to asked why I would want to design a programming language without designing a programming language. I don't actually want to do that, but just as the compiler needed an initial implementation in another language in order to bootstrap, I found it much easier to work from a minimal working language than a blank slate. I had the idea for Nucleus for a long time and have not yet read the Dragon Book and written a compiler from scratch like I told myself I was going to.
As for the language itself, the basic idea is a language for manipulating memory at a low level like C, but with Lisp-like syntax and structural macros providing compile-time abstractions and safety-enhancing constructs with no runtime overhead. By the time it hits 1.0, Nucleus should be usable as a drop-in replacement for C anywhere C is used. I'm not the first to do a thing like that either, but other implementations I've seen actually compile a Lisp-like language to C. Nucleus targets LLVM directly.
#lisp #LanguageDesign #compilers -
Running Code in a Programming Language Nobody Knows
Last month, I ran code in a programming language that nobody knew.
I'm not the first to do a thing like that. Ben Olmstead created Malbolge in 1998. It's a deliberately incomprehensible programming language that's likely impossible for anyone to really know; it took a search algorithm to generate the first program for it. Finding examples of an old, obscure language with no surviving practitioners is another potential method I imagine has been done a few times.
Nobody had ever known Nucleus when its compiler bootstrapped. Since it's 2026, I imagine many readers have already guessed large language models were involved. I gave a sample program and output to an LLM tool and told it to write a compiler in C. I then told the tool to add features to the language until it could rewrite the Nucleus compiler in Nucleus, resulting in a language that I did not know. LLMs do not "know" things and aren't somebody, so at that point, nobody knew Nucleus, yet there were about 4000 lines of it running in the compiler, able to produce real binaries that run on real computers.
Someone I mentioned this to asked why I would want to design a programming language without designing a programming language. I don't actually want to do that, but just as the compiler needed an initial implementation in another language in order to bootstrap, I found it much easier to work from a minimal working language than a blank slate. I had the idea for Nucleus for a long time and have not yet read the Dragon Book and written a compiler from scratch like I told myself I was going to.
As for the language itself, the basic idea is a language for manipulating memory at a low level like C, but with Lisp-like syntax and structural macros providing compile-time abstractions and safety-enhancing constructs with no runtime overhead. By the time it hits 1.0, Nucleus should be usable as a drop-in replacement for C anywhere C is used. I'm not the first to do a thing like that either, but other implementations I've seen actually compile a Lisp-like language to C. Nucleus targets LLVM directly.
#lisp #LanguageDesign #compilers -
On C extensions, portability, and alternative compilers https://lobste.rs/s/mcgtsh #c #compilers
https://lemon.rip/w/6-c-extensions-compilers/ -
New instance, new #introduction, right?
Hi there! I'm Vito! 30-something self-taught computer #engineer ✨
I currently live in São Paulo, Brazil, with plans to move to Italy some time in the future. Maybe.I have a reeeally deep interest in #parsers, #interpreters & #compilers, but I'm also using my free time to build computers from scratch based on architectures from the 70's, 80's, and 90's, and some other projects, sometimes around #retrocomputing.
I'm usually using Macs (#Mac Studio Ultra/M4 #MacBook Pro <3) I also have a large #ESXi host hosting a lot of VMs and a "bare-metal" K8s cluster, but I've been a long-time user of #BSD and #Linux! <3
If I follow you, I will end up interacting with your toots in some way! Either boosting, replying, or favouriting them! Please do let me know in case any of that makes you uncomfortable!
Also feel free to let me know in case I missed a CW, Alt, or said something wrong or technically incorrect!
I think that's about it! Thanks for reading! Have a nice day! 🌻 :floofHeart:
-
New instance, new #introduction, right?
Hi there! I'm Vito! 30-something self-taught computer #engineer ✨
I currently live in São Paulo, Brazil, with plans to move to Italy some time in the future. Maybe.I have a reeeally deep interest in #parsers, #interpreters & #compilers, but I'm also using my free time to build computers from scratch based on architectures from the 70's, 80's, and 90's, and some other projects, sometimes around #retrocomputing.
I'm usually using Macs (#Mac Studio Ultra/M4 #MacBook Pro <3) I also have a large #ESXi host hosting a lot of VMs and a "bare-metal" K8s cluster, but I've been a long-time user of #BSD and #Linux! <3
If I follow you, I will end up interacting with your toots in some way! Either boosting, replying, or favouriting them! Please do let me know in case any of that makes you uncomfortable!
Also feel free to let me know in case I missed a CW, Alt, or said something wrong or technically incorrect!
I think that's about it! Thanks for reading! Have a nice day! 🌻 :floofHeart:
-
New instance, new #introduction, right?
Hi there! I'm Vito! 30-something self-taught computer #engineer ✨
I currently live in São Paulo, Brazil, with plans to move to Italy some time in the future. Maybe.I have a reeeally deep interest in #parsers, #interpreters & #compilers, but I'm also using my free time to build computers from scratch based on architectures from the 70's, 80's, and 90's, and some other projects, sometimes around #retrocomputing.
I'm usually using Macs (#Mac Studio Ultra/M4 #MacBook Pro <3) I also have a large #ESXi host hosting a lot of VMs and a "bare-metal" K8s cluster, but I've been a long-time user of #BSD and #Linux! <3
If I follow you, I will end up interacting with your toots in some way! Either boosting, replying, or favouriting them! Please do let me know in case any of that makes you uncomfortable!
Also feel free to let me know in case I missed a CW, Alt, or said something wrong or technically incorrect!
I think that's about it! Thanks for reading! Have a nice day! 🌻 :floofHeart:
-
New instance, new #introduction, right?
Hi there! I'm Vito! 30-something self-taught computer #engineer ✨
I currently live in São Paulo, Brazil, with plans to move to Italy some time in the future. Maybe.I have a reeeally deep interest in #parsers, #interpreters & #compilers, but I'm also using my free time to build computers from scratch based on architectures from the 70's, 80's, and 90's, and some other projects, sometimes around #retrocomputing.
I'm usually using Macs (#Mac Studio Ultra/M4 #MacBook Pro <3) I also have a large #ESXi host hosting a lot of VMs and a "bare-metal" K8s cluster, but I've been a long-time user of #BSD and #Linux! <3
If I follow you, I will end up interacting with your toots in some way! Either boosting, replying, or favouriting them! Please do let me know in case any of that makes you uncomfortable!
Also feel free to let me know in case I missed a CW, Alt, or said something wrong or technically incorrect!
I think that's about it! Thanks for reading! Have a nice day! 🌻 :floofHeart:
-
New instance, new #introduction, right?
Hi there! I'm Vito! 30-something self-taught computer #engineer ✨
I currently live in São Paulo, Brazil, with plans to move to Italy some time in the future. Maybe.I have a reeeally deep interest in #parsers, #interpreters & #compilers, but I'm also using my free time to build computers from scratch based on architectures from the 70's, 80's, and 90's, and some other projects, sometimes around #retrocomputing.
I'm usually using Macs (#Mac Studio Ultra/M4 #MacBook Pro <3) I also have a large #ESXi host hosting a lot of VMs and a "bare-metal" K8s cluster, but I've been a long-time user of #BSD and #Linux! <3
If I follow you, I will end up interacting with your toots in some way! Either boosting, replying, or favouriting them! Please do let me know in case any of that makes you uncomfortable!
Also feel free to let me know in case I missed a CW, Alt, or said something wrong or technically incorrect!
I think that's about it! Thanks for reading! Have a nice day! 🌻 :floofHeart:
-
Gobee: write eBPF programs in Go, transpiled via clang https://lobste.rs/s/52g7rz #compilers #go #linux #programming
https://github.com/boratanrikulu/gobee -
[RFC] LLVM Foundation statement in favor of open access to standards documents https://lobste.rs/s/vfxdtu #c #c++ #compilers
https://discourse.llvm.org/t/rfc-open-access-to-standards-documents/90856 -
[RFC] LLVM Foundation statement in favor of open access to standards documents
https://fed.brid.gy/r/https://discourse.llvm.org/t/rfc-open-access-to-standards-documents/90856
-
AsmX с движком Raptor: Архитектура абсолютного контроля
Raptor Engine: Как 30 000 строк кода на TypeScript вдохнули жизнь в компилятор AsmX Можно ли объединить абсолютный контроль низкоуровневого ассемблера x86-64 с изяществом ООП, шаблонов и безопасных абстракций в духе C++? Разбираем масштабное обновление отечественного компилятора AsmX. Под капотом — честные 30 тысяч строк хардкорной архитектуры: от прямого доступа к аппаратной SIB-адресации CPU и хитрых махинаций с регистрами при вызове знаковых movsx / imul / idiv , до разбора анатомии новой стандартной библиотеки ( std::optional и std::pair ), работающей по принципу Zero-Cost Abstractions. Узнайте, как мономорфизация AST-деревьев и System V ABI позволяют выжимать максимум из кремния без единого байта накладных расходов.
https://habr.com/ru/articles/1037472/
#compilers #innovations #asmx #asmxzgen_compiler #asmx_compiler #2026
-
AsmX с движком Raptor: Архитектура абсолютного контроля
Raptor Engine: Как 30 000 строк кода на TypeScript вдохнули жизнь в компилятор AsmX Можно ли объединить абсолютный контроль низкоуровневого ассемблера x86-64 с изяществом ООП, шаблонов и безопасных абстракций в духе C++? Разбираем масштабное обновление отечественного компилятора AsmX. Под капотом — честные 30 тысяч строк хардкорной архитектуры: от прямого доступа к аппаратной SIB-адресации CPU и хитрых махинаций с регистрами при вызове знаковых movsx / imul / idiv , до разбора анатомии новой стандартной библиотеки ( std::optional и std::pair ), работающей по принципу Zero-Cost Abstractions. Узнайте, как мономорфизация AST-деревьев и System V ABI позволяют выжимать максимум из кремния без единого байта накладных расходов.
https://habr.com/ru/articles/1037472/
#compilers #innovations #asmx #asmxzgen_compiler #asmx_compiler #2026
-
AsmX с движком Raptor: Архитектура абсолютного контроля
Raptor Engine: Как 30 000 строк кода на TypeScript вдохнули жизнь в компилятор AsmX Можно ли объединить абсолютный контроль низкоуровневого ассемблера x86-64 с изяществом ООП, шаблонов и безопасных абстракций в духе C++? Разбираем масштабное обновление отечественного компилятора AsmX. Под капотом — честные 30 тысяч строк хардкорной архитектуры: от прямого доступа к аппаратной SIB-адресации CPU и хитрых махинаций с регистрами при вызове знаковых movsx / imul / idiv , до разбора анатомии новой стандартной библиотеки ( std::optional и std::pair ), работающей по принципу Zero-Cost Abstractions. Узнайте, как мономорфизация AST-деревьев и System V ABI позволяют выжимать максимум из кремния без единого байта накладных расходов.
https://habr.com/ru/articles/1037472/
#compilers #innovations #asmx #asmxzgen_compiler #asmx_compiler #2026
-
AsmX с движком Raptor: Архитектура абсолютного контроля
Raptor Engine: Как 30 000 строк кода на TypeScript вдохнули жизнь в компилятор AsmX Можно ли объединить абсолютный контроль низкоуровневого ассемблера x86-64 с изяществом ООП, шаблонов и безопасных абстракций в духе C++? Разбираем масштабное обновление отечественного компилятора AsmX. Под капотом — честные 30 тысяч строк хардкорной архитектуры: от прямого доступа к аппаратной SIB-адресации CPU и хитрых махинаций с регистрами при вызове знаковых movsx / imul / idiv , до разбора анатомии новой стандартной библиотеки ( std::optional и std::pair ), работающей по принципу Zero-Cost Abstractions. Узнайте, как мономорфизация AST-деревьев и System V ABI позволяют выжимать максимум из кремния без единого байта накладных расходов.
https://habr.com/ru/articles/1037472/
#compilers #innovations #asmx #asmxzgen_compiler #asmx_compiler #2026
-
The #postgres VACUUM process has been meeting #Schrödinger's 1944 definition of life since 1996.
- self-maintained boundary ✓
- internal homeostasis ✓
- local entropy reduction ✓We have been living among the #undead this whole time.
(Also building a compiler that does this on purpose.)
-
The #postgres VACUUM process has been meeting #Schrödinger's 1944 definition of life since 1996.
- self-maintained boundary ✓
- internal homeostasis ✓
- local entropy reduction ✓We have been living among the #undead this whole time.
(Also building a compiler that does this on purpose.)
-
The #postgres VACUUM process has been meeting #Schrödinger's 1944 definition of life since 1996.
- self-maintained boundary ✓
- internal homeostasis ✓
- local entropy reduction ✓We have been living among the #undead this whole time.
(Also building a compiler that does this on purpose.)
-
The #postgres VACUUM process has been meeting #Schrödinger's 1944 definition of life since 1996.
- self-maintained boundary ✓
- internal homeostasis ✓
- local entropy reduction ✓We have been living among the #undead this whole time.
(Also building a compiler that does this on purpose.)
-
The #postgres VACUUM process has been meeting #Schrödinger's 1944 definition of life since 1996.
- self-maintained boundary ✓
- internal homeostasis ✓
- local entropy reduction ✓We have been living among the #undead this whole time.
(Also building a compiler that does this on purpose.)
-
A nice #story inspired by Ken Thompson’s “Reflections On Trusting Trust”:
“Coding Machines”, Lawrence Kesteloot (https://www.teamten.com/lawrence/writings/coding-machines/).
#Programming #Fiction #ScienceFiction #Virus #Compilers #SciFi #AI
-
A nice #story inspired by Ken Thompson’s “Reflections On Trusting Trust”:
“Coding Machines”, Lawrence Kesteloot (https://www.teamten.com/lawrence/writings/coding-machines/).
#Programming #Fiction #ScienceFiction #Virus #Compilers #SciFi #AI
-
A nice #story inspired by Ken Thompson’s “Reflections On Trusting Trust”:
“Coding Machines”, Lawrence Kesteloot (https://www.teamten.com/lawrence/writings/coding-machines/).
#Programming #Fiction #ScienceFiction #Virus #Compilers #SciFi #AI
-
A nice #story inspired by Ken Thompson’s “Reflections On Trusting Trust”:
“Coding Machines”, Lawrence Kesteloot (https://www.teamten.com/lawrence/writings/coding-machines/).
#Programming #Fiction #ScienceFiction #Virus #Compilers #SciFi #AI
-
A nice #story inspired by Ken Thompson’s “Reflections On Trusting Trust”:
“Coding Machines”, Lawrence Kesteloot (https://www.teamten.com/lawrence/writings/coding-machines/).
#Programming #Fiction #ScienceFiction #Virus #Compilers #SciFi #AI
-
int a = 5; a = a++ + ++a; a = ? (2011) https://lobste.rs/s/vbsonz #compilers
https://gynvael.coldwind.pl/?id=372 -
int a = 5; a = a++ + ++a; a = ? (2011) https://lobste.rs/s/vbsonz #compilers
https://gynvael.coldwind.pl/?id=372 -
int a = 5; a = a++ + ++a; a = ? (2011) https://lobste.rs/s/vbsonz #compilers
https://gynvael.coldwind.pl/?id=372 -
int a = 5; a = a++ + ++a; a = ? (2011) https://lobste.rs/s/vbsonz #compilers
https://gynvael.coldwind.pl/?id=372 -
int a = 5; a = a++ + ++a; a = ? (2011) https://lobste.rs/s/vbsonz #compilers
https://gynvael.coldwind.pl/?id=372 -
Deterministic Fully-Static Whole-Binary Translation without Heuristics via @fanf https://lobste.rs/s/djjacb #compilers
https://arxiv.org/abs/2605.08419 -
Deterministic Fully-Static Whole-Binary Translation without Heuristics via @fanf https://lobste.rs/s/djjacb #compilers
https://arxiv.org/abs/2605.08419 -
Deterministic Fully-Static Whole-Binary Translation without Heuristics via @fanf https://lobste.rs/s/djjacb #compilers
https://arxiv.org/abs/2605.08419 -
Deterministic Fully-Static Whole-Binary Translation without Heuristics via @fanf https://lobste.rs/s/djjacb #compilers
https://arxiv.org/abs/2605.08419 -
Deterministic Fully-Static Whole-Binary Translation without Heuristics via @fanf https://lobste.rs/s/djjacb #compilers
https://arxiv.org/abs/2605.08419 -
I tried implemented lambdas and closures for my language, it seemed alot complicated. As with the lisp fantasy I have, will probably try building a minimal parser with lambdas and closures supported.
#lisp #compilers #rust -
I tried implemented lambdas and closures for my language, it seemed alot complicated. As with the lisp fantasy I have, will probably try building a minimal parser with lambdas and closures supported.
#lisp #compilers #rust -
I tried implemented lambdas and closures for my language, it seemed alot complicated. As with the lisp fantasy I have, will probably try building a minimal parser with lambdas and closures supported.
#lisp #compilers #rust -
I tried implemented lambdas and closures for my language, it seemed alot complicated. As with the lisp fantasy I have, will probably try building a minimal parser with lambdas and closures supported.
#lisp #compilers #rust -
Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm https://lobste.rs/s/qwoixg #assembly #compilers #debugging #programming #wasm #web
https://modulovalue.github.io/dart-live/ -
Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm https://lobste.rs/s/qwoixg #assembly #compilers #debugging #programming #wasm #web
https://modulovalue.github.io/dart-live/ -
Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm https://lobste.rs/s/qwoixg #assembly #compilers #debugging #programming #wasm #web
https://modulovalue.github.io/dart-live/ -
Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm https://lobste.rs/s/qwoixg #assembly #compilers #debugging #programming #wasm #web
https://modulovalue.github.io/dart-live/ -
Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm https://lobste.rs/s/qwoixg #assembly #compilers #debugging #programming #wasm #web
https://modulovalue.github.io/dart-live/