AI killed the tech interview. Now what?

Did Semgrep Just Get a Lot More Interesting?

In Praise of "Normal" Engineers

Emerging Patterns in Building GenAI Products

I had my AI "oh f***" moment and I'm a student, now what?

You are using Cursor AI incorrectly

What do I mean by some software devs are "ngmi"?

The future belongs to idea guys who can just do things

Multi Boxing LLMs

An "oh fuck" moment in time

1MB ultra-dense combinator RAM in Factorio

Visual Studio Code is designed to fracture (2022)

Flourishcharts, our new interactive OSS data visualization for data scientists

Real-Time Mouse Pointers

Parallel Nix Evaluation

The Future of Space

Endpoint Vulnerability Management at Scale

Lethal Injection: How We Hacked Microsoft's Healthcare Chat Bot

So Long, Gitpod

Getting your Haskell executable statically linked with Nix

2024 Haskell Ecosystem Workshop

SQL – Order of Query Execution

Nix devenv 1.0: Rewrite in Rust

Sheng Liang's Acorn Labs Drops Its Runtime for GPTScript

Behind the draw – How Canva's drawing tool works

GitHub fixes pull request delay that derailed developers

GitHub pull-request contents out of sync by at least 5mins

Trust but test: Vendor security testing at Canva

Fonts are still a Helvetica of a Problem

DotSlash: Simplified Executable Deployment

Linear Lenses in Haskell

Genealogos takes outputs from Nix evaluation tools and produces SBoM files

Sqlol (CVE-2023-32422) – a macOS TCC bypass

Daytona Raises $2M in Pre-Seed

An Analysis of Signal's Pqxdh

Loom Is Joining Atlassian

How I Made a Heap Overflow in Curl

Curl 8.4.0

A Primer on Formal Verification and TLA+

Security Tradeoffs: Privacy

Introducing Magic Studio: the power of AI, all in one place

Type Theory: #33 Z3 and Lean, the Spiritual Journey

Codeanywhere Founders Take on GitHub Codespaces with Daytona

When URL parsers disagree (CVE-2023-38633)

AI knows what you did last summer

HashiCorp’s New Licensing: a new benchmark for presenting license change

How to Prevent GHC from Inferring Types with Undesirable Constraints

Technology stack transitions are hard

aussie vanlife free camping: a guide to working remote and not paying rent

Making OCaml 5 Succeed for Developers and Organisations

Five breakthroughs on the path to System Initiative

The Nix Flake Checker

NixCon 2023 – Darmstadt, Germany

Mostly Automated Proof Repair for Verified Libraries [pdf]

NixOS S3 Update and Short Term Resolution via AWS Sponsorship

Extensible Records in OCaml Using Dmap

Nix California Bay Area Meetup – June 23

DevPod Provider for Hetzner

Extensible Metatheory Mechanization via Family Polymorphism

Proving and Disproving Equivalence of Functional Programming Assignments

Building a platform that open sources itself

Covering All the Bases: Type-Based Verification of Test Input Generators

The Best Parts of Visual Studio Code Are Proprietary