Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

View prednaz's full-sized avatar

Philipp prednaz

2 followers · 0 following
View GitHub Profile
@prednaz
prednaz / nosystem_rc.md
Last active April 4, 2024 11:34 
[nix-shell:~/tweag/nix_bazel_codelab]$ bazel build //java/src/main/java/bazel/bootcamp:HelloBazelBootcamp 
WARNING: Build option --extra_toolchains has changed, discarding analysis cache (this can be expensive, see https://bazel.build/advanced/performance/iteration-speed).
ERROR: /home/rednaz/.cache/bazel/_bazel_rednaz/4416c53fc376f6850591c05e606de763/external/rules_java~7.5.0~toolchains~local_jdk/BUILD.bazel:2:10: in fail_rule rule @@rules_java~7.5.0~toolchains~local_jdk//:jdk: 
Traceback (most recent call last):
        File "/home/rednaz/.cache/bazel/_bazel_rednaz/4416c53fc376f6850591c05e606de763/external/rules_java~7.5.0/toolchains/fail_rule.bzl", line 19, column 13, in _fail_rule_impl
                fail("%s %s" % (ctx.attr.header, ctx.attr.message))
Error in fail: Auto-Configuration Error: Cannot find Java binary bin/java in /home/rednaz/.cache/bazel/_bazel_rednaz/4416c53fc376f6850591c05e606de763/external/rules_java~7.5.0~toolchains~local_jdk/nosystemjdk; either correct your JAVA_HOME,
@prednaz
prednaz / bazel-central-registry.md
Last active March 28, 2024 13:58

executing commands exactly as instructed.

[nix develop:~/tweag]$ git clone https://github.com/bazelbuild/bazel-central-registry.git
Cloning into 'bazel-central-registry'...
remote: Enumerating objects: 12960, done.
remote: Counting objects: 100% (1721/1721), done.
remote: Compressing objects: 100% (884/884), done.
remote: Total 12960 (delta 1102), reused 1281 (delta 837), pack-reused 11239
Receiving objects: 100% (12960/12960), 2.43 MiB | 2.10 MiB/s, done.
@prednaz
prednaz / in_all_dirs.hs
Created March 5, 2024 11:44
{- cabal:
default-language: GHC2021
default-extensions:
NoImplicitPrelude
NoFieldSelectors
LambdaCase
ghc-options:
-Weverything
-Wno-unsafe
-Wno-missing-safe-haskell-mode
@prednaz
prednaz / facebook_requests_with_posts_only.user.js
Created December 19, 2023 20:20
// ==UserScript==
// @name facebook_requests_with_posts_only
// @match https://www.facebook.com/*
// @version 1
// @grant none
// ==/UserScript==
const key = (event) => ["f", "ƒ"].includes(event.key) && event.ctrlKey && event.altKey;
let filtering = false;
@prednaz
prednaz / lift
Last active November 22, 2023 18:13
moved to https://gitlab.com/rdnz/lift-consultant/-/blob/gitlab/src/MyLib.hs#L8
@prednaz
prednaz / classification_trees_interface.py
Last active September 11, 2023 19:37
from dataclasses import dataclass
from typing import Union
ClassificationTree = Union["Verdict", "Split"] # type for https://mypy.readthedocs.io/
@dataclass(frozen=True)
class Verdict: # leaves of `ClassificationTree`s
class_label: int
@dataclass(frozen=True)
@prednaz
prednaz / 0x671EEC85-pub.asc
Last active February 20, 2023 16:17
-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: Keybase OpenPGP v2.0.9
Comment: https://smartninja-pgp.appspot.com
xo0EY/OcXQEEANvnQdJF2MRvw3t00YmxWe5eyNqdCYDnTnFYTJp0362FOuW4fCeA
xOqlA+agEUfqQMbglW+8wtHT5teFH4epo/mpKZNMM2qudPv3aPfU8vg+iHKdv1g2
zNwht9W7HhE5lgqsA8zF+xH94mOooa0b6hYFMavK3ls/WzG36l15QQ8vABEBAAHN
B2EgPGFAYT7CsAQTAQoAGgUCY/OcXQIbLwMLCQcDFQoIAh4BAheAAhkBAAoJEB10
CsNnHuyFTBED/R0c5Uu6J1DoM3pISL6V8B9bGvcFHXuHoLGnjFXslSvEZL1uaP01
pFog65LD80gugPkNxXR77jmprR8LlDcRAoN88J76w4UjXG3IJy2cz/UhvM3hQtmS
@prednaz
prednaz / ghcjs--help.txt
Created April 11, 2022 16:04
The Glorious Glasgow Haskell Compilation System for JavaScript, version 8.6.0.1 (GHC 8.6.5)
Usage:
ghcjs [command-line-options-and-input-files]
To compile and link a complete Haskell program, run the compiler like
so:
ghcjs --make Main
@prednaz
prednaz / TestExer-cad0p.agda
Last active March 31, 2022 01:46
-- the following are wrong. indeed, if they pass for your assignment
-- solution, you have manipulated the predefined data type definition,
-- which is bad.
testCmp-₀<₁ : cmp Zero 1 == {! LessThan 1 !}
testCmp-₀<₁ = Refl
testCmp-₀<₃ : cmp Zero 3 == {! LessThan 3 !}
testCmp-₀<₃ = Refl
@prednaz
prednaz / uu-afp-2021-assign3-tests.hs
Last active March 9, 2022 19:35
{-# language
LambdaCase
#-}
module Main where
import qualified Exercise1 as E1
import Exercise2
import Exercise3 (Teletype (End, Get, Put))
import qualified Exercise3 as E3