10111
C will never stop you from making mistakes
Short answer: because we said so.
New
The latest blog posts to take off on Hacker News. 21,830 posts.
10112
10113
10114
Let’s implement a Bloom Filter
I am planning to create a series of blog posts that includes some literature research, implementation of various data structures and our journey of creating a distributed datastore in distrentic.io.
10115
SMT Solving on an iPhone (2018)
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
10116
Where do argc and argv come from?
Continuing on from our tiny snake game , let's explore more into how binaries work on Unix. Let's figure out how our programs come to obtain their argc and argv parameters.
10117
10118
Audio from Scratch with Go: Extracting Breakpoints
So far everything we’ve done with breakpoints involved us creating a breakpoint file and using this to automate part of a track. Now we’ll take a look at how we can take an existing track and extract some breakpoints from this. For this post, we’ll take a look at extracting the amplitudes from the .wave files, as this…
10119
Formulog: ML + Datalog + SMT
If you read a description of a static analysis in a paper, what might you find? There’ll be some cute model of a language. Maybe some inference rules describing the analysis itself, but those rules probably rely on a variety of helper functions. These days, the analysis likely involves some logical reasoning: about…
10120
Pysa: An open source tool to detect and prevent security issues in Python code
Today, we are sharing details about Pysa, an open source static analysis tool we’ve built to detect and prevent security and privacy issues in Python code. Last year, we shared how we built Zoncola…
10121
What Is the Minimal Set of Optimizations Needed for Zero-Cost Abstraction?
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
10122
On the Performance of User-Mode Threads and Coroutines
Discussions of coroutines and user-mode threads — like Project Loom's virtual threads or Go's goroutines — frequently turn to the subject of performance. The question I'll try answering here is, how do user-mode threads offer better application performance than OS threads?
10123
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…
10124
Surviving Django, if you care about databases
Django is currently the most commonly used full-stack web framework for Python. It has been around for a good 15 years, emerging as a winner from a period in which Python was already mature, but its web development tools were comparatively much more immature and fragmented.
10125
Programming with RISC-V Vector Instructions
Perhaps the most interesting part of the open RISC-V instruction set architecture (ISA) is the vector extension (RISC-V "V"). In contrast to the average single-instruction multipe-data (SIMD) instruction set, RISC-V vector instructions are vector length agnostic (VLA). Thus, a RISC-V "V" CPU is flexible in choosing a…
10126
10127
10128
10129
The Hacker Way: How I taught my nephew to program
Over the last year, my 13 year old nephew developed a love for hacking. From anime chat , to snake , a minimal twitter , a blog , to an anime music startup , he’s built some cool stuff (1). What I’m most proud of though, is that he’s done this with self directed play, rather than with a rigid curriculum.
10130
10131
10132
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.
10133
Broccoli: Syncing Faster by Syncing Less
Dropbox syncs petabytes of data every day across millions of desktop clients. It is vital that we constantly improve the sync experience for our users, to increase our users’ productivity in their everyday lives. We also constantly strive to better leverage our infrastructure, increasing Dropbox’s operational…
10134
Let's build a full-text search engine
Full-Text Search is one of those tools people use every day without realizing it. If you ever googled "golang coverage report" or tried to find "indoor wireless camera" on an e-commerce website, you used some kind of full-text search.
10135
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:
10136
10137
SIMD Everywhere: 0.5.0
I’m pleased to announce the availability of the first release of SIMD Everywhere (SIMDe), version 0.5.0, representing more than three years of work by over a dozen developers.
10138
Django 3.1
Posted by Mariusz Felisiak on Aug. 4, 2020
10139
The best Parts of Visual Studio Code are proprietary
I've been very surprised and delighted over a number of years now by Microsoft's strong efforts in open source. I understand the skeptics, I was on Slashdot when they tried to sue Linux out of existence and I think only time will tell. I figure MS contributing is better than them hunting Linux distributions for sport…
10140
PP-YOLO Surpasses YOLOv4 – State-of-the-art object detection techniques
Baidu publishes PP-YOLO and pushes the state of the art in object detection research by building on top of YOLOv3, the PaddlePaddle deep learning framework, and cutting edge computer vision research.