| 30 Jan 2023 |
 dzaima | can't really control that from within markdown though | 15:36:45 |
 joel | Can I install BQN font | 15:41:50 |
| joel | The one bqnpad uses maybe | 15:42:02 |
 Ykulvaarlck#2329 | iosevka | 15:42:22 |
| dzaima | (BQN-supporting fonts are listed here) | 15:42:37 |
| joel | @font-face {
font-family: "BQN";
src: url("https://github.com/dzaima/BQN386/raw/master/BQN386.ttf");
}
<span style="font-family="BQN">⋄</span>
| 16:05:25 |
| joel | Is there a way to make this work? | 16:05:33 |
| joel | * @font-face {
font-family: "BQN";
src: url("https://github.com/dzaima/BQN386/raw/master/BQN386.ttf");
}
<span style="font-family="BQN"">⋄</span>
| 16:06:04 |
| dzaima | you want style="font-family:BQN" | 16:06:46 |
| dzaima | (you probably shouldn't use a github.com url though; if anything, https://dzaima.github.io/BQN386/BQN386.ttf might be better, but I'd still suggest packing it along yourself unless you're hosting from github pages) | 16:15:13 |
| joel | Ah it's for local use. In a note taking app called logseq | 16:25:16 |
 Marshall | Then download so it keeps working offline! | 16:25:57 |
 aecepoglu[m] | I'm having a bit of a brain freeze trying to do ∨´F⟜b a in an imperative language. Can someone suggest me a solution that doesn't require length checking? | 18:44:28 |
| aecepoglu[m] | * I'm having a bit of a brain freeze trying to do ∨´F¨a in an imperative language. Can someone suggest me a solution that doesn't require length checking? | 18:45:02 |
| dzaima | if you want short circuiting, that's usually quite messy; otherwise, bool any=false; for (x : list) any |= f(x); | 18:46:22 |
| dzaima | in JS there's a.some(x => f(x)) | 18:46:58 |
| aecepoglu[m] | Yes there is but we'd have to start with any = list.length == 0 | 18:47:17 |
| dzaima | that's not what ∨´ in BQN nor APL does | 18:47:44 |
| dzaima | BQN) ∨´⟨⟩ | 18:48:06 |
 BQNBot | dzaima 0 | 18:48:07 |
| aecepoglu[m] | Good. The BQN version would be ∧´¬∘F¨list then | 18:48:39 |
| aecepoglu[m] | One of those two defaulted to 1, didn't they? | 18:49:04 |
| aecepoglu[m] | BQN) ∧´⟨⟩ | 18:49:10 |
| BQNBot | aecepoglu[m] 1 | 18:49:10 |
| dzaima | BQN) {∨´5=𝕩}‿{∧´¬5=𝕩} {𝕎𝕩}⌜ ⟨⟨⟩, ↕3, ↕10⟩ you're not gonna get that behavior in any way without a length check | 18:50:31 |
| BQNBot | dzaima┌─
╵ 0 0 1
1 1 0
┘
| 18:50:32 |
| dzaima | ∧´𝕩 is exactly ¬∨´¬𝕩 | 18:51:01 |
| aecepoglu[m] | BQN) ⟨∧´1‿1‿1,∧´⟨⟩,∧´0‿1‿0,∧´0‿0⟩ | 18:54:18 |
| BQNBot | aecepoglu[m] ⟨ 1 1 0 0 ⟩ | 18:54:19 |
| aecepoglu[m] | ∧´ ≡ ¬∨´¬, I see that yes | 18:56:28 |
