7771
New
The latest blog posts to take off on Hacker News. 14,543 posts.
7772
7773
7774
Anatomy of a High-Performance Convolution
It's no surprise that modern deep-learning libraries have production-level, highly-optimized implementations of most operations. But just what is the black magic that these libraries use that we mere mortals don't? What exactly does one do to "optimize" or accelerate neural networks operations?
7775
7776
Beginner's Guide to Linkers (2010)
This article is intended to help C & C++ programmers understand the essentials of what the linker does. I've explained this to a number of colleagues over the years, so I decided it was time to write it down so that it's more widely available (and so that I don't have to explain it again). [Updated March 2009 to…
7777
7778
Understanding SAT by Implementing a Simple SAT Solver in Python (2014)
SAT is often described as the "mother of all NP-complete problems." This post goes over what SAT is and why it is considered to be so important. A simple SAT solver is implemented using Python in the process.
7779
7780
Write Fuzzable Code
“An obvious way to deal with embedded interpreters — which someone must have thought of and tried, but I don’t have any pointers — would be to have an API for teaching the fuzzer how to see coverage of the language being interpreted.”
7781
Learning SIMD with Rust by Finding Planets (2018)
How to get the most of Rust while keeping your code portable
7782
Xfce 4.14 released
Why is the release manager late to the party with his blog post? The explanation is simple: We prioritized sticking to the schedule and getting our releases out to everyone as planned, as our codebase was ready. What was not (entirely) ready was some parts of the website, which were brought up-to-date over the course…
7783
Do-It-Yourself OpenJDK Garbage Collector
Aleksey Shipilёv, JVM/Performance Geek, Shout out at Twitter: @shipilev Questions, comments, suggestions: aleksey@shipilev.net
7784
Fast Tensors in Clojure – A Sneak Peek
There's a lot going on behind the scenes, since I am not only writing the books; at the same time I have to create the software to write about. For example, ...
7785
Clever Functional Design
An entry on some of the cleverest (and clearest) functional designs I've worked on, and how it came to be
7786
Things I Learnt from a Senior Software Engineer
I sat next to a senior software engineer for a year. Here’s what I learnt.
7787
Write your own Excel in F# (2018)
Use Fable, Elmish architecture, parser combinators and the magic of functional-first programming with F# to build a simple browser-based spreadsheet application! I have been teaching F# for 7 years now and while the libraries and examples change, the core ideas remain the same. In this blog post, I'll cover my latest…
7788
The Path to Dijkstra’s Handwriting (2013)
How I used Edsger W. Dijkstra's handwriting as a model to improve mine.
7789
Static Type Checking in Common Lisp
There is a misconception that Lisp is a dynamically typed language and doesn’t offer compile-time type checking. Lisp being the…
7790
A Codebase Is an Organism (2014)
Here's what no one tells you when you graduate with a degree in computer science and take up a job in software engineering:
7791
Learning to prove theorems via interacting with proof assistants
Learning to prove theorems via interacting with proof assistants Yang & Deng, ICML’19 Something a little different to end the week: deep learning meets theorem proving! It’s been a while …
7792
Software Architecture Guide
Software Architecture is the important aspects of a software system's internal design, usually its major components and aspects that are hard to change.
7793
Introducing nushell
BONANZA138 menghadirkan link alternatif portal game terbaru dan terpercaya. Dapatkan rute bonanza138 login anti-blokir, proteksi TLS modern dan pelayanan setiap hari.
7794
Transformers from Scratch
Repository for personal website
7795
Why Clojure?
I’ve programmed systems in many different languages; from assembler to Java. I’ve written programs in binary machine language. I’ve written applications in Fortran, COBOL, PL/1, C, Pascal, C++, Java, Lua, Smalltalk, Logo, and dozens of other languages. I’ve used statically typed languages, with lots of type inference…
7796
Some Obscure C Features
Pancakes and computers
7797
Using TypeScript with React
This post is based on a talk I gave at the React JS & React Native Bonn Meetup.It aims to answer the following questions: What’s TypeScript? How can I ...
7798
Thoughts on Rust bloat
I’m about to accept a PR that will increase druid’s compile time about 3x and its executable size almost 2x. In this case, I think the tradeoff is worth it (without localization, a GUI toolkit is strictly a toy), but the bloat makes me unhappy and I think there is room for improvement in the Rust ecosystem.
7799
Why Const Doesn't Make C Code Faster
In a post a few months back I said it’s a popular myth that const is helpful for enabling compiler optimisations in C and C++ . I figured I should explain that one, especially because I used to believe it was obviously true, myself. I’ll start off with some theory and artificial examples, then I’ll do some experiments…
7800
How Rust optimizes async/await
The issue to stabilize an initial version of async/await in Rust has left final comment period. The feature looks slated to stabilize in an upcoming release, most likely 1.39. This represents the culmination of an enormous amount of work by people all over the Rust community. But it’s also only the beginning of…