Independence Day und Website Updates
4th of July, USA. Für mich ist das einer der seltenen Feiertage die ich in den USA habe. Zum Vergleich: USA hat 10 Feiertage, Deutschland hat 17 Gesetzliche Urlaubstage im Jahr 2018 (Quelle: Schulferien.org).
Daher habe ich etwas Zeit um an meiner Website zu basteln, hauptsächlich ein paar interne Änderungen aber der größte Part war die Volltext-Suche.
Im Prinzip indiziere ich wie ein [Webcrawler]https://de.wikipedia.org/wiki/Webcrawler) meine eigene Website, schreibe das Ergebnis weg in eine Datenbank und die Suchmaske ist dann nur etwas SQL- und PHP-Foo.