Job ad 🧵 2/2
Quantinuum are looking for software engineer to help design and implement quantum programming languages. You need to have OPINIONS about types. Full-time, permanent, based in Cambridge in England.
#jobad #quantum #quantumcomputing #pl #proglang #guppylang #types

https://jobs.eu.lever.co/quantinuum/6acbcf43-a765-4f1c-a063-6849a72e612b

Quantinuum - Research Software Engineer - Quantum Software

Quantinuum are seeking a Research Software Engineer to join our growing Quantum Software team in Cambridge, UK. In this role, you will help shape the design and implementation of the Guppy quantum programming language and contribute to the next generation of the TKET quantum compiler. This is a unique opportunity to work at the intersection of software development, compiler design, and quantum computing research. You will collaborate closely with a small, dynamic team throughout the full development lifecycle — from research and design to programming and testing — with the freedom to think independently and make a real impact.

I might have found yet another (better? At least on paper) memory layout for storing #ArkScript scopes and locals

Currently I create a vector<pair<id, value>> for each scope. Quite costly in terms of copies and all

What if I had a
array<pair<id, value>, N>
And my scopes were just views:
view(start, length, min id, max id)

Since only the last scope can grow… it could work. Min and max id are there for a basic bloom filter. I just have to solve the problem for closures that have their own scope that must be kept alive, but by pushing references (value holding a ptr to value) this could be solved easily

Also because of closures, scopes are shared ptr to Scope (the class holding the vec of pair) currently. Quite costly to construct…

I will go back to my old scopes/locals management code and I think I will write an article about how it evolved, and the various performance boosts it yielded

#pldev #proglang

⬆️ 👀 @neauoire @raph This page has even big PS code chunks in it! 🍪 Not using Cornu spirals, but cool to see PS in the wild.

#stack #RPN #ProgLang #Postscript #computer_graphics #FontDesign

A survey of systems programming languages from Ada to Zig, each evaluated according to technical criteria such as performance and safety and a few unusual ones like joy and dread.

https://wiki.alopex.li/SurveyOfSystemLanguages2024

#ProgLang

Wiki - SurveyOfSystemLanguages2024

Thirty years ago today, on Dec 8, 1994, X3J13 approved ANSI Common Lisp. Forty years ago, in 1984, Digital Press published the first edition of the book Common LISP: The Language by G.L. Steele, aka CLtL1.

#CommonLisp #lisp #proglang

Tim Coates on why Pascal is still worth learning:

"For new programmers, Pascal is a structured, disciplined language that teaches you how to think about coding without a lot of distracting complexities."

https://timcoatesinsights.wordpress.com/2024/10/31/why-pascal-deserves-a-second-look/

#pscal #ProgLang

Why Pascal Deserves a Second Look

For some reason that’s probably irrational to most people, I have a deep-seated passion for Pascal. It’s the language I keep coming back to, the one I’ve invested time in, and the one I’ve bu…

TIM COATES

Sussman and Steele published more Lambda papers than I was aware of. These handy references lists and links to all of them.

https://www.pls-lab.org/en/Lambda_papers_(Scheme)

#scheme #lisp #ProgLang

Lambda Papers (Scheme)

PLS Lab

Nicole @nicole encourages to design and implement a programming language as a learning experience.

https://ntietz.com/blog/you-should-make-a-new-terrible-programming-language/

#ProgLang #compilers

You should make a new programming language | nicole@web

hear me out: a #searchengine that understands what you mean (or at least is coachable).

if I look for "heap state program verification" I certainly don't mean the Ohio Home Energy Assistance Program

#ProgramVerification #plt #proglang

A list of compiler optimizations with descriptions and code snippets.

The entries are concise, clear, and with short, easy to understand snippets. A great example of algorithm documentation.

https://compileroptimizations.com/index.html

#compilers #ProgLang

Compiler Optimizations