181
New
The latest blog posts to take off on Hacker News. 433 posts.
182
Why I’m Frustrated with Go
A brief example demonstrating my current frustrations with the Go programming language.
183
184
Pascal at Apple
Lately I’ve been reading old computing papers, articles, journals, magazines, and memos and tweeting about them as I work my way through. The most recent exploration was of an Apple internal memo about the history of Apple’s involvement with Pascal. The memo is cursory, but it does provide an interesting snapshot of…
185
186
What is “Open Recursion”?
Someone on StackOverflow stumbled onto the strange term “open recursion” and asked what it meant . Since most of the other answers to this online are pretty opaque, I started writing an answer. But then I accidentally wrote a blog post.
187
Red Programming Language 0.6.3
This new Red release contains ~830 commits, closes 86 issues , and brings a large number of new features. The main one is official support...
188
189
A deep dive into Multicore OCaml garbage collector
I recently gave a talk on the internals of multicore OCaml GC at Jane Street offices in NYC. The slides from the talk are available online . But I felt that the slides alone aren’t particularly edifying. This post is basically the slides from the talk annotated with notes.
190
191
Toward Go 2
How we will all work together toward Go 2.
192
The language of choice
Propositional logic was discovered by Stoics around 300 B.C., only to be abandoned in later antiquity and rebuilt in the 19th century by George Boole’s successors. One of them, Charles Peirce, saw its significance for what we now call logic circuits, yet that discovery too was forgotten until the 1930s. In the ’50s…
193
The long arrow operator in C++
Dr Ivan Čukić -- author of the 'Functional Programming in C++' book, KDE developer and Free/Libre Software enthusiast.
194
195
196
JDK 9: Pitfalls for the Unwary
JDK 9 is in the final phases of development, heading towards release on September 21st. The public review consideration ballot for the Java Platform
197
How Rust is tested
Rust is a systems programming language with massive ambitions. It is designed for creating the most reliable software, from the tiniest embedded systems to multi-million line behemoths, and its users need to have confidence that it is fit for purpose.
198
199
Where Do Type Systems Come From?
Every time I want to quickly understand something about an advanced type system or programming language concept I get lost when I see something like this on Wikipedia:
200
The language of programming
Coding as a non-English speaker, or what Excel, Illustrator, and functional programming can teach us about names.
201
Learning Elixir: My side-project
I believe that to really learn a programming language, I have to get involved in a project. Getting an overview of the Elixir language was…
202
203
204
Undefined Behavior in 2017
Since you talk about the sanitizers and tools like Checked-C, I’ll note there’s also SaferCPlusPlus[1], which is essentially a memory-safe (and data race safe) subset of C++. The idea is that there are a finite number of C++ elements that contribute to memory unsafety, and since the advent of C++11, it is now…
205
206
Chris Lattner on the Realm WWDC 2017 Swift Panel
I typed up some quotes from Chris Lattner on a recent panel discussion about Swift.
207
208
Fantastic DSLs and where to find them
The article discusses how Kotlin can create internal languages and how developers can use this feature to write powerful domain-specific languages for manipulating untyped data structures in a typed manner.
209
210
TypeScript 2.4
Today we're excited to announce the release of TypeScript 2.4! If you haven't yet heard of TypeScript, it's a superset of JavaScript that brings static