Gavin Ray GavinRay97

This is a drop-in, zero-config Actions harness for OpenAI's Codex agent. It uses GitHub Models for inference, so you don't need to set up any secrets - just copy-pasting the action into your repo should work as-is.

You may need to go into your settings and check the "allow Actions to open PRs" checkbox.

To use it, open an issue in your repo with [codex] in the issue name.

How to keep using adblockers on chrome and chromium

google's manifest v3 has no analouge to the webRequestBlocking API, which is neccesary for (effective) adblockers to work
starting in chrome version 127, the transition to mv3 will start cutting off the use of mv2 extensions alltogether
this will inevitably piss of enterprises when their extensions don't work, so the ExtensionManifestV2Availability key was added and will presumably stay forever after enterprises complain enough

You can use this as a regular user, which will let you keep your mv2 extensions even after they're supposed to stop working

Linux

In a terminal, run:

Generic programming with type classes

Generic programming is a discipline that encourages the construction of abstractions and the reuse of software component without loss of efficiency. Subtyping through inheritance can be adversary to this goal because it encourages type erasure, promising that efficiency is maintained thanks to dynamic dispatch. Sadly, this promise gets broken when generic data structures and algorithms depend on more than one generic receiver. In those instances, one must resort to generic parameters to preserve type information, introducing expensive annotation costs. This short article examine this problem and then discusses how type classes, an alternative approach to practice generic programming, can address many of the issues presented by subtyping through inheritance.

Disclaimer:

Structured concurrency and Lua (part 1)

John Belmonte, 2022-Sep

I've started writing a toy structured concurrency implementation for the Lua programming language. Some motivations:

use it as a simple introduction to structured concurrency from the perspective of Lua (this article)
learn the fundamental properties of structured concurrency and how to implement them
share code that could become the starting point for a real Lua library and framework

So what is structured concurrency? For now, I'll just say that it's a programming paradigm that makes managing concurrency (arguably the hardest problem of computer science) an order of magnitude easier in many contexts. It achieves this in ways that seem subtle to us—clearly so, since its utility didn't reach critical mass until around 2018[^sc_birth] (just as control structures like functions, if, and while weren't introduced to languages until long after the first compu

	package demo.cont;

	import java.lang.invoke.MethodHandle;
	import java.lang.invoke.MethodHandles;
	import java.lang.invoke.MethodType;
	import java.util.function.Consumer;

	public final class Continuation {

	private final Object delegate;

	import java.lang.invoke.MethodHandle;
	import java.lang.invoke.MethodHandles;
	import java.lang.invoke.MethodType;

	public final class Continuation {
	final Object impl;

	static final Class<?> IMPL_CLASS;
	static final MethodHandle NEW;
	static final MethodHandle YIELD;

	const std = @import("std");

	pub fn build(b: *std.Build) void {
	// Standard target options allows the person running `zig build` to choose
	// what target to build for. Here we do not override the defaults, which
	// means any target is allowed, and the default is native. Other options
	// for restricting supported target set are available.
	const target = b.standardTargetOptions(.{});

	// Standard optimization options allow the person running `zig build` to select

	// C++ MCAS implementation, based on "Efficient Multi-word Compare and Swap"
	// (https://arxiv.org/pdf/2008.02527.pdf)
	//
	// TODO: API header
	// TODO: reclamation. Currently the implementation leaks descriptor records
	// and leaves them in place indefinitely. Short list of options:
	// 1) reuse thread-local descriptors (https://arxiv.org/pdf/1708.01797.pdf)
	// 2) use "record manager" abstraction and plugins (DEBRA, etc.)
	// (https://bitbucket.org/trbot86/implementations/src/master/cpp/debra)
	// TODO: generalization: 32-bit support, user-defined word size and

	# th30z@u1310:[Desktop]$ psql -h localhost -p 55432
	# Password:
	# psql (9.1.10, server 0.0.0)
	# WARNING: psql version 9.1, server version 0.0.
	# Some psql features might not work.
	# Type "help" for help.
	#
	# th30z=> select foo;
	# a \| b
	# ---+---

	// Author: Aly Cerruti
	// Please follow along in Scastie, so you can see the output of statements:
	// https://scastie.scala-lang.org/CLmK5tLuRd6rxXuEnba0rQ

	// A Category
	trait Category[
	// A collection of objects
	Obj <: AnyKind,
	// A constraint on those objects (Scala lacks dependent typing, so i.e. `Val = [A] =>> Monoid[A]` makes the category of Monoids)
	Val[_ <: Obj],