Hacker Newsnew | past | comments | ask | show | jobs | submit | buo's commentslogin

The compiler is open-source and can be run locally. You need an account if you want to use their web editor, which is nice (it shows error messages where they occur along with an explanation and link to docs, and also shows a real-time updated preview).

As for Latex vs Typst, as a language Typst is much better, compiles very quickly, and has sane error messages. However, Typst still has a few rough edges, and can't do everything you can with Latex + packages (yet).

I've been using Typst for most of my documents for a few months and I've been generally happy with it.


You can use the online editor without login: https://typst.app/play/


> You don't become more extroverted, but you can improve your social skills.

The way I did it is: I learned to _pretend_ to be extroverted. It works!


It works, but it's incredibly exhausting and not fun at all, so why bother?


It is exhausting, but it can be fun. My motivation was to network during conferences. I ended up meeting interesting people, having good conversations, and enjoying myself more.


Yes, thats a win but use it casually when needed because it depletes you. You can’t change your nature, but you can oscilate it here and there. A drink helps too


Because the alternative is you hide at home and get depressed and then go off and kill yourself because life isn't worth living anymore.


If you're genuinely an introvert, the alternative is you "hide at home" and have fun doing so. And socialize infrequently with few very close friends (basically, quality over quantity).


Yep; this.

I'm pretty good at socializing when I need to. I'll still most likely be wishing throughout that I was out eating dinner or having a beer at a brewery by myself with a good book or HN on my eInk tablet. Being by myself is extremely restorative and makes me happy.

I think this is what having an introverted personality is like.


The difference is between gaining a skill vs loving what you do. Introverted person practice socializing is more of a skill development than actually loving every moment of it. True introverts are happy being alone (they are not lonely as in a negative sense).

I think it is easier for introvertes to gain extrovertion skill (clear benefits) than extroverts to gain introversion skills (benefits of being alone is not that obvious)


I used to be a lot more introverted until I realized the value of extroverted behavior is not so superficial.

For some reason, and especially on HN, extroversion is seen as a simple meaningless choice at best or sociopathic and manipulative at worst. It's really about finding new ideas, updating your mental models, and making rational decisions. So many things in life depend on your surroundings. if you're not interacting with the humans in it, you are just avoiding change. If you only socialize on the internet and with groups of like-minded people you find in real life, you are being manipulated.


I have to use a Windows laptop for work; it was migrated to Windows 11 a few months ago. Win 11 is definitely, measurably worse than Win 10, at least in the configuration that my employer's IT forces on the machine. One example is that its UI is much slower (typing in the search box at normal speed often misses keystrokes, for instance -- never happened on Win 10).


> to each and every individual

Not to each one. I'm willing to pay more (within my means and within reason) if it pollutes less and/or produces less CO2.


Given you're surfing this forum, you probably work in tech and have expendable income, most people don't. Also there are many ways you could (and maybe already are) spend money to reduce CO2 impact. Electric car, buying solar, etc.




I think the best vertical tabs implementation in firefox is Sidebery. The use of "panes" to group tabs is brilliant. Older versions were buggy, but version 5 has been rock solid for me.

https://github.com/mbnuqw/sidebery


Another former Tree Style Tabs user, now on Sideberry with no regrets.

I am excited that FireFox is working this in by default so I don't have to keep fiddling with userChrome.css to get rid of the top tab bar.


Looks like we won't have nesting in Firefox's implementation which made it kinda pointless to me.


So they've copied Edge's poor implementation of vertical tabs. Blech.

Hey, look on the bright side: maybe chromium will get vertical tabs soon!


Can't agree more, have been using sidebery for about a month now, and even completely dropped chromium which I ran beside firefox for the last years to only running firefox with sideberry and container-tabs now.


I've been using vertical tabs (first TreeStyleTabs, now Sideberry for the last ~6 months) and I'm in the same boat.

Chrome is faster, snappier and works better on more websites I commonly use, but the fact that I cannot have "vertical tabs as trees" ruins the entire browser experience for me, so it's basically the only reason I use Firefox for the last decade or something.


Add NoScript and Firefox will be much faster than Chrome. It will make you aware of how much untrusted code poorly developed sites expect you to run on their behalf.


Well, turn off JavaScript in Chrome and you back to Chrome being faster. Turning off JS is obviously not a solution when the complaint is that (assuming the same amount of work) Chrome is faster for some JS.


NoScript doesn't turn off javascript. It allows you to selectively disable some scripts while whitelisting others. You can't use much of the modern web without JS but you can neuter the dozens of trackers and ad bloat some sites insist on running on your computer.


I'm well aware of what NoScript does, I'm already using it. It seems you're missing the point of the comparison.


Running uBlock Origin in “Medium mode” [1] also does wonders (= blocking 3p-scripts and frames). It’s interesting to see how many websites work in this mode, and the amount of crap you’re not seeing. Websites load so much faster. And, you can then (permanently, or not) easily whitelist some specific domains like content providers, etc. while browsing.

[1] https://github.com/gorhill/uBlock/wiki/Blocking-mode:-medium...


How have I not heard about this in the bajillion times I whined about tab groups?

I kinda dislike that Firefox only have one good option that involves completely hiding each group currently not in use, but it functioned ith their tab containers which made it worth the hassle.

If this does too, I'm switching permanently


How do panes scale for many groups? Can you manage 20, 30 panes? Or does it become annoying at this amount?

Sidebery is nice, but it's missing an API allowing other addons to interact with it. This is a big benefit of Tree Style Tabs, especially as you can even exploit it as a user.


I have 20 panes and it works fine.


I use Sidebery, and I added some custom userChrome.css to have the sidebar collapse to only take up 36px, and expand on hover, absolutely love using it


I switched to sideberry a while back, and yeah - very much agreed, it's leagues ahead of others in terms of base experience breadth (container tabs and whatnot are fully integrated) and customization options.

Their wiki also has a very simple and effective userChrome.css tweak to hide the top tab bar when the side panel is open. That's a rather crucial vertical space savings on a small laptop.


I've added commands to Tridactyl that expand/collapse the tabs I'm on in Tree Style Tabs, using their javascript API. Does Sidebery have anything like that?


Started using Sideberry over a year ago and have not looked back since. Very good stuff.


Sidebery is amazing. I have been using it for more than a year now and I love it.


I am healthy, and intend to remain so -- I wear an N95 in all indoor spaces.


The single best prevention for viruses is an adequate amount of quality sleep.


I'd love to see some research on how quality sleep helps with, say, Ebola.


Sleep is primarily preventative, as it plays a role in the immune system. Personally, I haven't been sick in many years and when other people are getting sick I just get tired and sleep a few more hours than usual.


I think it's interesting that human minds generally (though not always!) improve when exposed to the output of other human minds. It seems to be the opposite for current LLMs.


Maybe it's less about "Human VS Robot" and more about exposure to "Original thoughts VS mass-produced average thoughts".

I don't think a human mind would be improving if they're in a echo-chamber with no new information. I think the reason the human mind is improving is because we're exposed to new, original and/or different thoughts, that we hadn't considered or come across before.

Meanwhile, a LLM will just regurgitate the most likely token based on the previous one, so there isn't any originality there, hence any output from a LLM cannot improve another LLM. There is nothing new to be learned, basically.


> I don't think a human mind would be improving if they're in a echo-chamber with no new information

If this were true of humans, we would have never made it this far

Humans are very capable of looking around themselves and thinking "I can do better than this", and then trying to come up with ways how

LLMs are not


> Humans are very capable of looking around themselves and thinking "I can do better than this"

Doesn't this require at least some perspective of what "better than this" means, which you could only know with at least a bit of outside influence in one way or another?


Every human has feelings and instincts, they answer what "better than this" means.

Yes, even in math and science, those were built on top of our feeling of "better than this" iterated over thousands of years.


Parsimony, explanatory power, and aesthetics. These are things that could be taught to a computer, and I think we will. We had to evolve them too.


humans haven’t been had the same set of all encompassing “training experiences” like LLMs have. we each a subset of knowledge that may overlap with some other’s knowledge, but is largely unique. so when we interact with each other we can learn new things, but with LLMs I imagine it is a group of experienced but antiquated professors developing their own set of out of touch ideas


Reproductive analogy:

A sequence of AI models trained on each other's output gets mutations, which might help or hurt, but if there's one dominant model at any given time then it's like asexual reproduction with only living descendant in each generation (and all the competing models being failures to reproduce). A photocopy of a photocopy of a photocopy — this seems to me to also be the incorrect model which Intelligent Design proponents seem to mistakenly think is how evolution is supposed to work.

A huge number of competing models that never rise to dominance would be more like plants spreading pollen in the wind.

A huge number of AI there are each smart enough to decide what to include in its training set would be more like animal reproduction. The fittest memes survive.

Memetic mode collapses still happen in individual AI (they still happen in humans, we're not magic), but that manifests as certain AI ceasing to be useful and others replacing them economically.

A few mega-minds is a memetic monoculture, fragile in all the same ways as a biological monoculture.


A different biological analogy occurred to me which I've mentioned before in a security context. It isn't model degeneration but the amplification of invisible nasties that don't become a problem until way down the line.

Natural examples are prions such as Bovine spongiform encephalopathy [0] or sheep scrapie. This seems to really become a problem in systems with a strong and fast positive feedback loop with some selector. In the case of cattle it was feeding rendered bonemeal from dead cattle back to livestock. Prions are immune to high temperature removal so are selected for and concentrated by the feedback process.

To really feel the horror of this, read Ken Thompson's "Reflections on Trusting Trust" [1] and ponder the ways that a trojan can be replicated iteratively (like a worm) but undetectably.

It isn't loss functions we should worry about. It's gain functions.

[0] https://en.wikipedia.org/wiki/Bovine_spongiform_encephalopat...

[1] https://tebibyte.media/blog/reflections-on-trusting-trust/


I do get to choose what I read, though.


Have you ever heard of the telephone game? This is what is going on here. Or imagine an original story of something that really happened. If it goes by 100 people in a chain, how much do you think the story will resemble the original one?


A more appropriate analogy would be isolating someone from the rest of the world and only being able to read their own writings from now on.

While some persons can strive in these kind of environment (think Kant for example), many would become crazy.


Different loss function


This might be my biases speaking, but I have a hunch that there's still more potential for human generated content to poison our minds, than AI.


It's almost as if LLMs and human minds operate entirely differently from each other.


I mean it makes sense that (even impressively functional) statistical approximations would degrade when recursed.

If anything I think this just demonstrates yet again that these aren't actually analogous to what humans think of as "minds", even if they're able to replicate more of the output than makes us comfortable.


Humans exhibit very similar behavior. Prolonged sensory deprivation can drive a single individual insane. Fully isolated/monolithic/connected communities easily become detached from reality and are susceptible to mass psychosis. Etc etc etc. Humans need some minimum amount of external data to keep them in check as well.


Besides, it's not just about profit. Retail is where they abuse workers, so it makes sense not to do business with that part of the company.


From what I’ve heard from a friend in AWS, it’s not exactly all roses over there either.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: