| 13 Jan 2025 |
 loke | Yes. That's true. I was only thinking about cases where the size of ⍺ is very small (like 2 or 3). | 14:02:50 |
 a.brudz | No, but it isn't going to be much more than twice as expensive as the simple ⍸ | 14:05:48 |
|  bjorkdi5cord changed their display name from bjorkdi5cord#0 to bjorkdi5cord. | 14:13:44 |
|  shad.ow | 19:06:19 |
| 14 Jan 2025 |
 laulurastas | APL font as webfont, how to do? where to load it from? | 17:11:39 |
 polylokh_39446 | you do it in CSS. For BQN:
@font-face{
font-family: BQN;
src: url(/BQN386.ttf) format('truetype');
}
pre, code {
font-family: BQN, monospace;
font-weight: normal;
font-size: 0.94em;
letter-spacing: 0.2;
}
there's a font named "BQN", you can get it from the site itself (this could as easily be a remote URL) as a truetype font.
and in <pre> or <code> blocks, try to use that font, failing over to whatever the monospace font is. | 17:13:49 |
| laulurastas | hey thanks | 17:14:05 |
| polylokh_39446 | https://tryapl.org/style.css is pretty similar | 17:14:40 |
| a.brudz | @font-face {font-family: 'APL386';src: url('https://abrudz.github.io/APL386/APL386.ttf');}
@font-face {font-family: 'APL385';src: url('https://abrudz.github.io/APL386/APL385.ttf');}
| 18:05:11 |
| a.brudz | I suspect GitHub Pages might be more responsive and reliable than TryAPL's server. | 18:05:37 |
 silas | can the webpage itself not provide the fonts? | 19:39:21 |
| polylokh_39446 | conceivably, but if you're going to have more than one webpage it's already a loss to do that. | 19:41:42 |
| polylokh_39446 | if you mean to ask if the font can be served alongside the HTML from the same website, yes that's my first example and what tryapl.org's CSS does. That's just a relative path in url() | 19:43:30 |
| silas | ah, right - that's what was thinking (I don't know CSS:) | 19:44:07 |
| silas | thought github might be issue given recent outage | 19:44:41 |
| a.brudz | that was build, not pages, and only half an hour over how long uptime‽ | 19:52:00 |
|  twobular | 21:38:57 |
| 15 Jan 2025 |
|  en.de.lis changed their profile picture. | 03:48:39 |
 Kamila | i found out a way to parse a superset of lambda calculus using bunda gerth | 13:56:04 |
| Kamila | such a nice algorithm | 13:56:06 |
 discodoug | That sounds fun | 14:30:18 |
| Kamila | yeah it has user-defined operators that can have a specified binding strength/associativity | 14:44:48 |
 velocirocelot | Hey everyone! I was trying to write a program to find all primes between 1 and an integer, here's what I came up with: {(2≥+⌿0=(⍳⍵)∘.|⍳⍵)/⍳⍵} | 22:17:09 |
| velocirocelot | I'd love some suggestions on how to make this briefer | 22:17:21 |
 dzaima | velocirocelot you could deduplicate the ⍳⍵ with a ⍨, i.e. {(2≥+⌿0=∘.|⍨⍳⍵)/⍳⍵}; and x/⍳⍵ i ⍸x | 22:33:51 |
| dzaima | * velocirocelot you could deduplicate the ⍳⍵ with a ⍨, i.e. {(2≥+⌿0=∘.|⍨⍳⍵)/⍳⍵}; and x/⍳⍵ is ⍸x | 22:34:02 |
| velocirocelot | Awesome, thanks! I'm still learning the language, what do ⍨ and ⍸ do, respectively? | 22:35:14 |
| dzaima | ⍨ is a monadic operator (i.e. syntax is like F⌿ & F¨), which does F⍨x ↔ x F x; and ⍸x is simply just a function of x/⍳≢x here | 22:36:19 |
 rubenverg | the extended one from Dyalog? | 22:53:06 |
| rubenverg | or just the binding strength pairs version? | 22:53:18 |
