Stories by 13-1

Caring about OpenType Features

You might not want to use your fingertip to unlock your phone

Improved capabilities in writing, math, logical reasoning, and coding for GPT-4

Google Restricting Hiring to Specific Counties

Ask HN: What do you think of continuously learning LLMs in production

Gitmoji

How Working from Home Changed My Life

Open Source Delayed – pay for early access?

The Ribbon by Jensen Harris (2008) [video]

Mid-Cabin Emergency Exit Doors – Plug Option [video]

Why would you still want to use strace in 2023? [video]

Adventures of Linux Userspace at Meta [video]

Ask HN: Do you need intelligent AI functions in SQL?

AWTK = Toolkit AnyWhere(a cross-platform embedded GUI)

A slightly longer Lean 4 proof tour

Iterators in Ruby

1
2
3
4
5
6
7
8
9
10