451
CoreRT – A .NET Runtime for AOT
Firstly, what exactly is CoreRT? From its GitHub repo .. a .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying .NET native compiler toolchain
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 808 posts.
452
A hundred million cars run curl
One of my hobbies is to collect information about where curl is used. The following car brands feature devices, infotainment and/or navigation systems that use curl - in one or more of their models. These are all brands about which I've found information online (for example curl license information), received photos…
453
Decision Tables
I really like decision tables but they’ve fallen out of common knowledge. Let’s fix that. A decision table is a means of concisely representing branching and conditional computations. In the most basic form, you have some columns that represent the “inputs” as booleans and some columns that represent outputs and…
454
Advanced techniques to implement fast hash tables
Array and hash table are probably the most important data structures. Some programming languages such as Perl, Lua and Javascript, almost build the language core on top of the two data structures. …
455
Extracting Super Mario Bros levels with Python
For an upcoming project, I need to extract level data from the classic 1985 video game Super Mario Bros (SMB) . More precisely, I want to extract the background imagery for each stage of the game, excluding HUD elements and moving sprites, etc.
456
Sl: a mirror version of ls
Ever heard of the Steam Locomotive ? It is supposed to cure your bad habit of mistyping [ ls ] by running an ASCII rendition of a steam locomotive through your terminal.
457
Introducing Electron Fiddle
Create, share, and play with small Electron experiments.
458
ReasonML: Strict, powerful and forgiving
I gave this talk at JSFoo, Bengaluru, in October 2018. It describes my experience in switching to ReasonML on the Turaku project and how learning to use a statically-typed functional programming language involves much more than learning the language's syntax or features.
459
Mod and remainder are not the same
A remainder and a modulus look so very similar, but they are not the same thing and worse, are treated differently by different programming languages. Do you know how your language handles mod?
460
Look ma, no locks
We describe a systematic approach for replacing locks with tasks. In this approach thread blocking is replaced by properly scheduling of tasks.
461
462
How I Write SQL, Part 1: Naming Conventions (2014)
"There are only two hard problems in Computer Science: cache invalidation and naming things."
463
Slack on a SNES
I recently learned that in the mid 90s in Japan, the Super Nintendo had a peripheral called a Satellaview, which was a satellite modem that would receive data broadcasts from Nintendo.
464
Programming the Linux Framebuffer
Previously , I installed Linux on a small ARM Chromebook and set it up without X.Org, using only the console. After neglecting that machine for quite some time, I came back to it because I wanted to try some pixel-graphics programming and the framebuffer seemed like it might be an easy target.
465
466
Goodbye Python, Hello Go
Rumah taruhan online kelas dunia dengan pelayanan terbaik dan promo menarik : Welcome Bonus, Cashback, Bonus Rollingan & Referral setiap minggu. Aman & Terpercaya !!
467
Notes on Idris (2017)
In a bid to expand my programming brain by learning something about “dependent types”, I recently bought the Idris book. (Idris is a pure functional programming language that is mostly …
468
The true power of regular expressions (2012)
As someone who frequents the PHP tag on StackOverflow I pretty often see questions about how to parse some particular aspect of HTML using regular expressions. A common reply to such a question is:
469
Continued progress porting Emacs to Rust
The project to port all of the C code in Emacs to Rust has been going quite well of late, and a progress report is in order.
470
Indirection Is Not Abstraction
The concept of abstraction in software development is frequently misunderstood and confused with indirection. This is partially because of the keywords abstract and interface in statically-typed la...
471
Oops, I Wrote a C++ Compiler
TL;DR I wrote a .NET library that can compile C/C++ code into a byte code that it can also interpret. It is used in my app iCircuit to simulate Arduinos. You can use it yourself with the nuget package CLanguage.
472
Postgres indexes under the hood
Many software engineers use database indexes every day, but few of us really understand how they work. In this post I’ll explain: How indexing works in Postgres using B-Trees What B-Trees are Why they are a good fit for this problem Indexes in Postgres Postgres actually offers 4 different kinds of indexes for…
473
Reasoning with Types in Rust
Hi, I'm Ariel (she/her), a newly-minted member of the Swift team at Apple ! Previously, I helped lead the Luau team at Roblox where my efforts primarily focused on the design and implementation of Luau 's type system. I also led the creation of Lute to support using Luau both to build developer tooling, and as a…
474
Can functional programming be liberated from the von Neumann paradigm? (2010)
Inspirations & experiments, mainly about denotative/functional programming in Haskell
475
CSS: The bad bits and how to avoid them
The more I use CSS, the more I think it’s an absolute wild wild west. It’s mature, ubiquitous, yet lacks basic, common-sense features that come as a given in other similar tools
476
WebAssembly doesn’t make unsafe languages safe
WebAssembly is all the rage these days. And for good reasons. It’s pretty exciting to see many compiled languages adopting a common intermediate represe...
477
Never patterns, exhaustive matching, and uninhabited types in Rust
One of the long-standing issues that we’ve been wrestling with in Rust is how to integrate the concept of an “uninhabited type” – that is, a type which has no values at all. Uninhabited types are useful to represent the “result” of some computation you know will never execute – for example, if you have to define an…
478
Porting C to Rust
You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites . This can and does cause downtime for the websites, which makes their resources inaccessible for everyone.
479
Projects to Help You Learn React (2017)
As an intermediate beginner, the basic tutorials are too easy now. But it's hard to figure out what to build for practice, and how big those projects should be.
480
