151
New
The latest blog posts to take off on Hacker News. 427 posts.
152
New case studies about Google’s use of Go
Go turned out to have a much broader reach than expected. Its growth in the industry has been phenomenal, and it has powered many Google projects.
153
154
Motoko, a programming language for building directly on the internet
To offer a seamless developer experience, we wanted to create a specialized programming language, called Motoko, that is designed to directly support the programming model of the Internet Computer, making it easier to efficiently build applications and take advantage of some of the more unusual features of this…
155
Bare Metal Rust Generics
Writing two flash drivers starting from an abstraction.
156
F (2006)
F is a pure functional concatenative language originally designed as an extension of False . F contains the list-operations of K3 and the dip combinator of Joy . Floating-point and symbolic datatypes are supported. One-time assignment is enforced in syntax. A theory of function-valence and -charge is outlined. F also…
157
Parsing S-expressions in C (2019)
Over the past couple weeks I've been trying to work out how I want to store my game configuration. At first I started playing with XML, which was nice because I could stream a file rather than loading the entire thing into memory but I turned away from XML because …
158
TypeScript 4.0
Today we are thrilled to announce the availability of TypeScript 4.0! This version of the language represents our next generation of TypeScript releases,
159
Porting a Golang and Rust CLI tool to D
Programming, retrogaming, hacking and computer stuff.
160
Erlang: The New Scalable ETS Ordered_set
The official home of the Erlang Programming Language
161
162
Haskell Mini-Patterns Handbook
Collection of small Haskell patterns with detailed description, examples and exercises
163
Kotlin 1.4
Today we’re releasing Kotlin 1.4.0! Over the past years, we’ve been working hard on making Kotlin a programming language that is fun, enjoyable, and productive to work with. To continue our pursuit of this goal with this version of Kotlin, we put a lot of energy and effort into improving the performance and quality of…
164
Idris 2 version 0.2.1
A new version (0.2.1) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page .
165
The BEAM Has Spoiled Me
I’ve noticed changes in how I prefer to develop software since I’ve been focusing my career on Elixir. It allows me to think bigger thoughts and to develop with lower friction and less fear. I don’t want to go back.
166
Types as axioms, or: playing god with static types
A common perspective is that types are restrictions . Static types restrict the set of values a variable may contain, capturing some subset of the space of “all possible values.” Under this worldview, a typechecker is sort of like an oracle, predicting which values will end up where when the program runs and making…
167
J Notation as a Tool of Thought
Kenneth Iverson’s 1964 language, APL, won him the Turing Award. His award lecture, Notation as a Tool of Thought, argued that better notations would lead people to deeper insights about mathematics. He provided a number of examples ranging across linear algebra, arithmetic, probability, and logic. Unfortunately, most…
168
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.
169
170
171
QEMU should move from C to Rust
Welcome Redditors and HackerNews folks! This post is getting attention outside the QEMU community, so I'd like to highlight two things that...
172
BuckleScript Is Rebranding
BANDARBOLA855 merupakan kolaborasi BAND ONEON sebagai bandar slot dan agen bola 2026 dengan akses link slot gacor favorit, pilihan slot gacor terbaik, SBOBET, serta mix parlay dalam satu platform.
173
174
C will never stop you from making mistakes
Short answer: because we said so.
175
176
JuliaCon2020: Julia Is Production Ready
Introduction
177
First Impressions of Rust
I've been wanting to write a big project in Rust for a while as a learning exercise, and actually started one in late 2018 (a FUSE server implementation). But then life happened and I got busy and never went anywhere with it. Due to certain world circumstances I'm currently spending a lot of time indoors so rust-fuse…
178
How to speed up the Rust compiler some more in 2020
I last wrote in April about my work on speeding up the Rust compiler. Time for another update.
179
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:
180
A gentle intro to assembly with Rust
One of the things I’ve wanted to do for a while is really dig into assembly and get into the weeds of how programs actually run. A rework of the asm macro has recently landed in nightly rust so it seemed like a good time.