Gleam language
Gleam is a friendly language for building type-safe systems that scale! The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax. Reliable and scalableRunning on the battle-tested Erlang virtual machine that powers planet-scale systems such as WhatsApp and Ericsson, Gleam
Rich Hickey's greatest hits
Rich Hickey, the creator of Clojure, is consistent in delivering fantastic, thought-provoking talks. I consider the following required viewing for most, if not all programmers. If you’re not particularly interested in Clojure, I’d suggest watching these videos in reverse order. “Are We There Yet?” is still a very general talk despite some deep dives into Clojure. The rest of the talks are mostly d
I quit my job to work on my programming language
I did it. On Wednesday, I will hand in my badge and gun, so to speak, and dedicate the rest of 2025 to shipping my programming language, jank. It's been a long time coming, and actually a gradual transition, but how did we get here? The start of jankTen years ago, to the month, I started tinkering with programming language design and compiler development. At that point, I was deep into C++ and my
Software Foundations
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad range of readers, fro
PHP is Legacy, in 2024
We travel in our jobs a lot at Vonage. I speak to plenty of developers from all walks of life, and I can confidently say one of the most asked questions I get is: Why do you still do PHP? Variations of this question can be "Isn't PHP supposed to be bad?" On several occasions, the person I was speaking to had done some PHP back in 2012. Or 2010. I forget. For reasons I do not understand, we're goin
Programming Languages That Blew My Mind
I’ve been a programmer since the age of 8, and some kind of developer for most of my life. Throughout my life as a coder, both hobbyist and professional, I’ve learnt plenty of programming languages that felt like cookie-cutter clones of each other, but also a few programming languages that changed the way I looked at programming, sometimes even at thinking. Ranking by order in which I discovered t
Weird Lexical Syntax
I just learned 42 programming languages this month to build a new syntax highlighter for llamafile. I feel like I'm up to my eyeballs in programming languages right now. Now that it's halloween, I thought I'd share some of the spookiest most surprising syntax I've seen. The languages I decided to support are Ada, Assembly, BASIC, C, C#, C++, COBOL, CSS, D, FORTH, FORTRAN, Go, Haskell, HTML, Java,
Programming Language and Theorem Prover — Lean
Programming Language and Theorem Prover
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
