31
Software Security Is a Programming Languages Issue (2018)
Software security must be addressed by all programmers, not just security experts. So we teach it in CS 330, a programming (languages) class.
New
The latest blog posts to take off on Hacker News. 384 posts.
32
Using WebAssembly from .NET with Wasmtime
How to use Wasmtime in a .NET application to load and execute WebAssembly code.
33
Garbage Collection
We say Lox is a “high-level” language because it frees programmers from worrying about details irrelevant to the problem they’re solving. The user becomes an executive, giving the machine abstract goals and letting the lowly computer figure out how to get there.
34
35
PHP 7.4
PHP is a popular general-purpose scripting language that powers everything from your blog to the most popular websites in the world.
36
Building a language server for Muon
I’m a big fan of interactive tool support for programming. I often use features like “go to definition”, “find symbol”, compile error underlining, etc. Also, earlier this year, I launched Muon, a new low-level programming language. As no tooling existed beyond the compiler, writing the initial Muon programs (such as a…
37
Scala.js 1.0.0-RC1
Harness the Scala and JavaScript ecosystems to develop robust apps for browsers, serverless, and Node.js.
38
39
40
Overview of Rust error handling libraries
Rust's error handling is a pleasure to use thanks to the Result type . It ensures Rust's error handling is always correct , visible , and performant . And with the addition of the ? operator in Rust 1.13 , and the addition of return types from main in Rust 1.26 Rust's error handling has only kept improving.
41
Mu: Sketching out a minimal system programming language
In the previous post , I described what my new hobbyist computing stack looks like today, and how the design decisions seemed to accumulate inevitably from a small set of axiomatic goals. In this post I describe some (far more speculative) future plans for Mu and try to articulate how the design process continues to…
42
Go’s Features of Last Resort
A “Feature of Last Resort” (FOLR) is a useful feature which solves certain otherwise hard-to-solve problems, but are often best avoided.
43
How to make your C codebase Rusty: rewriting keyboard firmware keymap
Recently, my colleague introduced me to QMK 1, an open-source keyboard firmware. Like many non-trivia C projects, macro is heavily used everywhere, especially in keymap files 2. It didn’t bother me much since I have been programming C for many years. But I kept thinking to myself, “what would it look like if I can…
44
Functional Imperative Programming with Elixir (2018)
Stuff about things
45
46
Code Pages, Character Encoding, Unicode, UTF-8 and the BOM [video]
OK, fine maybe they DID teach you this in class. But, you'd be surprised how ...
47
Logic Puzzles with Prolog (2017)
Solving Logic Puzzles with Prolog
48
Algebraic Data Types: Things I wish someone had explained about FP
Algebraic data types and algebraic data structures sound similar. It’s like they ought to be the same thing. But they’re not. They both have ‘algebraic’ in the name, so it’s confusing. I got them mixed up at times. Others have too. But, they’re different concepts. Understanding the difference will help if you’re…
49
A Dead-Simple Web Stack in Haskell
Haskell has a proliferation of libraries to choose from for all of your basic backend needs, from logging to database access to routing and web server definition. It's nice to have the freedom of choice, but if you're just starting out, the amount of decisions needed can be overwhelming. Maybe you're not even…
50
Completing Racket's relicensing effort
_posted by Sam Tobin-Hochstadt, with help from Sage Gerard and Joel Dueck and Matthew Flatt and the Software Freedom Conservancy, especially Pamela Chestek_ With the upcoming Racket 7.5 release, almost all of Racket, including the core Racket CS binary, ...
51
Understanding Serde
Serde is one of the most popular Rust crates, and deservedly so. If you aren't familiar, Serde describes itself as "a framework for serializing and deserializing Rust data structures efficiently and generically." What is most impressive to me is how robust the Serde data model has proven to be, allowing it to support…
52
“What Alan Kay Got Wrong About Objects”
One of the anonymous reviewers of my recently published Storage Combinators paper ( pdf ) complained that hiding disk-based, remote, and lo...
53
Active Oberon Language Report Update 2019
D-INFK GitLab Service
54
The Value in Go’s Simplicity
After using Go for a couple years, I’ve really come to appreciate its simplicity. I started writing Go at work a couple months ago, and have found it really easy to iterate on – much more so than Python and Java.
55
Why Is the Migration to Python 3 Taking So Long?
For some companies who have already made the change years ago, it won’t be an issue. However, there’s a whole range of companies who won’t be making the change anytime soon, for a number of reasons. What does this change mean for companies heavily utilizing the language, particularly those who may not be ready to…
56
Go.dev: a new hub for Go developers
Announcing go.dev, which answers: who else is using Go, what do they use it for, and how can I find useful Go packages?
57
58
How an Optimizing Compiler Works
Optimizing compilers are a mainstay of modern software: allowing a programmer to write code in a language that makes sense to them, while transforming it into a form that makes sense for the underlying hardware to run efficiently. The optimizing compiler's job is to figure out what your input program does, and create…
59
Notes on Type Layouts and ABIs in Rust
Over the years I’ve found myself with a weird amount of knowledge about how types and ABIs in Rust work, and I wanted to write it all down in one place so that… it’s written down in one place. Much of this information can or should be found in the Rust Language Reference and the Rustonomicon .
60
How Swift Achieved Dynamic Linking Where Rust Couldn't
For those who don’t follow Swift’s development, ABI stability has been one of its most ambitious projects and possibly it’s defining feature, and it finally shipped in Swift 5 . The result is something I find endlessly fascinating, because I think Swift has pushed the notion of ABI stability farther than any language…