sueden.social ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Eine Community für alle, die sich dem Süden hingezogen fühlen. Wir können alles außer Hochdeutsch.

Serverstatistik:

1,8 Tsd.
aktive Profile

#compilers

3 Beiträge3 Beteiligte0 Beiträge heute

Two #blog posts in less than one week!

It was considered known that there is no support within GNAT (Ada) for illumos. We cross-build a complete native binutils+gcc toolchain for illumos to test out this claim.

...only to discover that illumos has full support within GNAT. Not a single test fails.

briancallahan.net/blog/2025081

briancallahan.netDespite thoughts to the contrary, GNAT (Ada) is in fact fully supported on illumos - Dr. Brian Robert Callahan
#Ada#illumos#GNAT

A new #blog post appears!

I discovered that the GNU D compiler has been broken on FreeBSD 14 for over a year and it seems no one noticed. Let's discover the issue and brainstorm some solutions to it.

A great case study for why operating system package maintainers matter.

briancallahan.net/blog/2025081

briancallahan.netThe GNU D compiler has been broken on FreeBSD 14 for over a year and no one noticed, or, why operating system package maintainers matter - Dr. Brian Robert Callahan
#dlang#dlanguage#freebsd

I'm starting a series of blog posts, in which I write a #bytecode #compiler and a #virtualMachine for arithmetic in #Haskell. We explore the following topics in the series:

- Parsing arithmetic expressions to ASTs.
- Compiling ASTs to bytecode.
- Interpreting ASTs.
- Efficiently executing bytecode in a VM.
- Disassembling bytecode and decompiling opcodes for debugging and testing.
- Unit testing and property-based testing for our compiler and VM.
- Benchmarking our code to see how the different passes perform.
- All the while keeping an eye on performance.

The first post of the series that focuses on writing the #parser is now out: abhinavsarkar.net/posts/arithm

abhinavsarkar.net · A Bytecode VM for Arithmetic: The Parser
Mehr von Abhinav 🌏

I'm facing a surprising programming situation.

I coded a new kind of optimization in the TXR Lisp compiler.

I can recompile the compiler and library, and repeat it around af fixed point. Nothing blows up.

The entire test suite passes in flying colors.

Yet, I can't get to a REPL prompt:

$ ./txr
This is the TXR Lisp interactive listener of TXR 302.
Quit with :quit or Ctrl-D on an empty line. Ctrl-X ? for cheatsheet.
./txr: unhandled exception of type type-error:
./txr: length-str: nil is not a string

That's what this stuff is like.

#Lisp#Programming#Compilers
Fortgeführter Thread

quote: "Compilers, when perfected, can be elegant to the point that you want to paste a printed listing on your wall, like artwork. Ok, so you have to be into writing compilers to get my meaning, but when your compiler works, you are very proud and want to show it off. "

Feeling this! Also, feeling an urge to start a #compilers are #mathematics collection of quotes.

now reading: Retrospective on High-Level Language Computer Architecture [Ditzel and Patterson 1980]: a summary of failed design approaches for

- reduction of the semantic gap between programming and machine languages
- reduction of software development costs
- aesthetics ("esoteric")
[High-level language computers] are aesthetically appealing to those not familiar with modern compiler writing technology. It is acknowledged that code generation may be simpler for a high-level language computer. What needs to be made more fully understood is that a high-level language instruction set does not eliminate the need for compilers, nor does it greatly simplify them. The need and complexity of compilers extends far beyond code generation. The amount of code necessary for preprocessing, lexical analysis, syntax analysis, assembly, optimization, loading, error detection, error recovery and diagnostics often dwarfs the part of the compiler concerned with code generation. The level of the target computer does not seem to have enough of an effect on the size of a compiler to warrant a totally new architecture.
ref: https://courses.cs.washington.edu/courses/cse548/05wi/files/Ditzel-Retrospective-on-HLL-Computer-Architecture.pdf

#compilers #computerarchitecture #forth #retrocomputing