haeberlein

Fix ACM Digital Library Loading Times in Firefox

Problem

The ACM Digital Library currently loads very slow in Firefox. This seems to stem from a lot of :has() selectors used in their CSS stylesheet.

Fix (uBlock Origin)

If you have uBlock Origin installed, you can add the following filter under the "My filters" tab:

bdeket

#lang racket/base

(require racket/match
         (file "htdp/htdp-lib/2htdp/image.rkt")
         (file "htdp/htdp-lib/2htdp/universe.rkt")
         (except-in (file "htdp/htdp-lib/2htdp/private/check-aux.rkt") sexp?)
         ;; ^^ my websocket branch : https://github.com/bdeket/htdp/tree/websocket
         net/rfc6455
         net/url
         net/head

plt-amy

#!/usr/bin/env bash

set -euo pipefail

# just some sanity checks to make sure the arguments make sense
if ! test -f "${1}"; then
  echo "usage: ${0} <file>"
  exit 1
fi
file="${1}"

gambiteer

(declare
  (standard-bindings)
  (extended-bindings)
  (block)
  (not inline) ;; inlining distorts what I want to measure
  (safe)       ;; default declaration, made explicit
  )

(import (srfi 231))

samdphillips

#lang racket/base

(require ffi/unsafe
         ffi/unsafe/custodian
         ffi/unsafe/define
         ffi/unsafe/schedule
         racket/struct)

(provide evdev-open
         evdev-read

wilbowma

open import Agda.Builtin.Equality using (_≡_; refl)
open import Data.Nat using (ℕ)
open import Relation.Nullary using (¬_)
open import Data.Empty using (⊥-elim; ⊥)
open import Data.Unit.Base using (⊤; tt)
open import Agda.Primitive
open import Data.Product
open import Data.Fin
open import Data.Vec

shhyou

Comparing PDF files in git diff commands

The typical approach to comparing PDF files in git diff outputs amounts to converting PDF files into texts through pdftotext and show the diff of conversion.

1. Install the utility pdftotext from the project poppler
2. Enable the handler pdffiles in diff for PDF files and instruct the handler to call the pdf-astextplain script:

shhyou

#lang racket/base

(require racket/list
         racket/vector
         racket/bytes
         racket/match)

(provide
 ;; plain implementation of the Burrows-Wheeler transformation
 (struct-out bwencode)

veekaybee

ChatGPT Resources

Context

ChatGPT appeared like an explosion on all my social media timelines in early December 2022. While I keep up with machine learning as an industry, I wasn't focused so much on this particular corner, and all the screenshots seemed like they came out of nowhere. What was this model? How did the chat prompting work? What was the context of OpenAI doing this work and collecting my prompts for training data?

I decided to do a quick investigation. Here's all the information I've found so far. I'm aggregating and synthesizing it as I go, so it's currently changing pretty frequently.

Model Architecture

AndrasKovacs

{-
At ICFP 2022 I attended a talk given by Tomasz Drab, about this paper:

    "A simple and efficient implementation of strong call by need by an abstract machine"
    https://dl.acm.org/doi/10.1145/3549822

This is right up my alley since I've implemented strong call-by-need evaluation
quite a few times (without ever doing more formal analysis of it) and I'm also
interested in performance improvements. Such evaluation is required in
conversion checking in dependently typed languages.