901
What is type safety?
Type safety is the property of a programming language, ensuring its programs are well defined and creating a foundation for reasoning.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 1,013 posts.
902
Editing binaries: easier than it sounds
Editing binaries is a trick that comes in handy a few times a year. You don't often need to, but when you do, there's no alternative. When I mention patching binaries, I get one of two reactions: complete shock or no reaction at all. As far as I can tell, this is because most people have one of these two models of the…
903
Introducing Transport Layer Security in pure OCaml
This domain name has been registered with Gandi.net. It is currently parked by the owner.
904
905
Porting 600k Map Views to OpenStreetMap/MapBox
This past week, we here at DoubleMap made a big change that users probably won’t notice. Instead of Google Maps, all of our public maps are …
906
907
How Stacks Are Handled in Go
At CloudFlare, We use Go for a variety of services and applications. In this blog post, We're going to take a deep dive into some of the technical intricacies of Go.
908
909
Dolphin – The Rise of HLE Audio
Like any artistic medium, games are emotional experiences filled with joy, sadness, frustration, and more. Special moments can bring tears, cause shouting, or even screams. But imagine during one of those emotional highs if the audio simply died, and the game continued onward in a deafening silence before eventually…
910
Xerox Alto Source Code
Depending on your age, your first computer might have been an Apple II, a Radio Shack TRS-80, an IBM PC, an Apple Macintosh, or another of the early personal computers. If you missed these early machines the first time around, perhaps you have seen them in the Personal Computer section of the Revolution exhibit at the…
911
Generational Garbage Collection in Firefox
Generational garbage collection (GGC) has now been enabled in the SpiderMonkey JavaScript engine in Firefox 32. GGC is a performance optimization only, and should have no observable effects on script ...
912
913
Planjure: A* and Dijkstra's in Om
I wrote Planjure to learn ClojureScript and Om. It’s a fun little program. You paint islands on a canvas and run path-planning algorithms to find the optimal path for your ship to traverse from start to finish. Sailing across blue ocean is faster than hiking through green islands. The three algorithms implemented are…
914
Why I Left the .NET Framework
The .NET Framework was good. Really good. Until it wasn’t. Why did I leave .NET? In short, it constrained our ability to choose (which is a huge deal for
915
Let the Type System do the Work
How to use your language's most-overlooked feature to its utmost.
916
C++11 FQA anyone?
isocpp.org announced "the C++ FAQ" to which reportedly Bjarne Stroustrup and Marshall Cline will link to help boost its search rank. Good stuff; also, given that the language is >30 years old – it's about time.
917
918
919
Microservices - 72 resources
Microservices - everyone talks about them nowadays. There’s no common understanding however what they are. I’ve been researching this topic for a while, gathering and evaluating articles, presentations and conference videos.
920
Announcing the C++ FAQ
In addition to CppCon announced earlier this week , today the Standard C++ Foundation is pleased to announce a new unified C++ FAQ . The following introduction was written by Herb Sutter.
921
922
Writing OOP using OOP
As many people have pointed out, if you turn your head sideways and squint, the following JavaScript can be considered a “class:”
923
New partition function record: p(10^20) computed
The partition function p ( n ) counts the number of partitions of n , i.e. the number of ways n can be written as a sum of positive integers when disregarding the order of the terms. For example, 4 has the five distinct partitions 4, 3+1, 2+2, 2+1+1, 1+1+1+1, so p (4) = 5. This week, I set a new record by computing…
924
925
Devcards – Taking Interactivity to the Next Level
Devcards is a ClojureScript library that helps developers interactively lift code examples out of their source files into an organized set of cards in the browser.
926
An upgrade to attoparsec, Haskell parsing library: more speed, more power
I’m pleased to introduce the third generation of my attoparsec parsing library. With a major change to its internals, it is both faster and more powerful than previous versions, while remaining backwards compatible. Comparing to C Let’s start with a speed comparison between the hand-written C code that powers…
927
Kotlin M7
Kotlin M7 is here and with it some long awaited features. Compiler and Language Changes Inline support One of the biggest features of M7 is support for inline functions. Kotlin encourages the use o
928
929
A farewell note to a programming language
Do you remember how we first met, back in 2012? I thought your functional approach was fresh, and different. For a while I believed we were made for each other. A first project was a success; on my own I was comfortable with the good parts of you. But as soon as I started working in teams writing Scala, your immense…
930
Perceptual Image Hashing
Joe Bertolami's portfolio and blog covering artificial intelligence, game development, computer graphics, data compression, and more.