Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
josephg
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
20 ms
·
271.
▲
by
josephg
4mo ago
But you can't abstract. I can't make a custom template for an image + caption, and use it throughout my markdown document. You can do some pretty wild stuff with html. But if you do, you get an unreadable jumble of markdown and HT
272.
▲
by
josephg
4mo ago
> it is plain you want typst or latex and not a markdown or any other so called lightweight markup Yes, I've been quite clear on that point. Markdown isn't powerful enough for some of the writing I do. Upthread you wrote this:
273.
▲
by
josephg
4mo ago
No, latex does not resemble markdown while authoring. Text ends up intermingled with ugly \sectionheader tags everywhere. Re: automated translation, you’re projecting your requirements onto me. I can see how automatic translation would be d
274.
▲
by
josephg
4mo ago
> Adequate often means done and cheap It really, REALLY depends what you're working on. If you're throwing together an internal tool or simple dashboard, it doesn't really matter what the code looks like. But if you'r
275.
▲
by
josephg
4mo ago
I don’t believe that that follows. Understanding what is and isn’t under our control doesn’t remove life’s joys or life’s sorrows. Stoicism helps save you from some unnecessary suffering. But it doesn’t numb you to life. Or prevent you from
276.
▲
by
josephg
4mo ago
Typst has experimental support for html in the recent versions.
277.
▲
by
josephg
4mo ago
I assume you’re snipping about stoicism being Greek not Roman? I’d appreciate if you just say what you mean. I’m not your student. I’m not accepting homework assignments from a random internet commenter.
278.
▲
by
josephg
4mo ago
I’ve never seen a markdown based workflow which supports the features I listed. If I’m wrong, it would be easy to demonstrate it by citing some tools. Just calling me a liar for disagreeing with you will convince nobody.
279.
▲
by
josephg
4mo ago
> you have literally just made something up. Huh? I’ve authored a couple academic articles in typst. At its base, typst is very similar to markdown. You use == for section headers, * for italics and so on. I authored articles in typst
280.
▲
by
josephg
4mo ago
The idea that "being stoic" means to be emotionless isn't a roman idea. Its a modern one.
281.
▲
by
josephg
4mo ago
> Ordinary markdowns have had /everything/ you mention for close to 20 years, except typesetting. Huh? I roll to doubt. How do you do this stuff with markdown? I tried for ages but only got half-baked hacky "markdown exten
282.
▲
by
josephg
4mo ago
Right; but markdown has expanded beyond that niche. Lots of projects use markdown for other stuff - like mdbook, or for blogs. I think markdown is a great format for readme files. But for real documentation, the added features of typst are
283.
▲
by
josephg
4mo ago
Yep. The pros also come with a bunch of different silicon ear tips to fit a range of different ear canal sizes.
284.
▲
by
josephg
4mo ago
Yep this. They never make you verify your email address on a captive portals. (Since you can’t check your email without an internet connection in the first place).
285.
▲
by
josephg
4mo ago
This was my experience too. I asked fable to implement a (quite complex, novel) CRDT engine. It did fantastic work for the 3 days I had access to it. The spec it wrote is exactly what I want. It used prototypes and examples to figure out so
286.
▲
by
josephg
4mo ago
> storage isn't an issue and bandwidth isn't an issue. Oh well... Right; the issue is compatibility. But that doesn't get solved if we collectively stick to the past and only use old formats like gif and jpeg. Compatibilit
287.
▲
by
josephg
4mo ago
Strangely enough, america's tech sector is still exceptional on a global stage. I'm not entirely sure why. There's something magic that happens in the bay area as a result of funding and talent density. Its weird - I'm a
288.
▲
by
josephg
4mo ago
Same here in australia. We had NFC payments ("tap and pay") since ~2006. Nearly a decade before apple pay launched in Nov 2015. For us, apple pay was like "oh, I can use my phone instead of my credit card? Neat." People
289.
▲
by
josephg
4mo ago
Cool post. FYI you might be better off getting one big fan for your "radiator" instead of lots of little fans. Big fans don't need to spin as fast as small fans to push the same amount of air. So they run a lot quieter.
290.
▲
by
josephg
4mo ago
> First of all, Rust is default safe. [...] in Rust they just swallow the penalty The borrow checker runs at compile-time, not run-time. Safety doesn't slow down your code except in a few small, specific ways like array bounds check
291.
▲
by
josephg
4mo ago
If these hardened libraries were as good, we wouldn't have blog posts like this[1], from the android team last year. > We adopted Rust for its security and are seeing a 1000x reduction in memory safety vulnerability density compared
292.
▲
by
josephg
4mo ago
> Rust already has warts from bad API designs that constrains performance and they are unlikely to ever be fixed even with new editions. Like what? > Aliasing has yet to provide any real benefit for Rust and a hell of a lot of issues.
293.
▲
by
josephg
4mo ago
> Until Rust has equal meta-programming support to C++ it's always going to be "slower". What metaprogramming does C++ have that rust is lacking? If you need more than traits + generics, rust also has proc macros. Proc mac
294.
▲
by
josephg
4mo ago
Yes. Its also explicit instead of implicit. In rust (and typescript, swift, haskell and others), you have to opt-in to nullability. By default, functions can't take a null in place of a non-nullable value. And whether a function accept
295.
▲
by
josephg
4mo ago
Returning to the context of this post, this is one of the things I really like about rust. (And zig, haskell, typescript, swift and others). These languages make invalid states impossible to represent. If my function takes a value of type T
296.
▲
by
josephg
4mo ago
Its 21 issues. And they've been human validated, as far as I can tell.
297.
▲
by
josephg
4mo ago
We'll see. I think mass JMAP adoption is really waiting for either apple (mail.app) or google (gmail) to jump on it. My favorite feature of JMAP is that it gives you a single, consistent API endpoint that works for native clients, webm
298.
▲
by
josephg
4mo ago
> I don't really think it's actionable. How is it not actionable? "Hey, you seem keen on feature X but I don't care about that. Just maintain X in your own fork. Thanks!" -> Close issue / PR. Is this an i
299.
▲
by
josephg
4mo ago
The list of preinstalled CAs is long. I think its a safe bet that many nation-states have covert control over at least one CA on that list. (Or they have one of the root signing certs). HTTPS is way better than HTTP. But I'd personally
300.
▲
by
josephg
4mo ago
A maintainer recently told me to “Fork baby, fork!” in response to a large patch set. I was delighted.
More ›