HNHacker News
TopNewBestAskShowJobs

alephaleph

156 karma · joined July 9, 2021

submissionscomments
alephaleph··on Typst, a new markup-based typesetting system, is now open source
> Math fonts and plain text fonts should be different. If you put quotes around something, you get plain text font.

Why? LaTeX defaults to Computer Modern for both text in math and normal text. And if you want to change just the math font in Typst I'm pretty sure you can do that with a one line set rule.

> Probably the first rule of any good typographical system is that it should not force the user to change how they normally write (barring special exceptions). Any syntax for typography should be additional to this, which is why escape syntax is so good. Forcing the user to put spaces between variables is a no go.

Did you have a habit of putting backslashes before everything before you used TeX? This is a nonsense standard. The math that appears in papers is mostly special characters and so it makes sense to prioritize the syntax for that over implicit multiplication, which is often written with spaces anyway.

alephaleph··on Typst, a new markup-based typesetting system, is now open source
I don't think the fact that you need to look up and copy recipes and download packages to do most complex formatting is a strength of LaTeX, and one of Typst's stated design goals is to make formatting composable enough that you don't need a package for everything. But guess only time will tell whether that works out.

The other selling point you're missing though is that Typst's compiler is designed for fast incremental compilation, which makes the Typst live preview and Multiplayer/Google Docs-style collaboration experience significantly nicer than Overleaf's, where a change to a large document could easily take 30 seconds or more to render.

alephaleph··on Typst, a new markup-based typesetting system, is now open source
people are reporting similar in the discord, I think their email service is just getting a little hammered rn
alephaleph··on Typst, a new markup-based typesetting system, is now open source
this isn't even a hack -- in Typst you write `$a b$` for implicit products, `$ab$` is always parsed as an identifier and you'll get a compile error if its not defined.
alephaleph··on Typst, a new markup-based typesetting system, is now open source
Unfortunately Typst is completely incompatible with LaTeX and its packages, so you either have to go back to working on your thesis or procrastinate even more by reimplementing these yourself!
alephaleph··on Typst, a new markup-based typesetting system, is now open source
The first bullet point is incorrect. In normal text, you use # for functions and symbols, i.e. #sym.phi or #emph. In math blocks, you don't use # for stuff like phi or floor but that's because it interprets everything as a function or symbol, with an exception for single letters. If you want any plain text in a math block, whether it's a function name or not, you just put quotes around it. If you want implicit multiplication, you need spaces between each letter.

I also don't know what you mean by the second bullet point. If you want repeatable single word or sentence formatting, you can define a function for it, which there is easy syntax for.

alephaleph··on Mastodon Flock: Migrate your tweeps to the Fediverse
getting some kind of error at 0% of "twitter.exe"? The details just say serverError.
alephaleph··on Temple Student Strike Turns Ugly as School Ends Some Tuition Aid
It seems pretty reasonable to call a punitive action that is intended to cause bodily harm violence.
alephaleph··on Hardcoded Folder Icons in macOS
is the website still alive? getting a bad certificate and if I push past it I get a "Coming Soon"
alephaleph··on OpenJourney: Midjourney, but Open Source
Lena all over again
alephaleph··on DALL-E for Playlists
or the concept of sleep: https://open.spotify.com/playlist/3CRpqI4rd0wx8RndZA2dKr?si=...
alephaleph··on DALL-E for Playlists
Through experimentation I have determined that this model has no idea what klezmer music is :(
alephaleph··on Why I'm less than infinitely hostile to cryptocurrency
This is one of the really gross things about it. It felt like finance assholes disguising themselves in t-shirts and jeans in order to cash out on two decades of breathless techno-optimism being regurgitated by the press, in order to get regular people to buy into what amounts to an unregulated online casino. (Not that the tech industry needed the help cashing out on hype.)

To me it feels of a kind with the sports betting sites you see advertised everywhere nowadays and those CSGO skin betting sites that steamers were (and still are! See the People Make Games video on this) advertising to twelve year olds.

alephaleph··on Why I'm less than infinitely hostile to cryptocurrency
My objection to her minting her art as an NFT was that she was going to lose money on it! She was about to become a bagholder in a market she probably didn’t even realize was a market!

The fundamental value of physical artworks is getting something pretty to put on your wall. The fundamental value of a digital commission is the existence of an image that otherwise would not exist. The NFT-theoretic concept of digital ownership isn’t inherently invalid or meaningless, but it’s not something that most regular people were ever going to find valuable, and it was being used as a smokescreen to obscure the fact that most of the value of NFTs came from speculation.

That call really soured me on the whole thing because it was firsthand evidence that cryptocurrency boosters were scamming ordinary people by convincing them that they were opening an Etsy store when they were actually buying casino chips.

alephaleph··on Why I'm less than infinitely hostile to cryptocurrency
I’m surprised how little I hate this piece; cryptocurrency is much more palatable when it’s claiming to be the tor of money and not the future of money. But I think it downplays the extent to which the latter claim is harmful, and just how inescapable it was over the past few years.

Lots of average Joes saw a superbowl ad, put their money into a large, well-respected exchange that didn’t promise impossible returns, and lost everything! I had a nontechy relative call and ask me how she should go about selling her (literal traditional paint-on-canvas) paintings as NFTs! For a little bit there it seemed like there might be enough momentum for cryptocurrency to become too-big-to-fail before skeptics even had time to object.

It also underplays the extent to which the kind of cryptocurrency stuff techies react negatively to is still explicitly or implicitly boosting that vision. Cryptocurrency as the tor of money is reasonable but also not something that for-profit companies have much incentive to be involved with. But next time I see a project whose target market are those living in countries with completely nonfunctional financial systems, people trying to escape authoritarian governments, or sex workers, I’ll think twice before being negative.

alephaleph··on GIMP Turns 27
most forms of nondestructive editing
alephaleph··on Never trust a system that seems to be working
*they, this is why they hate their tweets being posted here
alephaleph··on Necrobotics: Dead Spiders Reincarnated as Robot Grippers
don't open this link during a meeting, the header image is freaky
alephaleph··on The Dhall Configuration Language
How could they make the mistake obvious? It's a mistake in a string value!
alephaleph··on Ask HN: Is there a site popular with Gen Z where users can write HTML and CSS?
People have suggested glitch and neocities, which are probably the closest to what you’re describing, but I’d like to add a few more that are close to but not quite what you’re asking about:

Carrd is ubiquitous among a certain kind of zoomer, and while it’s more of a no code tool, I think it’s likely to be a gateway into web design for many, and probably the closest analogy to Tumblr customization Gen Z has.

And this is a bit farther afield but if you look at the popular stuff on Scratch you get the sense that a lot of young children are using it creatively, and that it will be a huge gateway into the industry in the future.

alephaleph··on Passerine: A small functional scripting language with macros, powered by Rust
ooh the concept of combining threading, exceptions and effect handling all into the same primitive language structure is really interesting
alephaleph··on Bad but interesting mathematical notation idea
> you can solve algebraic equations or calculus problems just by “pushing around the symbols”. But why can you do that? Where is the meaning, and how do the symbols capture the meaning? How does that work? The fact that symbols in general can somehow convey meaning is a deep philosophical mystery

The correspondance between symbols and meaning can and has been studied rigorously — it’s a main theme of Gödel Escher Bach and I’d recommend reading it if you find these kind of questions fascinating, even though it doesn’t have much to say about notation. The basic idea is that mathematical notation is working as a formal system whose semantics correspond to those of arithmetic. By pushing around symbols you’re applying inference rules of the formal system that encode axioms of mathematics.

alephaleph··on Show HN: Slow Social, a social network built for friends, not influencers
oof it's probably worse now than it was for me lol, when I used it I don't think they even had an algorithmic feed, just a subscribed and /r/all.

and yeah the hivemind stuff is pretty bad. I'm reminded of a talk that ViHart of all people did where they argued that in a McLuhanist "the medium is the message" way, reddit's focus on up and down votes and karma creates an extremely judgy and kind of adversarial experience that eventually breeds hiveminds. I'd also argue that reddit's focus on small communities managed individually by specific moderators creates an undercurrent of site drama that reliably rears its ugly head every few months or so, but I guess that's neither here nor there.

alephaleph··on Show HN: Slow Social, a social network built for friends, not influencers
yeah, that's fair. I was also in middle school at the time which is probably a bit too young to be using reddit, but I think that it's important to recognize that a social media platform that gives you high level control of the kind of content you see won't completely solve the problem of unhealthy social media usage, it will just make it easy for your usage to be either very healthy or very unhealthy. And that those unhealthy users will end up causing problems for the healthy users.

In a weird way I actually think that the weird stuff twitter has been doing to try to make it look like they're doing something about unhealthy social media usage (all the "remember the human" stuff) would probably be more effective on a reddit-type social media platform.

alephaleph··on Show HN: Slow Social, a social network built for friends, not influencers
I kind of disagree about this: maybe it's different if you're more mature but reddit was my first social media platform, I used it a lot in middle school, and in my experience rage bait was a huge problem. Rage bait subreddits become more and more extreme over time, losing the ability to distinguish the people they hate from parodies of the people they hate and effectively building up an effigy/totem of "the other side" to concentrate that hate onto. When all you have is a hammer, everything looks like a nail. I eventually realized I had to quit reddit because the extent to which I engaged in rage bait made me a worse person.
alephaleph··on Show HN: Slow Social, a social network built for friends, not influencers
the first social media platform I used was Reddit where you really can choose to be fed thirst traps or rage bait for the next hour by exclusively browsing one or two specific subreddits and I'm not sure I'd say that's much more healthy than fully algorithmic social media, it just has different problems.

Particularly the rage bait: I basically had to quit reddit because I realized the extent to which I engaged in rage bait made me a worse person.

alephaleph··on Nintendo Switch prevents downgrades by irreparably blowing its own fuses (2020)
Huh, I remember the NDS having a huge library, was Nintendo really having trouble getting people to develop for it?
alephaleph··on Ask HN: How can we fix Wikipedia?
I don't really think it's Wikipedia's job to litigate the truthfulness of such claims -- it's about consensus, not about "truth." Assigning Wikipedia the job of deciding what is true and what is not beyond just summarizing mainstream consensus and Wikipedia ends up having to take many more political stances and the project could quickly break down.
alephaleph··on In 2001, I said “I use Linux” to RMS's face
lmao
alephaleph··on Show HN: FileCream – A web-based operating system
Firstly, the title only vaguely relates to the product. Secondly, the word ‘cream’ outside of a culinary context usually either means some sort of medication you rub on your body, or it’s a slang word for ejaculation.
← PreviousPage 2 of 3Next →