Skip to content

Instantly share code, notes, and snippets.

View themerius's full-sized avatar

Sven Hodapp themerius

View GitHub Profile
@ogzhanolguncu
ogzhanolguncu / SKILL.md
Created October 4, 2026 18:54
socratic-code-mentor: a Claude Code skill for learning by building. You write the core, the LLM mentors and does the grunt work. Install: save as ~/.claude/skills/socratic-code-mentor/SKILL.md
name socratic-code-mentor
description Mentor a user who builds a project to learn how it works. They write the core; you do all other work and keep it fun. Use when the user says "teach me", "guide me", "mentor me", "hints only", "no spoilers", "Socratic", or "help me learn X by building it", or when a project file says the project is for learning. Do not use for normal feature work. Do not use when the first request is "just fix it" or "write it for me".
@karpathy
karpathy / microgpt.py
Last active November 13, 2026 01:40
microgpt
"""
The most atomic way to train and run inference for a GPT in pure, dependency-free Python.
This file is the complete algorithm.
Everything else is just efficiency.
@karpathy
"""
import os # os.path.exists
import math # math.log, math.exp
@kconner
kconner / macOS Internals.md
Last active November 4, 2026 04:48
macOS Internals

macOS Internals

Understand your Mac and iPhone more deeply by tracing the evolution of Mac OS X from prelease to Swift. John Siracusa delivers the details.

Starting Points

How to use this gist

You've got two main options:

@nnx0r
nnx0r / ffmpeg.md
Last active November 26, 2025 12:38
Convert video files to MP4 through FFMPEG

This is my personal list of functions that I wrote for converting mov files to mp4!

Command Flags

Flag Options Description
-codec:a libfaac, libfdk_aac, libvorbis Audio Codec
-quality best, good, realtime Video Quality
-b:a 128k, 192k, 256k, 320k Audio Bitrate
-codec:v mpeg4, libx264, libvpx-vp9 Video Codec
@kenglxn
kenglxn / jhome.fish
Last active May 10, 2022 13:30
If you have more javas and you want to switch between the javas, you can select a java from the javas with this...
function jhome
set -x JAVA_HOME (/usr/libexec/java_home $argv)
echo "JAVA_HOME:" $JAVA_HOME
echo "java -version:"
java -version
end
@fbatschi
fbatschi / bash-smtp-auth-email
Created March 17, 2015 21:18
How to send an email from bash via SMTP Auth
echo "PUT YOUR MAIL BODY HERE" | mailx -s "SUBJECT" -S smtp=smtp://yoursmtpserver.com -S smtp-auth=login -S smtp-auth-user=YOUR_USERNAME -S smtp-auth-password=YOUR_PASSWORD -S from="Sender Name <sender@mail.com>" recipient@mail.com
import java.security.MessageDigest
import java.util
import javax.crypto.Cipher
import javax.crypto.spec.SecretKeySpec
import org.apache.commons.codec.binary.Base64
/**
* Sample:
* {{{
* scala> val key = "My very own, very private key here!"
@joemiller
joemiller / netpps.sh
Last active January 12, 2024 15:39
shell: quick linux scripts for showing network bandwidth or packets-per-second
#!/bin/bash
if [ -z "$1" ]; then
echo
echo usage: $0 network-interface
echo
echo e.g. $0 eth0
echo
echo shows packets-per-second
@nrk
nrk / command.txt
Created April 2, 2012 19:19
Using ffprobe to get info from a file in a nice JSON format
ffprobe -v quiet -print_format json -show_format -show_streams "lolwut.mp4" > "lolwut.mp4.json"
@ramn
ramn / XmlSchemaValidator.scala
Created December 2, 2010 11:02
XML Schema validator in Scala
import javax.xml.transform.stream.StreamSource
import javax.xml.validation.Schema
import javax.xml.validation.SchemaFactory
import javax.xml.validation.{Validator=>JValidator}
import org.xml.sax.SAXException
object Validator {
def main(args: Array[String]) {
require(args.size >= 2, "Params: xmlFile, xsdFile")
val result =