Official website of the Lua language
Lua can be a really cool HTML templating engine
It’s a pretty cool language. It is also one of my favourite programming languages, for which I made a case in a past blog post.
The Green Side of the Lua
The United Nations' 2030 Agenda for Sustainable Development highlights the importance of energy-efficient software to reduce the global carbon footprint. Programming languages and execution models...
Terra
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language:
Programming Language Foundations in Agda – Table of Contents
This book is an introduction to programming language theory using the proof assistant Agda.
nyigoro/lumina-lang
Most languages make you choose: safety or the web. Lumina doesn't. Lumina is a statically typed, web-native language with HM type inference, algebraic types, and trait-based polymorphism, compiled to JavaScript and WebAssembly. Build reactive UIs, WebGPU workloads, and WASM modules in the same language, with the same type system.
Devlog ⚡ Zig Programming Language
This page contains a curated list of recent changes to main branch Zig.
Learn C • Build Your Own Lisp
If you're looking to learn C, or you've ever wondered how to build your own programming language, this is the book for you.
The Topos of Programming | Yon
A topos-oriented programming language. Native via MLIR and LLVM, with a content-addressed heap on the Leech lattice.
The Next 7000 Programming Languages
Landin’s seminal paper “The next 700 programming languages” considered programming languages prior to 1966 and speculated on the next 700. Half-a-century on, we cast programming languages in a Darwinian ‘tree of life’ and explore languages, their features (genes) and language evolution from the viewpoint of ‘survival of the fittest’.
Boomerang | Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy - i.e., every program can be read as a function mapping sources to views as well ...
A break from programming languages
This is a blog post I have been considering writing for a long time.
Introducing Lumo 1.1 for faster, advanced reasoning | Proton
Lumo 1.1 is a faster, smarter AI assistant that matches Big Tech’s capabilities while protecting your privacy with zero-access encryption.
Resugaring | Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
Syntactic sugar plays a crucial role in engineering programming languages. It offers convenient syntax and higher-level of abstractions, as witnessed by its pervasive use in both general-purpose and domain-specific contexts. Unfortunately, the ...
Luminal - Search-Based Deep Learning Compilers - Joe Fioti
Seeing @flo-bit.dev launch a Luma importer got me wondering if anyone has contacts at Luma directly, seeing they have been one of the most popular new event platforms and they also seem to have started from the crypto crowd what's stopping them from becoming atmosphere native?
