4 ms·
The LLVM Compiler Infrastructure
- visha1v 4mo agoLLVM here refers to the LLVM Compiler Infrastructure, an open source software system created to simplify the design and implementation of compilers and a wide range of compiler-based tools.
- MeetingsBrowser 4mo agoAs opposed to what?
- kelseyfrog 4mo agoIt's also fairly accessible to LLMs. I was surprised at how quickly a self-hosting compiler could be brought up using the LLVM ecosystem.
- arikrahman 4mo agoThat's what I've been doing with a custom jank implementation, taking advantage of the LLVM changes contributed upstream to LLVM 22.
- norir 4mo agoThis infrastructure is also slow and leads to poor compilation times for any language that uses llvm as a backend. In an era of automatic code generation, this will become more and more of a problem as llvm compilation times will become a huge bottleneck. I am very bearish on llvm as a technology and while I will acknowledge its influence, I expect that it is at or near its peak and market share will decline dramatically over the next five to ten years.
- simondotau 4mo agoIt makes perfect sense to ditch LLVM in development contexts, as its slowness is antithetical to developer productivity — most obviously in tight edit-compile-test loops. And this becomes orders of magnitude more salient when the edit-compile-test loop is being driven by AI. But even when languages are described as "moving away" that usually means building their own very fast-compiling/min-optimising x64/ARM backend for development builds, while still acknowledging the need for LLVM for highly optimised release builds.
- Archit3ch 4mo agoFor developer productivity, you can move to a REPL workflow with edit-compile-test at the function level. Julia does this while staying on LLVM. Of course, compile-the-world is still going to be slow, but there is no solution for that in the C++/Rust ecosystems either.
- mathisfun123 4mo ago> In an era of automatic code generation lol what does this even mean
- altmanaltman 4mo agoit means that was an AI-generated comment to an article which was also AI-generated. The other comment replying to this comment is also AI-written. The internet is not dead, its just fake
- deleted 4mo ago[deleted]
- flohofwoe 4mo agoWhere are the fast alternatives though that do the same level of optimizations? LLVM might not be the fastest, but when you get to the point that build times become a problem, your code base is too big (or your frontend is doing silly things). Maybe ask your 'automatic code generation' to generate less code bloat ;)
- pjmlp 4mo agoWhile LLVM is undoubtedly a great project for compiler research, lets not forget those that predated it with similar ideas like the Amsterdam Compiler Toolkit, or IBM's PL.8 compiler for the RISC project.
- tristenharr 4mo agoI’ve been shocked by how much LLVM leaves on the table while designing Logos language! Some very exciting benchmarks coming soon that we’ve been working on for over 6 months, but LLVM misses a LOT of potential optimizations when you have a strong type system!
- piinbinary 4mo agoIs there a URL for that language? It is unfortunately a bit un-googleable!
- santaboom 4mo agofound this: https://logicaffeine.com/guide https://logicaffeine.com/guide
- tristenharr 4mo agoYes that's the language, the v0.10.0 benchmarks are coming very soon and with it some major updates. We've added supercompilation and symmetry breaking to the optimizer pipeline. Sneak peeks available on a branch currently named stream1. https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1 https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1