Kang Seonghoon lifthrasiir

Claude's Hopefully Correctly Rounded Sine-of-degrees

프롬프트:

cr_sin_degrees.c에 correctly rounded sine 함수를 작성해 줘. 함수 시그니쳐는 double cr_sin_degrees(double x); 인데 x는 라디안이 아니라 각도여야 해(따라서 cr_sin_degrees(90.0) == 1.0). finite한 모든 double 값에 대해서 0.5 ulp 이하의 오차를 기록해야 해. 현재 반올림 모드가 round-to-nearest고, FMA가 사용 가능하다(__builtin_fma)고 가정해도 무방해. sine 함수 자체는 다른 의존성이 없는 순수한 C 코드여야 하지만, 개발을 위해서 필요한 도구가 있다면 알려 주면 설치해 줄게.

접근법 개요:

정확 인자 축약: fmod(x, 360) (정확) → fmod(·, 90) (정확)으로 사분면 k와 잔여 각도 r ∈ [0, 90)을 오차 없이 분리. 라디안 sine과 달리 인자 축약이 완전히 exact 해서 파이 곱셈 외엔 transcendental 오차가 없는 게 핵심 이점.
dd(double-double) 산술로 r * π/180 계산 (π/180을 ~106비트 상수로 사전 계산).

	*.exe
	wah_test_basic
	wah_test_control_flow
	wah_test_determinism
	wah_test_export
	wah_test_functions
	wah_test_globals
	wah_test_memory
	wah_test_ops
	wah_test_overflow

	package main

	import (
	"bufio"
	"bytes"
	"context"
	"fmt"
	"io/ioutil"
	"log"
	"os"

	?? = not yet known, set to zero?; nnnn = u16be; nnnn^ = u16le; ...
	XXXX (uppercased) = output locations, otherwise input locations or literal bytes

	cmd# buffer configuration function signature

	0x01 ?? VVVV getProtocolVersion() -> v
	0x02 tt aa... VV... getKeyboardValue(t, a, n) -> v...
	0x03 tt aa... setKeyboardValue(t, a...)
	0x04 tt aa nn KKKK getKey(t, a, n) -> k
	0x05 tt aa nn ssss/KKKK setKey(t, a, n, s) -> k

	#![cfg_attr(
	not(all(feature = "encode", feature = "decode")),
	allow(dead_code, unused_imports)
	)]

	// TODO:
	// - Better error checking
	// - Better code structure
	// - Detect function boundary (skip CC or multi-byte nops)

	// Brotli bootstrapping based on WOFF2 font
	// Kang Seonghoon, 2024-03-01, public domain
	// Based on my earlier work for JS1024: https://js1024.fun/demos/2022/18
	// Only vaguely tested, YMMV

	import { argv, stderr } from 'node:process';
	import fs from 'node:fs';
	import zlib from 'node:zlib';

	const generateBrotliParams = function* () {

	# derived from https://github.com/crozone/ReedSolomonCCSDS
	# should be more performant alternative to https://github.com/kplabs-pl/reed-solomon-ccsds

	from dataclasses import dataclass
	from typing import Optional, List

	ALPHA_TO = [
	0x01,0x02,0x04,0x08,0x10,0x20,0x40,0x80,0x87,0x89,0x95,0xad,0xdd,0x3d,0x7a,0xf4,
	0x6f,0xde,0x3b,0x76,0xec,0x5f,0xbe,0xfb,0x71,0xe2,0x43,0x86,0x8b,0x91,0xa5,0xcd,
	0x1d,0x3a,0x74,0xe8,0x57,0xae,0xdb,0x31,0x62,0xc4,0x0f,0x1e,0x3c,0x78,0xf0,0x67,

	# This script builds a custom Zig distribution into a Python wheel.
	#
	# The "custom" distribution refers to any directory resulting from
	# zig-bootstrap that doesn't make into public nightly or stable releases.
	# The existing ziglang/zig-pypi doesn't work with such cases, hence
	# this script. It still makes use of a large portion of make_wheels.py,
	# so should be put into the same directory in order to function.
	#
	# This script is derived from make_wheels.py from zig-pypi (commit
	# 5b30070bc), and thus distributed under the same license (MIT/Expat).

	[package]
	name = "async-zip-problem"
	version = "0.1.0"
	edition = "2021"

	[[bin]]
	name = "async-zip-problem"
	path = "main.rs"

	[dependencies]