I like to think of this as four quadrants around two axes. Low fat/low muscle is simply skinny. High fat/high muscle is the "big guy/gal" look that I associate with laborers. Low fat/high muscle is an athletic look; unhealthy in extremes (bodybuilding) but generally desirable. High fat/low muscle is skinny fat, which I associate with sedentary knowledge workers.

The most interesting thing I remember looking at was a tool called Neped. I can't find the source but it might be here: https://www.apostols.org/projects. As I recall, Neped would do things exactly like this article says — send an ping packet to the right IP address but wrong MAC address and see if it responds. I probably have the details wrong but that's the idea. It was some really clever stuff. I always wonder what old vulnerabilities like this we would rediscover if we put new computers on old networks (especially hubs).

The ants love one another, as shown by their child-rearing, grooming, playing, the "antennating" mentioned in the article, collective defense, and deliberate handling of their dead.

We don't understand their language, but I have a certain faith that ants experience a very similar kinship for their sisters as we. If they were strictly-rational robots then why would they show these behaviors?

The best thing I have found so far is tylax (https://github.com/scipenai/tylax), which I think is a parser with rules, not a statistical model.

But, I've taken my papers to Typst. Could you have the agent do the same thing for Cetz, the TikZ equivalent for Typst?

Typst is great. I had been using Markdown with Pandoc to write a book. I frequently needed to use raw LaTeX commands, and it was mostly OK but I had a few frustrations with my setup. The biggest was time — my Makefile process was taking several (like 10+) seconds to render everything and that was really tedious when I was trying to get TikZ drawings perfect. My other frustrations were floating figures never appearing where I wanted (common complaint, I think) and weird font issues with certain math symbols in code. (I settled on JuliaMono, which was OK but the experience wasn't a happy memory.)

Maybe six months ago I decided to try Typst. I went through the tutorials and made something basic the same day. Got comfortable and eventually pasted my entire book into Typst and started the tedious process of finding and replacing until it compiled. I still occasionally find a \times or something that I missed.

Unlearning backslashes was the hardest thing for me.

The next hardest thing was switching from TikZ to Cetz. Cetz is pretty good, but just like TikZ it takes an investment to learn. I tried to have AI translate my figures and it was not very successful. Someone wrote a webapp that can translate Typst to LaTeX and the reverse. It is a good way to get started on changing figures, but you'll have to clean up its output by hand a lot.

Though I used LUA LaTeX, I never did find any uses for its scripting. With Typst, I use it all the time. Functions are really easy to write. I recently wrote a REPL formatter to show inputs and outputs in code. I'm happy with it and ought to publish it. My only complaint is that all functions are pure functions; there is not a way (that I know of) to share state from one function invocation to the next.

The templates on the Typst universe are pretty OK, but we need more. I will have to change some of the formatting decisions in the book template I'm using.

One thing I've encountered that I could do in LaTeX that I can't (easily) do in Typst is labels on a NiceMatrix. Otherwise, I've felt like I could do everything in Typst that I needed from LaTeX.

Comments URL: https://news.ycombinator.com/item?id=47886165

Points: 2

# Comments: 0

Interestingly, what you're describing really is similar to how many languages represent an IPv4 address internally. Go embeds IPv4 addresses inside of IPv6 structs as ::ffff:{IPv4 address}: https://cs.opensource.google/go/go/+/go1.26.2:src/net/ip.go;...

My kids' school banned phones during the school day. The principal promised that the office would relay any messages if parents call, and they do. I would be interested to see if there are already statistics showing academic success. That is, are grades and test scores affected by phone bans? The article talks about graduation rates, but doesn't directly address grades and scores.

Perhaps the wildest thing to me is how you'll have senior leaders in a company talking about innovation, but their middle managers actively undermine change out of fear of liability. So many enterprise IT employees are really just trying to avoid punishment that their organization cannot try new things without substantial top-down efforts to accept risk.

I have also benefited so much from MIT OCW lectures. The quality of their teaching is so high that it showed me that when my children go to college, it will be worth it to send them to a much more expensive elite school.

Not saying this is the only way, but it made a big difference for me and my friends. I realize the physical challenges are artificial, but so is an Advent of Code puzzle when you already have a day job. Hard things are worth doing because they're hard, and they're even better when done together with those you love.