4351
Combinatris: Tetris with SKI Combinators
Combinatris
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,636 posts.
4352
Craig Federighi talks to John Gruber about Swift
Craig Federighi: I always end up seeking back to figure out what part I missed where the podcast started, and then I realize it just starts.
4353
A catalog of side effects
Optimizing compilers like to keep track of each IR instruction’s effects. An instruction’s effects vary wildly from having no effects at all, to writing a specific variable, to completely unknown (writing all state).
4354
4355
The Reasoned Lisper
Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning. Functional Programming is often ad…
4356
I can't believe I'm praising Tcl (2008)
So the other day I both defined Tcl procedures all by myself and used them interactively, and I liked it, to the point where it felt like some kind of local optimum. This entry is an attempt to cope with the trauma of liking Tcl, by means of rationalizing it. I'll first tell the story of my fascinating adventures, and…
4357
Go 2016 Survey Results
What we learned from the December 2017 Go User Survey.
4358
Syntax changes from C++11 to C++20
Let’s start the week with Lambda Expressions. The plan is to have a set of concise articles presenting core elements of lambda expressions. Today you can see how the syntax has evolved starting since C++11 and what are the latest changes in C++20. The Series This blog post is a part of the series on lambdas:
4359
Dart in 2016: Fastest growing language at Google, 2nd fastest in TIOBE
Dart was the fastest growing programming language at Google in 2016 with millions of lines of code written. It also made it to TIOBE Index ...
4360
4361
Pointers Are Complicated, or What’s in a Byte?
This summer, I am again working on Rust full-time, and again I will work (amongst other things) on a “memory model” for Rust/MIR. However, before I can talk about the ideas I have for this ...
4362
4363
Rust for C++ programmers – part 4: unique pointers
Rust is a systems language and therefore must give you raw access to memory. It does this (as in C++) via pointers. Pointers are one area w...
4364
4365
4366
4367
4368
4369
Reasons why Fortran is still used (2021)
Fortran is a language that is specialized for high-performance computing. Believe it or not, it's still alive and evolving.
4370
Undefined Behavior != Unsafe Programming
Are you arguing that undefined behaviour should not be a thing in, e.g., C? It sounds like you’re claiming that the fabled sufficiently smart compiler could take code in a C-like language with no UB, and emit something equivalent to what a C compiler would produce given equivalent input in C that correctly avoids UB…
4371
Wild claims about K performance
Sometimes I see unsourced, unclear, vaguely mystical claims about K being the fastest array language. It happens often enough that I'd like to write a long-form rebuttal to these, and a demand that the people who make these do more to justify them.
4372
How to train your brain to flip to a new language
When you start learning a new language, common wisdom suggests that you have two possible goals, One is passing an exam,the other is the dreaded word, fluency
4373
Arc and Mutex in Rust
When writing concurrent Rust you will encounter Arc and Mutex types sooner or later. And although Mutex might already sound familiar as it's a concept known in many languages, chances are you haven't heard about Arc before Rust. What's more, you can't fully understand these concepts without tying them to the ownership…
4374
Implementing a Type-safe printf in Rust
I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf arguments.
4375
Comparing Python Type Checkers: Typing Spec Conformance
Learn what it means to conform to the Python typing spec, why it matters, and the conformance status of each type checker including Pyrefly, Ty, Pyright and Mypy.
4376
The Temporal Dead Zone, or why the TypeScript codebase is full of var statements
Blog of Vincent Rolfs. Vincent is a freelance Software Engineer and IT-Consultant. He has more than ten years experience in developing complex applications on the web.
4377
Zig 0.12.0 Release Notes
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
4378
How Difficult is it to Write a Compiler?
Recently I was discussing Converge with someone, and mentioned how little time the core compiler had taken to implement (no compile-time meta-programming, limited error checking, but a functioning compiler nonetheless) - only a few days. The chap I was talking to looked at me and told me that he didn’t believe me. I…
4379
Kay on the Meaning of "Object-Oriented Programming"
Dr. Alan Kay explains when "object-oriented" was first used and what it means. []
4380
A tiny self-remaking C program
In my last post I floated the idea of writing a slow, edit-prone shell script instead as a self-rebuilding C program.