181
Compiling a Lisp to x86-64: Let expressions
Compiling Lisp let expressions to x86-64
182
183
An exploration of why Python doesn't require a 'main' function
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
184
Type-Level Programming in Rust
I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally, I construct a general correspondence between type…
185
Self Supervised Learning in NLP
An overview of self-supervised pretext tasks in Natural Language Processing
186
Better Than JSON?
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.
187
OCaml is Pretty Great (2019)
But OCaml is Pretty Great
188
Inventing Monads
I got into a discussion about monads recently. On a search to find some resources to share, I realized that most essays explained them with type signatures and rules. A missing ingredient to grok them, I think, is to understand the intuition behind them. How could you end up inventing monads?
189
190
Is APL Dead? Not anymore
Is APL dead? Not anymore. Changes in modern hardware, business needs, development methods, and our understanding of programming makes APL in its modern state perhaps more relevant and viable than ever before.
191
A Response to Hello World in Go
Hi I'm Caleb Doxsey and welcome to my website. I'm a software developer. If you'd like to contact me, you can email me here: [email protected] .
192
Applying Mypy to real-world projects
Some hints and tips for getting started with Mypy and introducing it to existing projects
193
What’s New in Swift 5.2
Key path expressions as functions, callAsFunction, and more
194
Why not to use (f)lex, yacc or bison
flex and bison still work, but modern parser generators beat them on Unicode, grammar format, keeping code out of the grammar, and documentation. A point-by-point comparison.
195
Perl One-Liners Cookbook
Example based guide for text processing with Perl from the command line
196
Compiling a Lisp to x86-64: primitive functions
Compiling Lisp primitive unary functions to x86-64
197
Fast high-level programming languages
Python and R are slow when they can’t rely on functionality or libraries backed by C/C++. They are inefficient not only for certain algorithm development but also for common tasks such as FASTQ parsing. Using these languages limits the reach of biologists. Sometimes you may have a brilliant idea but can’t deliver a…
198
Classes are a way of writing higher order functions
Joe and I recently kicked off a re-read of SICP . I can say that it is the most interesting textbook I have gone through. Imagine, you begin with just 4 or 5 constructs, and you end up building algebraic equation solvers, circuit simulators, and even logic programming languages. Because you start off with such few…
199
200
201
Implementing Rust's dbg! in Python
Rust has an amazing dbg macro that lets you quickly set up an expression printer that will also put in the source line. It also returns the value of the expression so you can even easily inline the printing when you want to!
202
Lisp: Good News, Bad News, How to Win Big (1991)
Lisp has done quite well over the last ten years: becoming nearly standardized, forming the basis of a commercial sector, achieving excellent performance, having good environments, able to deliver applications. Yet the Lisp community has failed to do as well as it could have. In this paper I look at the successes, the…
203
Combinatris: Tetris with SKI Combinators
Combinatris
204
I can't believe I'm praising Tcl (2008)
So the other day I both defined Tcl procedures all by myself and used them interactively, and I liked it, to the point where it felt like some kind of local optimum. This entry is an attempt to cope with the trauma of liking Tcl, by means of rationalizing it. I'll first tell the story of my fascinating adventures, and…
205
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:
206
Implementing a Type-safe printf in Rust
I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf arguments.
207
The chronic suffering of the VB.NET community
I’d originally planned to write on this particular topic in response to increasing outreach to me personally, through my blog and other places, unsolicited, and independently from multiple communit…
208
209
210
A quick primer on type traits in modern C++
Discovering one of the pillars of C++ generic programming.