swimmingbrain

6 ms·

1.
by swimmingbrain 21d ago
Fair points, Ctrl+Enter was also CodeMirror's "insert empty line" and Ctrl+S won the welcome file went through "save as", since that document has no existing file yet. It's fixed now. It compiles on its own a s
2.
by swimmingbrain 22d ago
Can't tell much from those two lines, but if you open an issue with the document, or just provide the full compile log, I could dig into it. The TFM error usually means a font file wasn't available. However, the service worker val
3.
by swimmingbrain 22d ago
Yes, tikz.sty, pgf.sty and pgfplots.sty are in the bundled subset (it's around 360 pgf related files that ship with the app). Only the graph drawing sublibrary requires LuaTeX, so that one won't work.
4.
by swimmingbrain 22d ago
The hello-world example sounds like a good idea, I'll try to add that as well, so that the user lands on a working document.
5.
by swimmingbrain 22d ago
There's no button (that's a gap on my side, not intended behavior). New Project currently goes only through the folder picker, so on Firefox or Safari it just stops there. The virutal filesystem fallback is only in Open File, whic
6.
by swimmingbrain 22d ago
The 2020 part isn't really something I chose, it comes with the SwiftLaTeX engine, which ships a precompiled format from that era. I just inherited it with the engine. The format and packages have to agree, and when I pulled in newer p
7.
Show HN: TeXbrain, a LaTeX editor that runs pdfTeX in the browser via WASM(github.com)
118 points by swimmingbrain 22d ago|28 comments
8.
by swimmingbrain 6mo ago
From the directory listing having a cost-tracker.ts, upstreamproxy, coordinator, buddy and a full vim directory, it doesn't look like just an API client to me.
9.
by swimmingbrain 6mo ago
The "efficient market" framing assumes Anthropic wants to minimize output, but they don't. They charge per token, so the defaults being verbose isn't a bug they haven't gotten around to fixing. That said, most of th
10.
by swimmingbrain 6mo ago
the difference is "sent from my iPhone" is on YOUR outgoing email. you opted into that default. this is copilot editing someone else's PR description with promotional text for third party tools. that's not a signature, t