1201
My shell setup with Fish and Tmux (2021)
I’ve recently been asked to share my shell setup, which if you ask me, that’s one of the highest levels of praise you can achieve as a software developer 🤣
New
The latest blog posts to take off on Hacker News. 1,733 posts.
1202
Prompt engineering vs. blind prompting
"Prompt Engineering" emerged from the growth of language models to describe the process of applying prompting to effectively extract information from language models, typically for use in real-world applications.
1203
1204
Finetuning Large Language Models
An introduction to the core ideas and approaches
1205
The weird world of Windows file paths
File system paths on Windows are stranger than you might think. On any Unix-derived system, a path is an admirably simple thing: if it starts with a /, it’s a path. Not so on Windows, which serves up a bewildering variety of schemes for composing a path.
1206
Bard coding update with Colab exporting
Bard can now help with programming and software development tasks, across more than 20 programming languages.
1207
Introducing 'Trusted Publishers'
Announcing a new, more secure way to publish to PyPI
1208
Revisiting the Fast Inverse Square Root – Is It Still Useful?
In 2005, id Software released the source code for their 1999 game Quake III Arena under the GPL-2 license. In the file code/game/q_math.c , there is a function for calculating the reciprocal square root of a number which at first glance seems to use a very peculiar algorithm:
1209
Current issues with the Qt project from the outside looking in
I want to start with that Qt is still IMHO the best way to develop C++ apps. This post is not supposed to be a rant. This is for the decision maker at Qt. If you have any question about Qt feel free to join our /r/QtFramework subreddit! The Qt developers are wonderful to work with, and every new Qt version makes it…
1210
Building a ChatGPT-enhanced Python REPL
In this blog I share my experience in building a Python REPL augmented with ChatGPT. I explore how the application is built, and speculate on software engineering patterns and paradigms that might emerge in systems built on Large Language Models (LLMs). GEPL - Generate, Evaluate, Print, Loop Link to this section…
1211
How to train your own large language models
From raw code to a model serving users: the data pipelines, training infrastructure, and evaluation work behind Replit’s language models.
1212
Emacs standing alone on a Linux Kernel
Nano How-To explaining how to setup a root file system with only emacs.
1213
More optimizations in the compiler and JIT
The official home of the Erlang Programming Language
1214
How to make good small games
Polly the Frog by ...
1215
Node.js 20 is now available
Node.js® is a free, open-source, cross-platform JavaScript runtime environment that lets developers create servers, web apps, command line tools and scripts.
1216
An example of LLM prompting for programming
Generated knowledge and chain of thought prompting of an LLM can generate useful code.
1217
Don't write clean code, write CRISP code
“Clean code” is so over: all the cool kids are switching to CRISP code . I’ll show you how to achieve it in five catchy, T-shirt-friendly slogans.
1218
The New XOR Problem
In 1969, Marvin Minsky and Seymour Papert published Perceptrons: An Introduction to Computational Geometry. In it, they showed that a single-layer perceptron cannot compute the XOR function. The main argument relies on linear separability: Perceptrons are linear classifiers, which essentially means drawing a line to…
1219
Breaking the limits of TLA+ model checking
Graphing TLA+ state spaces for fun and profit.
1220
Tag Systems
I've tried to write a blog post on tag systems for years now. Literally years, I think I first started drafting it out in 2018 or so? The problem is that...
1221
Horrible Code, Clean Performance
A short tale of how horrible code yields clean performance.
1222
Constraint Programming (2020)
A brief introduction tutorial to Constraint Programming with Python, we introduce some relevant definitions and solve our old Pokémon Centers and Pokémon Gyms problem this time with CP!
1223
Unwinding the Stack the Hard Way
Tutorial on how to make a stack trace or backtrace manually unwinding the stack using ELF’s .eh_frame and call frame information (CFI)
1224
Conway’s Law (2022)
Systems are constrained to follow the communication patterns of their designers.
1225
Clojure Rationale (2008)
Customers and stakeholders have substantial investments in, and are comfortable with the performance, security and stability of, industry-standard platforms like the JVM. While Java developers may envy the succinctness, flexibility and productivity of dynamic languages, they have concerns about running on…
1226
Plain C API design, the real world Kobayashi Maru test
Designing APIs is hard. Designing good APIs that future people will not instantly classify as "total crap" is even harder. There are typical...
1227
Nibbles of Rust – Restructuring Patterns
In Rust, there is this feature known as “pattern matching”, whereby you can take apart a piece of structured data by writing out patterns which bind to parts of it. This process is known as “destructuring”, because you’re breaking a structure into parts.
1228
Algebraic graph calculus (2021)
We describe a graph-theoretic analogue of vector calculus. The linear operators of vector calculus (gradient, divergence, laplacian) correspond to the matrices naturally associated to graphs (incidence matrix, adjacency matrix). This analogy is useful for formalizing the discretization of some problems in image and…
1229
Generalizations of Fourier analysis (2021)
When I first learned about Fourier series and integrals, I hated it because it seemed like a collection of many ad-hoc definitions, formally related but very different.
1230
Stop Building Closed Ecosystems
I'm sick of it. In the world of mobile development (though likely also elsewhere), we sink so much engineering talent into making tools that are great...