cbolton

10 ms·

121.
by cbolton 1y ago
You can bypass the system prompt by using the API? I thought part of the "safety" of LLMs was implemented with the system prompt. Does that mean it's easier to get unsafe answers by using the API instead of the GUI?
122.
by cbolton 1y ago
> I can also say confidently that the #1 method to combat memory safety errors is array bounds checking. The #2 method is guaranteed initialization of variables. The #3 is stop doing pointer arithmetic (use arrays and ref's instead)
123.
by cbolton 2y ago
Do I understand this right: The evidence that they took it from a LLM is that all LLMs give the same answer and this answer describes what they did? By that logic, it looks like Pythagoras got his theorem from an LLM...
124.
by cbolton 2y ago
I think that's a very unfair take. As a summary for non-experts I found it did a great job of explaining how by analyzing activated features in the model, you can get an idea of what it's doing to produce the answer. And also how
125.
by cbolton 2y ago
There is no consensus on that, and it's not just about teachers. It depends on the mathematical field and tradition. It usually starts at 1 in German, at 0 in French due to the influence of the Bourbakis, and in English I think it&#x27
126.
by cbolton 2y ago
Doesn't Google offer interoperability for the equivalent features in Android? (well maybe not private symbols in the closed source parts). So I don't see why it should be a big problem for Apple to comply. Except of course that it
127.
by cbolton 2y ago
You can include PDF figures with the muchpdf package: https://typst.app/universe/package/muchpdf
128.
by cbolton 2y ago
Did you try the MuchPDF package mentioned near the bottom of that discussion? It seems to do the job for what I tried.
129.
by cbolton 2y ago
Of course just mentioning the diagnosis will not fix the problem. That doesn't mean the diagnosis is useless. But using the diagnosis might take more effort than just telling engineers to fix it. Same with a medical diagnosis. You don&
130.
by cbolton 2y ago
As I understand, they're less stressed about having things at precise points in time and are fine with waiting. I guess they would say something like "13 zero zero" when necessary...
131.
by cbolton 2y ago
Seems like there are important cultural differences in how appointment times are understood. Last week I was talking to a friend living in the Comoros, who mentioned that for them 13:59 is still 13:00 for this purpose.
132.
by cbolton 2y ago
When compiling the Markdown to PDF, you might want to customize the PDF template. That's arguably easier and more pleasant to do with a Typst template than a Latex template. Also the compilation with Typst is often much faster.
133.
by cbolton 2y ago
Currently it only outputs PDF, PNG and SVG. The next release will have preliminary support for HTML. This will be a structured output so from there it will be easier to support other formats either directly or in post-processing e.g. throug
134.
by cbolton 2y ago
I don't think that is at all obvious from OP's comment. Reading "But his sensitive murderers and soulful prostitutes are not to be endured for one moment" the straightforward interpretation is that the writer doesn'
135.
by cbolton 2y ago
Works in Julia: julia> (1+im)^(1+im) 0.2739572538301211 + 0.5837007587586147im
136.
by cbolton 2y ago
Cassettes are more expensive and worse quality, but significantly more robust in typical use until you put it in a bad device (or hands) that gets the tape out. I've given cassettes to a 3 year old, and they all still play fine except
137.
by cbolton 2y ago
"Completely unknown" is the main point here. I don't think categorical statements make sense when they are based only on what we know. The Wright brothers seem like a poor example. But consider the slowing down of time near m
138.
by cbolton 2y ago
But they do, it's basically the last part of the abstract.
139.
by cbolton 2y ago
The global namespace in typst is limited to "states", a rather specific feature similar to the global TeX counters for headings and equations. So it's possible for two packages to increment the same counter. Everything else i
140.
by cbolton 2y ago
In the example, the amplitude of the flashlight signal is distorted by the movement of the trees. The signal is never completely hidden. Not sure if that answers your question...
141.
by cbolton 2y ago
That's exactly what the parent comment described in the beautiful example where the AM noise is due to moving tree leafs affecting the intensity of transmitted light, and you can fix it by varying color, which means varying the frequen
142.
by cbolton 2y ago
I think the size difference was just me being careless with zoom levels in different apps. I thought it was enough to make the point, since you can compare the space sizes to the character sizes. I put another comparison here: https:/
143.
by cbolton 2y ago
Could it be an illusion because the "zoom" is a bit different? (I was screenshotting different applications). Here's a better comparison: 11pt size for both, then importing the LaTeX output in typst (using SVG conversion sinc
144.
by cbolton 2y ago
I would just define `#let eqref(target) = "(" + ref(target, supplement: none) + ")"` and then use it as in "from #eqref(<eq-xy>) we see that..". You can probably do that with a function given as supplemen
145.
by cbolton 2y ago
I think you're imagining things... This spacing stuff is mostly defined in the font files and typst uses the same math font (or a more recent version, depending on your LaTeX config). I made a small comparison: https://imgur
146.
by cbolton 2y ago
Maybe I was a bit harsh too :) I don't think the debugging experience is worse than in LaTeX (a low bar admittedly): you can print to the console in LaTeX but it's drowned in other messages. Instead of grepping the console in prac
147.
by cbolton 2y ago
Sure but you have to take into account how easier it is to build these things in typst. It's like one year since the first public typst release and someone already built a very functional "TikZ" equivalent called CeTZ. Far fr
148.
by cbolton 2y ago
Do give typst's syntax a try! I had the same worry as you but I now find typst's syntax more pleasant to write, and the resulting code is much more readable. Instead of \frac{1}{\alpha - 1}\ \mathrm{for}\ n\in\{1, \ldots, N\
149.
by cbolton 2y ago
I disagree with the assumption that the red/blue conflict should produce an error. In real life most of the time you want one style to override the other. So in this simplistic example at least, having the result determined by the orde
150.
by cbolton 2y ago
I think compatibility issues in LaTeX often come from packages that redefine the same macros in incompatible ways. This kind of things doesn't happen in typst because all user code is pure: a package can define 1) values or pure functi

More ›