Peer Programming with LLMs, for Senior+ Engineers
This article contains a collection of resources for senior (or staff+) engineers exploring the use of LLM for collaborative programming.
This article contains a collection of resources for senior (or staff+) engineers exploring the use of LLM for collaborative programming.
Developing a Boids program from scratch without restarting it.
The state of CI platforms is much stronger than it was just a few years ago. Overall, this is a good thing: access to powerful CI platforms enables software developers and companies to ship more reliable software more frequently, which benefits its users/customers. Centralized CI platforms like GitHub Actions, GitLab…
use pre-push hooks instead
This post is about writing technical documentation. More specifically: it's about writing documentation for programming languages and libraries.
Ever had this weird gut feeling that something is off in your code, but couldn’t put the finger on why? Are you starting your projects with the best intentions, following all best practices, and still feel like your architecture turns weird eventually?
Earlier this week, I did the keynote at TLA+ conf 2024 ( watch the video or check out the slides ). My message in the keynote was something I have believed to be true for a long time: formal methods are an important part of good software engineering practice. If you’re a software engineer, especially one working on…
An indie project for early 2010s internet addicts
Execute sandboxed Lua code on the BEAM VM using Luerl
Holy fucking shit did this suck 1 . There is a comments section below. Give your eulogy for that piece of shit sorcerous incantation there or wherever else.
As is true for everything, a lot of things need to happen for anything to happen, and so it’s true for this blogpost as well. Out of all of these everything that needed to happen, 3 are these:
Breed unique melodies with genetic algorithms! Explore Conway's musical life and cultural evolution patterns. Interactive AI music lab
In May of 2023 an internal refactoring PR from the Svelte repo made it to the front page of the Hacker News forums. The (superficially) controversial PR seem...
Recently, I made a free game . It's a little mystery investigation game which I was inspired to write after enjoying games like Case of the Golden Idol , Roottrees are Dead , and Return of the Obra Dinn . I thought my UX ideas were pretty simple, so I decided to implement it in HTML5 .
Programmers love to discuss programming languages. We not only debate their technical merits and aesthetic qualities, but they become integrated into our personal identities, along with the values and traits that we associate with them. Some even defend a form of Linguistic Determinism that thinking is confined to…
Jonathan Arns's personal blog
mildbyte.xyz
A practical guide to working with AI coding agents without the hype.
As Donald Knuth has just published Volume 4, Fascicle 7 of The Art of Computer Programming (TAOCP), on constraint satisfaction, I would like to provide…
Oberon, the jewel by Niklaus Wirth and Jürg Gutknecht: Operating System, Compiler and Computer.
Karl Seguin's Blog - A mix of coding and creative writing
This small ebook is here to teach you a programming language called Forth. Forth is a language unlike most others. It’s not functional or object oriented, it doesn’t have type-checking, and it basically has zero syntax. It was written in the 70s, but is still used today for certain applications .
The adoption of Parquet version 2 is limited due to the lack of support in the ecosystem, which affects its evolution despite its improvements in compression and performance.
Class website here: https://kmicinski.com/cis531-f25
A collection of posts by Joe Magerramov
Lisp is the language of loveliness. With it a great programmer can make a beautiful, operating thing, a thing organically created and formed through the interaction of a programmer/artist and a medium of expression that happens to execute on a computer.