Skip to content

Instantly share code, notes, and snippets.

View ByteHamster's full-sized avatar

Hans-Peter Lehmann ByteHamster

View GitHub Profile
@ByteHamster
ByteHamster / basic.sql
Created October 16, 2026 14:22
Raytracing Benchmarks
WITH t AS (
SELECT EXTRACT(EPOCH FROM now())::DOUBLE AS t
),
r AS (
SELECT COS(t) AS ca, SIN(t) AS sa, COS(t * 0.7) AS cb, SIN(t * 0.7) AS sb,
COS(t * 0.3) AS cc, SIN(t * 0.3) AS sc
FROM t
),
ray AS (
SELECT px, py, sp, (px + 0.25 + 0.5 * (sp % 2) - 20) / 52.0 AS dx, (20 - py - 0.25 - 0.5 * (sp / 2)) / 52.0 AS dy, 1.0 AS dz,
@ByteHamster
ByteHamster / ConscryptProviderInstaller.java
Last active June 25, 2022 21:47
ConscryptProviderInstaller Proof-Of-Concept
/*
* This class would be distributed as a small library to be included in apps.
* The library does NOT need the (large) Conscrypt dependency.
*/
package de.danoeh.antennapod.core;
import android.content.Context;
import android.content.pm.PackageManager;
@ByteHamster
ByteHamster / MaterialColors.java
Created August 12, 2019 20:42
Material Design Color Palette (Java)
public class MaterialColors {
/*
* Heavily modified version of https://gist.github.com/kalehv/bae765c756e94455ed88
*/
public static final int NUM_COLORS = 19;
public static final int IDX_50 = 0;
public static final int IDX_100 = 1;
public static final int IDX_200 = 2;
03-18 19:08:48.942 16934-17120/de.danoeh.antennapod.debug D/AndroidMediaPlayer: setDataSource(/storage/emulated/0/Android/data/de.danoeh.antennapod/files/media/Systemfehler/38 Minuten.mp3)
03-18 19:08:48.942 16934-17120/de.danoeh.antennapod.debug W/System.err: java.io.IOException: setDataSource failed.
03-18 19:08:48.942 16934-17120/de.danoeh.antennapod.debug W/System.err: at android.media.MediaPlayer.setDataSource(MediaPlayer.java:1187)
03-18 19:08:48.943 16934-17120/de.danoeh.antennapod.debug W/System.err: at android.media.MediaPlayer.setDataSource(MediaPlayer.java:1160)
03-18 19:08:48.943 16934-17120/de.danoeh.antennapod.debug W/System.err: at android.media.MediaPlayer.setDataSource(MediaPlayer.java:1127)
03-18 19:08:48.943 16934-17120/de.danoeh.antennapod.debug W/System.err: at org.antennapod.audio.AndroidAudioPlayer.setDataSource(AndroidAudioPlayer.java:350)
03-18 19:08:48.943 16934-17120/de.danoeh.antennapod.debug W/System.err: at org.antennapod.audio.MediaPlayer.switchMediaPlayerImp