Pascal Wittmann pSub
pSub
/ gist:837d72ed6d38282c45dcef75b1e8a28d
Created
March 5, 2025 13:21
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ollama run deepseek-r1:1.5b | |
| >>> Beweise mir Fermats letzten Satz. | |
| <think> | |
| Okay, so I need to prove Fermat's Last Theorem. Hmm, let me think about how I can approach this. I remember that Fermat's Last Theorem states that there are no three positive integers a, b, and c | |
| that satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2. | |
| First off, I should probably start by recalling some basic concepts in number theory or algebra that might be relevant here. Maybe something related to equations, exponents, or perhaps even modular | |
| arithmetic since that's often used in Diophantine equations like Fermat's Last Theorem. | |
| I also remember hearing about elliptic curves and how they relate to this theorem. But I'm not entirely sure how to tie them together. Maybe I should look into specific cases before trying to |
pSub
/ dmn-check-server-module.nix
Created
February 3, 2023 20:45
NixOS module for the dmn-check server component (see github.com/red6/dmn-check)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { config, lib, pkgs, ... }: | |
| let | |
| cfg = config.services.homepage; | |
| dmn-check-server = | |
| pkgs.fetchurl { | |
| url = "https://repo1.maven.org/maven2/de/redsix/dmn-check-server/1.2.4/dmn-check-server-1.2.4-jar-with-dependencies.jar"; | |
| sha256 = "0rnak9gnf5vr1h8pkzkgd0fnrv10mrkbir1qccrrz42z7vzc3wdb"; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env zsh | |
| EPISODE=$1 | |
| NUMBER=$2 | |
| i=0 | |
| while | |
| echo $i | |
| URL="https://www.peppercarrot.com/0_sources/$EPISODE/hi-res/de_Pepper-and-Carrot_by-David-Revoy_E${NUMBER}P${(l:2::0:)i}.jpg" | |
| STATUSCODE=$(curl --silent --remote-name --write-out "%{http_code}" $URL) |
pSub
/ .gitignore
Last active
August 29, 2015 14:00
— forked from kogakure/.gitignore
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| *.aux | |
| *.glo | |
| *.idx | |
| *.log | |
| *.toc | |
| *.ist | |
| *.acn | |
| *.acr | |
| *.alg | |
| *.bbl |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- The source code in this file is an adapated version of the chat example in the Yesod Book. See | |
| -- http://www.yesodweb.com/book/wiki-chat-example | |
| {-# LANGUAGE OverloadedStrings, TypeFamilies, QuasiQuotes, | |
| TemplateHaskell, FlexibleInstances, MultiParamTypeClasses, | |
| FlexibleContexts | |
| #-} | |
| module Chat where |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Handle the start/stop/restart and reload of daemons uniformly. | |
| # It's able to handle multiple daemons. | |
| start restart stop reload(){ | |
| local daemonPath distro cmd | |
| if [[ $# -le 0 ]]; then | |
| echo "Usage: start [restart, stop, reload] DAEMON [DAEMON ...]" | |
| return 1 | |
| fi | |
| distro=$(cat /etc/issue) | |
| case $distro in |
pSub
/ gist:1160638
Created
August 21, 2011 13:52
Keybindings zum ändern von pacman Kommandos für die ZSH
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Mit diesen Widgets für die zsh kann man pacman Befehle | |
| # "on the fly" ändern. Wenn man z.B. "pacman -Si weechat" ausgeführt hat, | |
| # und möchte nun weechat installieren, muss man nur in der History zurück | |
| # gehen und Meta-i drücken. Damit ändert sich der Befehl zu "pacman -S weechat". | |
| # Konfiguration der Keybindings und Komandos | |
| pacman_bindings=("^[i" "S" # Meta-i → install | |
| "^[f" "Ss" # Meta-f → search | |
| "^[r" "Rs" # Meta-r → remove | |
| "^[p" "Si" # Meta-p → info / properties |