aspe:keyoxide.org:BKLA56YMD3ZB36QJIJ4NM4JN6Y
Benjamin Weinstein-Raun benwr
⛏️
benwr
/ # tinyxml1 - 2025-07-24_18-42-54.txt
Created
July 25, 2025 01:47
tinyxml1 (osrf/simulation/tinyxml1) on macOS 15 - Homebrew build logs
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
| Homebrew build logs for osrf/simulation/tinyxml1 on macOS 15 | |
| Build date: 2025-07-24 18:42:54 |
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
| [...] | |
| Delivered-To: b@w-r.me | |
| Received: by 2002:a05:6359:628a:b0:172:dcef:47e8 with SMTP id se10csp7687555rwb; | |
| Wed, 3 Jan 2024 07:07:35 -0800 (PST) | |
| X-Google-Smtp-Source: AGHT+IH4ojW/2eSP6bnumv1mMLAoAxFSeLXEys78nBFy+H3/y5fnnc7Dnxfm/WactOUsdfWbYvPy | |
| X-Received: by 2002:a5d:5005:0:b0:336:6bf1:6e6c with SMTP id e5-20020a5d5005000000b003366bf16e6cmr9987854wrt.108.1704294454666; | |
| Wed, 03 Jan 2024 07:07:34 -0800 (PST) | |
| [...] | |
| Return-Path: <root@benwr.net> | |
| Received: from mail-4323.proton.ch (mail-4323.proton.ch. [185.70.43.23]) |
benwr
/ case_is_const.idr
Created
June 5, 2020 22:23
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
| -- succeeds | |
| foo : if False then Nat else Bool | |
| foo = Z | |
| -- fails | |
| -- bar : if False then Nat else Bool | |
| -- bar = False | |
| -- succeeds | |
| baz : case S (S Z) of { Z => Nat; S Z => Bool; _ => Nat -> Bool } |
benwr
/ keybase.md
Created
October 10, 2019 02:13
I hereby claim:
- I am benwr on github.
- I am benwr (https://keybase.io/benwr) on keybase.
- I have a public key ASBd6OSd8PZIS4slNIw9hwoQk8_YJe7DgSzm2i1tLfk6IQo
To claim this, I am signing this object:
benwr
/ policy_for_hundred_game.txt
Created
October 21, 2018 08:57
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
| InProgress { number: 1, roll: 1 }: Some(Multiply) | |
| InProgress { number: 1, roll: 2 }: Some(Multiply) | |
| InProgress { number: 1, roll: 3 }: Some(Add) | |
| InProgress { number: 1, roll: 4 }: Some(Multiply) | |
| InProgress { number: 1, roll: 5 }: Some(Multiply) | |
| InProgress { number: 1, roll: 6 }: Some(Multiply) | |
| InProgress { number: 2, roll: 1 }: Some(Multiply) | |
| InProgress { number: 2, roll: 2 }: Some(Add) | |
| InProgress { number: 2, roll: 3 }: Some(Add) | |
| InProgress { number: 2, roll: 4 }: Some(Add) |