601
Scala: Understanding implicits
In previous posts, we covered the most popular implicit use cases. What is left to complete the picture is the mechanics of implicits itself.
602
Libcurl gets a URL API
libcurl has done internet transfers specified as URLs for a long time, but the URLs you'd tell libcurl to use would always just get parsed and used internally. Applications that pass in URLs to libcurl would of course still very often need to parse URLs, create URLs or otherwise handle them, but libcurl has not ……
603
A Usable C++ Dialect That Is Safe Against Memory Corruption
Quote: we DID get a perfectly usable C++ dialect which is also 100% safe against memory corruption and against memory leaks. Another Quote: we can (and often...
604
605
Why code that never goes wrong can still be wrong
The three levels of software, a framework by Jimmy Koppel: runtime, code, and logic, and why code that never fails can still be wrong.
606
Creating a Linux Desktop App with Ruby
Lazarus Lazaridis’ personal blog with posts mostly related to programming and opensource. And cats.
607
Minesweeper in Clojure
As a fun experiment, and to show the basics of clojure development, I implemented a minesweeper clone using clojurescript and p5.js.
608
Advent of Code Python Solutions, Explained
I first participated in Advent of Code (AoC) in 2017. My co-workers at Formlabs introduced it to me. This year (2018), quite a lot of Formlabs folks are taking part and we have a nice private leaderboard going. I'm having a lot of fun with it. I've been staying up until midnight to work on the problems as soon as…
609
Learning Python for Social Scientists (2015)
I’ve compiled a list of Python tutorials and annotated analyses. I've tried to list pages that are accessible to social scientists with little background in Python and/or machine learning.
610
Why not program right?
(Originally published on CACM blog.) Most of the world programs in a very strange way. Strange to me. I usually hear the reverse question: people ask us, the Eiffel community, to explain why we program our way. I hardly understand the question, because the only mystery is how anyone can even program in any other …
611
C as an intermediate language (2012)
Here's a Forth program debugged in KDevelop – a graphical debugger without Forth support:
612
Python for Lisp Programmers (2000)
I looked into Python because I was considering translating the Lisp code for the Russell & Norvig AI textbook into Java. Some instructors and students wanted Java because
613
The Art of Picking Intel Registers (2003)
I wrote this article for an online magazine called Scene Zine . Scene Zine caters to the Demo Scene, which is an digital art community dedicated to pushing the limits of computers through a mix of music, art, and computer programming. A particular category of demoscene productions, 4K intros, focus on the final…
614
Gradual Programming
Programming is a fundamentally incremental (or gradual) process, and our programming languages should reflect that. I show several ways in which program models transition over time and discuss how future research can further a human-centric vision for programming languages.
615
616
Porting SBCL to the RISC-V
What better thing to do, during the hot, hot July days, thank something semi-mechanical involving very little brain power? With student-facing work briefly calming down (we've just about weathered the storm of appeals and complaints following the publication of exam results), and the all-too-brief Summer holidays…
617
The Real Deal About rel="me"
Earlier today , Barry Schwartz published a piece over on Search Engine Roundtable called Google Does Not Use rel=me Microformats . The article got shared around Twitter a lot, and those tweets surfaced on the microformats IRC channel . In it he mentions a few things that I would like to respond to, that is probably…
618
Solving murder with Prolog
In our company we usually have a fun quiz every sunday and this was one of them
619
620
Writing a minimal x86-64 JIT compiler in C++, Part 2
Writing a minimal x86-64 JIT compiler in C++ that runs on macOS, Linux and WSL - Part 2
621
Message-Oriented Programming (2017)
Managing complexity within an application is one of the key challenges for any software developer. Cleanly reconciling new features with existing architectures is something we strive for.
622
The -a to -z of Command-Line Options (2003)
Unix tradition encourages the use of command-line switches to control programs, so that options can be specified from scripts. This is especially important for programs that function as pipes or filters. Three conventions for how to distinguish command-line options from ordinary arguments exist; the original Unix…
623
Modeling Redux with TLA+
Update 01/07/19 Greetings from 2019! The good news is that Chicago isn’t yet a radioactive crater. The bad news is almost everything I said about refinement in this article is wrong. I’m working on writing a more in-depth, rigorous treatment of refinement as its own article. But this one is currently explaining…
624
Building a Program Synthesizer
Build a program synthesis tool, to generate programs from specifications, in 20 lines of code using Rosette.
625
626
Go vgo: Semantic Versioning and Human Error
What happens when human error enters into semantic versioning and vgo
627
Optimization tricks in Python: lists and tuples
An overview of optimization tricks for lists and tuples
628
More State Machine Love: From Reflection to Statecharts
In “ How I Learned to Stop Worrying and ❤️ the State Machine ,” we built an extremely basic state machine to model a bank account.
629
Resources for Learning about .NET Internals
It all started with a tweet, which seemed to resonate with people:
630
