With all the recent hype around large language models (LLMs) and their ability to effortlessly generate code, Pedro Tavares reminds us that it’s worth reflecting on a common misconception, namely writing code was never the bottleneck in software development. If we forget this, we risk assuming code quality rather than ensuring it.| Looking for data in all the right places...
A recent Dear Colleagues Letter from the National Science Foundation Directorate for Computer and Information Science and Engineering (CISE) calls for proposals for projects to envision research priorities. It is specifically not for research itself, but for promising ways to surface and communicate new R&D directions. Essentially, the CISE directorate is asking for people to […]| Digifesto
Implementing a Boolean Function| ritog.github.io
There’s a neat paper Type Systems as Macros by Chang, Knauth, and Greenman [1] that describes how to implement a typed language using an untyped host language and macro expansion. The paper is neat, but I found the code hard to follow—the paper uses a compact notation that’s convenient for print, but not so much for reproducing on one’s own. This post is my attempt to implement and explain in more accessible terms what’s presented in the paper.| Lambda Land
In this deep dive, you'll learn about the Unicode character set and how it's encoded and decoded with UTF.| www.aleksandrhovhannisyan.com
“We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil.” ~ Donald Knuth “Both women and computer science are the los…| Bill Wadge's Blog
I feel like if computers didn’t exist, I would have been a mathematician. But| astrid.tech
astrid.tech v1.0 is finally published after 6 months of active development!| astrid.tech
Every system has a hidden, "natural" structure of how data flows through it. Learn how to find it.| Ishan Das Sharma