11491
The Path to Dijkstra’s Handwriting (2013)
How I used Edsger W. Dijkstra's handwriting as a model to improve mine.
New
The latest blog posts to take off on Hacker News. 21,834 posts.
11492
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…
11493
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:
11494
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 …
11495
Threading Macros Guide
Threading macros, also known as arrow macros, convert nested function calls into a linear flow of function calls, improving readability.
11496
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.
11497
Introducing nushell
BONANZA138 menghadirkan link alternatif portal game terbaru dan terpercaya. Dapatkan rute bonanza138 login anti-blokir, proteksi TLS modern dan pelayanan setiap hari.
11498
Why Does Developing on Kubernetes Suck?
Kubernetes has changed the way I operate software. Whole classes of production problems have disappeared–arguably to be replaced by others. But such is the way of the world. All told I’m happier operating a microservices app today than I was before I started using Kubernetes.
11499
Transformers from Scratch
Repository for personal website
11500
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…
11501
Some Obscure C Features
Pancakes and computers
11502
How to build a plugin system on the web and also sleep well at night
The solution we found helps us run Figma plugins in a safe way — i.e. not eval(UNTRUSTED_CODE).
11503
Deep Learning Illustrated: Building Natural Language Processing Models
A hands-on guide to natural language processing with Keras. Covers word2vec, sentiment classification, CNNs, RNNs, and LSTMs using the IMDb dataset in Python.
11504
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 ...
11505
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.
11506
WebAssembly Interface Types: Interoperate with All the Things
People are excited about running WebAssembly outside the browser. People are also excited about running WebAssembly from languages like Python, Ruby, and Rust. Lin Clark's Code Cartoons are back, illustrating ...
11507
Security flaws caused by compiler optimizations
Learn how to optimize compilers for enterprise-wide automation, avoiding pitfalls with examples and solutions.
11508
11509
The largest Git repo on the planet
It’s been 3 months since I first wrote about our efforts to scale Git to extremely large projects and teams with an effort we called “Git Virtual File System”. As a reminder, GVFS, together with a set of enhancements to Git, enables Git to scale to VERY large repos by virtualizing both the .git folder […]
11510
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…
11511
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…
11512
11513
Dirty tricks 6502 programmers use
This post recaps some of the C64 coding tricks used in my little Commodore 64 coding competition . The competition rules were simple: make a C64 executable (PRG) that draws two lines to form the below image. The objective was to do this in as few bytes as possible.
11514
Getting Started with Lisp in 2019
A quick guide on how to get started with LISP development in 2019. TLDR: install <a href="https://github.com/roswell/roswell">roswell</a>.
11515
11516
Software architects should be involved in earliest system engineering activities
Today's major defense systems rely heavily on software-enabled capabilities. However, many defense programs acquiring new systems first determine the physical items to develop....
11517
Maybe We Should Stop Creating Inscrutable CLIs
In the original Unix tradition, command-line options are single letters preceded by a single hyphen…The original Unix style evolved on slow ASR-33 teletypes that made terseness a virtue; thus the single-letter options.
11518
With friends like these
I was going to focus this week on the first task of the 20th Weekly Challenge ...but what can I say? The task was a break a string specified on the command-line into runs of identical characters:
11519
11520
Effortless Elixir Releases and Deployment
Elixir-learning article: Effortless Elixir releases and deployment (tagged: Deployment, Releases, Phoenix, Render)