Erik Terpstra eterps
eterps
/ bounce.ghc
Created
May 25, 2022 18:07
From: http://www.call-with-current-continuation.org/microfleng/microfleng-1.tgz (examples/uxn/bounce.ghc)
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
| % bouncing balls | |
| -initialization(main). | |
| main :- | |
| poke(0x4c00, [0x3c, 0x7e, 0xff, 0xff, 0xff, 0xff, 0x7e, 0x3c], D1), | |
| set_colors(0x0ce9, 0x01c0, 0x0ce5, D2), | |
| start(D1, D2). | |
| start([], []) :- |
eterps
/ filmvandaag_hide_low_scores.userscript.js
Created
February 10, 2022 15:52
Userscript that hides every score below a 6 from filmvandaag.nl movie results
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
| // ==UserScript== | |
| // @name Hide low scores from filmvandaag.nl | |
| // @namespace http://tampermonkey.net/ | |
| // @version 0.1 | |
| // @description Hides every score below a 6 from filmvandaag.nl movie results | |
| // @author Erik Terpstra | |
| // @match https://www.filmvandaag.nl/* | |
| // @icon https://www.google.com/s2/favicons?domain=filmvandaag.nl | |
| // @grant none | |
| // ==/UserScript== |
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
| import gleam/list | |
| import gleam/result | |
| import gleam/string | |
| type PersonalName { | |
| PersonalName( | |
| first_name: String, | |
| middle_initial: result.Option(String), | |
| last_name: String, | |
| ) |
eterps
/ app.js
Created
July 19, 2019 07:19
— forked from dergachev/app.js
Manual JS prettification of enterprisewiki.co. See http://news.ycombinator.com/item?id=4933049
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
| // https://github.com/EightMedia/hammer.js/blob/master/hammer.js | |
| function toId(t) { | |
| return t.toLowerCase().replace(/[^a-z]/gi, "-").replace(/-+/gi, "-") | |
| } | |
| function toc() { | |
| var t = $("#sidebar").html(""); | |
| $("h1,h2,h3").each(function() { | |
| var e = $(this).clone(), n = $(this).offset().top; | |
| "#" != e.html() && (e.is("h3") && e.html("‐ " + e.html()), t.append(e), e.on("click", function() { | |
| $("body").animate({scrollTop: n}, 200) |
eterps
/ do_sequentially.nim
Created
June 5, 2019 18:38
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
| # Currently doesn't work | |
| import macros | |
| macro do_sequentially(idx: int, statements: varargs[untyped]): untyped = | |
| result = nnkStmtList.newTree() | |
| do_sequentially(1): | |
| do: echo "Foo" | |
| do: echo "Bar" |
eterps
/ oberon0_fragment.ohm
Created
May 31, 2019 07:13
Fragment of Oberon0 for https://ohmlang.github.io/editor/
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
| Oberon0 { | |
| Module = "MODULE" ident ";" "BEGIN" StatSeq "END" ident "." | |
| StatSeq = statement (";" statement)* | |
| statement = procedureCall? | |
| procedureCall = ident (actualParameters | "*")? | |
| actualParameters = "(" integer ("," integer)* ")" | |
| integer = digit+ | |
| ident = letter alnum* | |
| } |
eterps
/ io.mod
Created
May 28, 2019 20:00
Oberon-0: https://inf.ethz.ch/personal/wirth/CompilerConstruction/index.html
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
| MODULE IO; (*for Oberon0 NW 29.4.2017*) | |
| IMPORT Texts,Oberon; | |
| VAR S: Texts.Scanner; W: Texts.Writer; | |
| PROCEDURE OpenInput*; | |
| BEGIN Texts.OpenScanner(S, Oberon.Par.text, Oberon.Par.pos); Texts.Scan(S) | |
| END OpenInput; | |
| PROCEDURE ReadInt*(VAR x: LONGINT); | |
| BEGIN x := S.i; Texts.Scan(S) |
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
| type customerId = | |
| | CustomerId(int); | |
| type orderId = | |
| | OrderId(int); | |
| let cid = CustomerId(42); | |
| let oid = OrderId(42); | |
| cid == oid; |
eterps
/ Samsung Smart-TV Blocklist Adlist (for PiHole)
Last active
February 7, 2025 17:38
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
| # This is a blocklist to block samsung smart tv's sending meta data at home. | |
| # Please help to collect domains! | |
| # It could be that the TV does not receive any more updates or other services no longer work. Please report such an incident. | |
| # https://gist.github.com/Perflyst/315f86393712a0c2107ee8eb58c6acee | |
| 0.0.0.0 device-metrics-us.amazon.com | |
| 0.0.0.0 samsungacr.com | |
| 0.0.0.0 samsungcloudsolution.com | |
| 0.0.0.0 samsungcloudsolution.net | |
| 0.0.0.0 pavv.co.kr |
eterps
/ setup_sway
Created
December 7, 2018 12:10
Install Sway (a tiling Wayland compositor) on Ubuntu
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
| #!/bin/bash | |
| set -e | |
| # Based on: https://gist.github.com/concatime/265fa14d260f3aa237ddf991d58dd639 | |
| mkdir /tmp/setup_sway | |
| cd /tmp/setup_sway | |
| # === Helpers === |