4351
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.
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 5,634 posts.
4352
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).
4353
4354
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…
4355
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…
4356
Go 2016 Survey Results
What we learned from the December 2017 Go User Survey.
4357
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:
4358
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 ...
4359
4360
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 ...
4361
4362
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...
4363
4364
4365
4366
4367
4368
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.
4369
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…
4370
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.
4371
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
4372
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…
4373
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.
4374
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.
4375
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.
4376
Zig 0.12.0 Release Notes
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
4377
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…
4378
Kay on the Meaning of "Object-Oriented Programming"
Dr. Alan Kay explains when "object-oriented" was first used and what it means. []
4379
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.
4380