-
Notifications
You must be signed in to change notification settings - Fork 8
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'main' into 19-på-cassiopeia-til-foobar-er-på-to-sider
- Loading branch information
Showing
10 changed files
with
200 additions
and
15 deletions.
There are no files selected for viewing
This file contains 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
This file contains 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
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -6,3 +6,6 @@ main.ind | |
main.dvi | ||
main.ilg | ||
main.pdf | ||
|
||
# nix | ||
result |
This file contains 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
This file contains 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
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,50 @@ | ||
{ | ||
description = "F-klubben sangbog"; | ||
|
||
inputs = { | ||
nixpkgs.url = "nixpkgs/nixos-23.11"; | ||
}; | ||
|
||
outputs = { self, nixpkgs }: let | ||
system = "x86_64-linux"; | ||
pkgs = import nixpkgs {inherit system;}; | ||
deps = with pkgs; [ ghostscript texliveFull psutils gnumake which perl ]; | ||
booklet = pkgs.stdenv.mkDerivation rec { | ||
name = "F-klubbens sangbog booklet"; | ||
src = ./.; | ||
nativeBuildInputs = deps; | ||
installPhase = '' | ||
mkdir -p $out/{bin,share} | ||
${pkgs.gnumake}/bin/make booklet | ||
mv main_book.pdf $out/share | ||
echo "${pkgs.xdg-utils}/bin/xdg-open $out/share/main_book.pdf" > $out/bin/${builtins.replaceStrings [" "] ["-"] name} | ||
chmod +x $out/bin/${builtins.replaceStrings [" "] ["-"] name} | ||
''; | ||
}; | ||
pdf = pkgs.stdenv.mkDerivation rec{ | ||
name = "F-klubbens sangbog continuous"; | ||
src = ./.; | ||
nativeBuildInputs = deps; | ||
installPhase = '' | ||
mkdir -p $out/{bin,share} | ||
${pkgs.gnumake}/bin/make pdf | ||
mv main.pdf $out/share | ||
echo "${pkgs.xdg-utils}/bin/xdg-open $out/share/main.pdf" > $out/bin/${builtins.replaceStrings [" "] ["-"] name} | ||
chmod +x $out/bin/${builtins.replaceStrings [" "] ["-"] name} | ||
''; | ||
|
||
}; | ||
|
||
in { | ||
devShells.${system}.default = pkgs.mkShell { | ||
packages = deps; | ||
}; | ||
|
||
packages.${system} = { | ||
default = booklet; | ||
pdf = pdf; | ||
booklet = booklet; | ||
}; | ||
|
||
}; | ||
} |
This file contains 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
This file contains 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,55 @@ | ||
\begin{sang}{CLRS}{Melodi: VLTJ - Tørfisk. Forfatter: Topholt} | ||
\begin{vers} | ||
Et sted derude mod store O | ||
Derude hvor $n^2$ er go' | ||
Kører nestet loops med rekursion | ||
Mod nye mål med min og if | ||
Mod nye mål med max og if | ||
Den hedder CLRS | ||
\end{vers} | ||
|
||
\begin{omkvaed} | ||
Den starter med Insertion Sort | ||
Går' over til run time analys' | ||
Tar' hen mod bubble hvor den N'er helt i $O(n^2)$ //Kvadratisk | ||
Alg'en er en dejlig hurtig op på stacken, ind i heapen, gennem queuen, når | ||
Man læser i CLRS | ||
\end{omkvaed} | ||
|
||
\begin{vers} | ||
I de lumre lokaler langt ude mod øst | ||
Læses bøgerne med manglende lyst | ||
Dog læses bogen mer' og mer' | ||
Læse alg på Cass-i-ope-ia | ||
\textit{\$s du ved godt det ikke hedder Cass-i-ope-ia, det hedder Cass-i-opeia} | ||
\textit{Det kan $(han||hun)$ da ikke selv gøre for (nå)} | ||
Læse alg på Cass-i-opeia! | ||
Med Bacci som lektor | ||
\emph{Den starter med Insertion sort}\ldots | ||
\end{vers} | ||
|
||
\begin{vers} | ||
Og boolen den blir' reassign | ||
Et i-n i $\Theta$s tegn | ||
En dejlig run-time syns' de | ||
Hvor alg'en vender og kører mod top | ||
Hvor alg'en vender og kører mod top | ||
Mod $O(log n)$ tid (Wrhh!) //logaritmisk | ||
Var det seg fault? | ||
\emph{Den starter med Insertion sort}\ldots | ||
\end{vers} | ||
|
||
\begin{vers} | ||
Sorteret array har vi nået | ||
Ja det gik som hvor IDE havde spået | ||
Alg'en holdte til input og vi har fået | ||
En tur med hash og graf så skøn | ||
En tur med hash og graf så skøn | ||
Med $O(1)$ tids lookup //Konstant | ||
Hashmap! | ||
\emph{Den starter med Insertion sort}\ldots | ||
Alg'en, alg'en | ||
Alg'en er en dejlig hurtig op på stacken, ind i heapen, gennem queuen, når | ||
Man læser i CLRS | ||
\end{vers} | ||
\end{sang} |
This file contains 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
This file contains 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,37 @@ | ||
\begin{sang}{Fit er frit}{Melodi: Bella Ciao} | ||
\begin{vers} | ||
Koden. | ||
Den er åben | ||
For Fit er frit, Fit er frit, Fit er frit, frit, frit | ||
Ja, koden den er åben | ||
For alle og enhver | ||
\end{vers} | ||
\begin{vers} | ||
Stregsystemet | ||
Er skrev’d i django | ||
For Fit er frit, Fit er frit, Fit er frit, frit, frit | ||
Stregsystemet er skrev’d i django | ||
Det kan vi ik’ gør’ noget ved | ||
\end{vers} | ||
\begin{vers} | ||
Al’ Mail boxes | ||
De skal spammes | ||
For Fit er frit, Fit er frit, Fit er frit, frit, frit | ||
Alle mail boxes, de skal spammes | ||
Så vi sender mer’ end vi får. | ||
\end{vers} | ||
\begin{vers} | ||
Brug emojis | ||
I transaktioner | ||
For Fit er frit, Fit er frit, Fit er frit, frit, frit | ||
Brug emojis alle emojis | ||
De lukker stregsystemet ned | ||
\end{vers} | ||
\begin{vers} | ||
Og når formanden | ||
Han vil høres | ||
For Fit er frit, Fit er frit, Fit er frit, frit, frit | ||
når formanden han vil høres | ||
Så kan han lav’ et pull request | ||
\end{vers} | ||
\end{sang} |