~lobsters | Bookmarks (1978)

The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations (1996)

umd.edu

design pdf
1
A systematic approach to deriving incremental type checkers | Proceedings of the ACM on Programming Languages

acm.org

Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking...
Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to...

databases datalog incremental type checking pdf plt
2
An unordered list of hidden gems inside NixOS — kokada

capivaras.dev

After using NixOS for the last 5+ years as my main OS, I end up with...
After using NixOS for the last 5+ years as my main OS, I end up with a configuration with many things that are interesting for one reason or another, but it is not listed anywhere (well, except if you are the kind of person that reads man 5 configuration.nix or the release notes in every release). So kind in the sam...

nix
1
Gentoo: profiles and keywords rather than releases

gentoo.org

Different distributions have different approaches to releases. For example, Debian simultaneously maintains multiple releases (branches). The...
Different distributions have different approaches to releases. For example, Debian simultaneously maintains multiple releases (branches). The “stable” branch is recommended for production use, “testing” for more recent software versions. Every two years or so, the branches “shift” (i.e. the previous “testing” become...

linux
1
Code review antipatterns

greenend.org.uk

practices
2
The Benefits of Conforming

beyondloom.com

apl plt
1
GitHub - oci-playground/freebsd-podman-testing

github.com

freebsd
1
10 Essential Terminal Commands Every Developer Should Know

trevorlasn.com

Sometimes, tasks that might take hours to code can be accomplished in minutes with the terminal....
Sometimes, tasks that might take hours to code can be accomplished in minutes with the terminal. The command line can significantly streamline your workflow by automating tasks that would otherwise require navigating through a graphical interface. For those familiar with Unix-like systems such as Linux or macOS, the terminal is a key tool for efficiency. It acts as a command-line interface, allowing you to...

programming
1
Favorite Pixel Art Editors? | Lobsters

lobste.rs

Ideally: Free (as in beer) Web app (or runs on Linux, if native app) Source code...
Ideally: Free (as in beer) Web app (or runs on Linux, if native app) Source code can be imported / exported Common source code format supported by different tools Re: “source code” I’m assuming that features like Photoshop-style layers require data to be stored in something other than a direct image file like PNG or JPG…?

art ask
1
Chris's Wiki :: blog/sysadmin/NumfmtBriefNotes

utoronto.ca

Many years ago I learned about numfmt (also) from GNU Coreutils (see the comments on this...
Many years ago I learned about numfmt (also) from GNU Coreutils (see the comments on this entry and then this entry). An additional source of information is Pádraig Brady's numfmt - A number reformatting utility. Today I was faced with a situation where I wanted to compute and print multi-day, cumulative Amanda dump...

unix
1
Zen Browser

zen-browser.app

browser browsers fast internet web
2
Why a Hedge Fund Built Its Own Database

infoq.com

Munro: I'm James Munro. I'm going to talk about why a hedge fund built its own...
Munro: I'm James Munro. I'm going to talk about why a hedge fund built its own database technology. I run ArcticDB at Man Group. Man Group is the asset manager. I was a physicist originally. Spent some time doing plasma physics, electron molecule scattering, things like this. That ended up being useful to do simulat...

ai arcticdb database design databases ml & data engineering
2
Libations: Tailscale on the Rocks

jnsgr.uk

I’m a long-time, self-professed connoisseur of cocktails. I’ve always enjoyed making (and drinking!) the classics, but...
I’m a long-time, self-professed connoisseur of cocktails. I’ve always enjoyed making (and drinking!) the classics, but I also like experimenting with new base spirits, techniques, bitters etc.Over the years, I’ve collected recipes from a variety of sources. Some originated from books (such as Cocktail Codex and Cock...

go nix web
2
Map Rust vector iteration to assembly

eventhelix.com

Vectors are the most used collection type in Rust. Look under the hood to understand the...
Vectors are the most used collection type in Rust. Look under the hood to understand the assembly code generated for a vector iteration. We will see that the length of a vector is an important factor in vectorizing the iterations. With vectorization, the processor performs multiple operations per instruction. Finall...

assembly performance reversing rust
1
What is UDP?

pboyd.io

Imagine a holiday dinner with the Internet Protocol family: IP is at the head of the...
Imagine a holiday dinner with the Internet Protocol family: IP is at the head of the table, TCP is to the right, and UDP is to the left. ICMP is in the kitchen, SMTP couldn’t make it (IMAP delivered the apology), and Uncle ARP sits quietly after the introductions. But otherwise, there’s a lot of chatter (protocols, ...

networking
1
Compiling TETRIS from 1992 on OpenVMS x86 in 2024! - Raymii.org

raymii.org

Since DECWindows / CDE now works on OpenVMS x86 (from 9.2-3 onwards) there is much fun...
Since DECWindows / CDE now works on OpenVMS x86 (from 9.2-3 onwards) there is much fun stuff to do. Back in 2021 I wrote an article on the CDE desktop on Alpha / AXPbox and also an article on how to run CDE on modern linux, since it's still developed. Both articles included a game, GENERIC-TETRIS from 1992, written ...

osdev
1
Introducing Zed AI - Zed Blog

zed.dev

ai programming
2
Being on The Semantic Web is easy, and, frankly, well worth the bother

csvbase.com

web
2
uv: Unified Python packaging

astral.sh

python
2
GitHub - adamharrison/straightforward-c-project-standard: A standard for straightforward integration and compilation of C projects.

github.com

c++practices
1
Misc/Baytech-RPC2 at main · K3CAN/Misc

github.com

hardware reversing
1
Meilisearch is too slow

kerollmops.com

rust
1
Understanding workload models · Blog · Artillery

artillery.io

performance
1
Introducing FauxRPC

kmcd.dev

api go grpc http2 programming
3