3601
GC and Rust Part 1: Specifying the Problem
This is the first in a series of posts will discuss why garbage collection is hard, especially for Rust, and brainstorm about solutions to the …
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,636 posts.
3602
A Tour of Hell – Shell scripting Haskell dialect
This set of slides sketches out the implementation of Hell , in technical detail. I do tend to switch between the slides, old code, and the present code, so bear with me. It's more about the ideas. If you want to see a complete implementation, the complete implementation of Hell is one file , which you can look…
3603
Bel in Clojure (2022)
9 months ago, I took a gander at PG’s guide to Bel . If you haven’t read it, here’s the premise:
3604
Damas-Hindley-Milner inference two ways
What is Damas-Hindley-Milner?
3605
3606
The Glasgow Haskell Compiler and LLVM
If you read the LLVM 2.7 release notes carefully you would have noticed that one of the new external users is the Glasgow Haskell Compiler (GHC). As the author of the LLVM backend for GHC, I have been invited to write a post detailing the design of the backend and my experiences with using LLVM.
3607
Perfectly Reproducible, Verified Go Toolchains
Go 1.21 is the first perfectly reproducible Go toolchain.
3608
Array languages vs. the curse of the spreadsheet
It has been said that the most popular programming language in the world is the spreadsheet (and in particular these days, Excel). There...
3609
Rust data structures with circular references
To implement its safety guarantees, the Rust compiler keeps careful track of ownership and references throughout a program. This makes writing certain kinds of data structures challenging; in particular, data structures that have circular references.
3610
Is Zig's new writer unsafe?
Karl Seguin's Blog - A mix of coding and creative writing
3611
Modern C++ for C Programmers (2018)
Welcome to part 1 of Modern C++ for C Programmers, please see the introduction for the goals and context of this series. In this part we start with C++ features that you can use to spice up your code ’line by line’, without immediately having to use all 1400 pages of ‘The C++ Programming Language’. Various code…
3612
Rust is for Professionals
A professional programmer delivers value through the authoring and maintaining of software that solves problems. (There are other important ways for professional programmers to deliver value but this post is about programming.)
3613
Why Static Languages Suffer from Complexity (2022)
People in the programming language design community strive to make their languages more expressive, with a strong type system, mainly to increase ergonomics by avoiding code duplication in final software; however, the more expressive their languages become, the more abruptly duplication penetrates the language itself.
3614
Errors are values
Idioms and patterns for handling errors in Go.
3615
Brendan Eich on Ecma TC39, JavaScript.next, and Google Dash
I spoke at TXJS , a really excellent regional JS conference, in June. Thanks to @SlexAxton , rmurphey , and everyone else involved. My talk was concerned with the good, bad, and ugly of Ecma TC39 (and I mean those words in the best possible way!), mixing philosophy with historical events from the last 14 years.
3616
3617
Clojure – Fascinated, Disappointed, Astonished (2016)
I’ve had a pleasure to work with Piotrek Jagielski for about two weeks on Clojure project. I’ve learned a lot, but there is still a lot to know about Clojure for me. In this post I’ll write what fasci
3618
3619
3620
From Java code to Java heap (2012)
The Java programming language is a high-level, object-oriented language. It is rapidly evolving across several fronts to simplify and accelerate development of modern applications.
3621
Understanding contravariance
The concept of contravariance, contravariant functors, and the Contravariant typeclass defined in the ‘contravariance’ Haskell library.
3622
Python List Comprehensions Explained Visually
Sometimes a programming design pattern becomes common enough to warrant its own special syntax. Python’s list comprehensions are a prime example...
3623
Porting Graphing Calculator from C++ to Swift
Developer Spotlight is a series highlighting interesting Swift developers from around the world. This post is authored by Ron Avitzur, author of the Pacific Tech Graphing Calculator.
3624
Expanding Swift's IDE Support
You can now write Swift in a broader range of popular IDEs, including Cursor, VSCodium, AWS’s Kiro, and Google’s Antigravity. By leveraging VS Code extension compatibility, these editors tap directly into the Open VSX Registry, where the official Swift extension is now live.
3625
INTERCAL: Practically impossible
A very good friend of mine has been experimenting with trying to coax Chat-GPT4 to successfully do basic coding tasks. So have a lot of people these days, of course. In an idle moment, though, my friend submitted the following query:
3626
3627
Racket for E-Commerce
I had originally shared a version of this post with a small, private mailing list, but then I figured there'd be no harm in sharing it with a larger audience so here it is.
3628
LLVM's Clang Successfully Self-Hosts
Today, Clang completed its first complete self-host! We built all of LLVM and Clang with Clang (over 550k lines of C++ code). The resulting binaries passed all of Clang and LLVM's regression test suites, and the Clang-built Clang could then build all of LLVM and Clang again.
3629
Clojure as a dependency
I have a shameful confession to make: I have long neglected an open-source library that I maintain, clj-tagsoup .
3630
Good Practices for Writing Rust Libraries
For a bit more than a year now, I've been interested in Rust , a programming language by Mozilla research that “runs blazingly fast, prevents nearly all segfaults, and guarantees thread safety.” It is as low-level as C or C++, has a nice type system (with generics and traits), a helpful compiler, and a…