https://typst.app/universe/package/cetz
Worth noting that LLMs are very bad at writing cetz code, even if you try to feed them all the docs. I had to use TiKZ and import the resulting PDFs for some of the more complex illustrations in my thesis.
Readit Newsfiso64 commented on TeX Live 2026 is available for download now tug.org/texlive/acquire.h... · Posted by u/jithinraj
fiso64 commented on There Is No Future for Online Safety Without Privacy and Security itsfoss.com/news/alexande... · Posted by u/abdelhousni
As already posted in another comment:
Here is just one solution that helps parents, and respects everyone's privacy:
Zero knowledge proofs.
This solution (1) gives sites no user information except 18+ verification, and (2) gives key providers no information about sites clients visit.
This is what zero knowledge proofs are for.
• Parents jobs get easier.
• Children are less likely to encounter adult material.
• Everyone's privacy is protected.
• Adult sites can verify 18+ ages, without driving users away.
Not solving/mitigating endemic child access to adult sites is (1) a great disservice to parents and children, and (2) makes the success of draconian surveillance legislation MORE likely.
(If you have a critique of this solution, please frame it as an issue to resolve, not a categorical swipe at crafting solutions. The cynical prevalence of the latter is so damaging to these debates.)
How do you prevent people from using their keys to set up servers that remotely provide tokens to anyone?
fiso64 commented on Garfield's proof of the Pythagorean Theorem en.wikipedia.org/wiki/Gar... · Posted by u/benbreen
This proof assumes that the area a triangle is some function k c^2 of the hypotenuse c where k is constant for similar triangles.
This doesn’t seem super obvious to me, and it’s a bit more than just assuming area scales with the square of hypotenuse length, it indeed needs to be a constant fraction.
To me that truth isn’t necessarily any less fundamental than the Pythagorean theorem itself. But to each their own.
BTW Terrence Tao has a write up of this proof as well: https://terrytao.wordpress.com/2007/09/14/pythagoras-theorem...
I don't get his "modern" proof. Specifically the step where he says "it's easy to see geometrically that these matrices differ by a rotation" seems to be doing a lot of heavy lifting. The first matrix transforms e1 to (a,-b), the second scales e1 to (c,0). If you can see that you obtain one of these vectors by rotating the other, then you've shown that their lengths are equal (i.e. a²+b²=c²), which is what we want to show in the first place.
fiso64 commented on What we talk about when we talk about sideloading f-droid.org/2025/10/28/si... · Posted by u/rom1v
The fact that we don't have root access to our phones is insane. This "sideloading" part is just the cherry on top of the dystopia we live in.
And if you do have root, there is a good chance you're blocked from using common services on your phone such as mobile banking.
> 2. (minor compared to Overleaf) typst compiles faster.
I would argue that this isn't minor. At least in my opinion, it makes a big difference.
Overleaf, already 3 pages into a document, with a couple of TikZ figures, was getting slow, as in multiple seconds wait for each save.
Typst, on the other hand (Tinymist in VS Code) is really realtime. Text updating within some tens of milliseconds, and figures included in far below a second. It really _feels_ instant, and to me that changes the experience a lot.
I have laptop with a good-ish CPU that is only a few years old, and on page 3 tinymist is already starting to struggle. There is a noticeable input delay between me pressing a key on the keyboard, and the key getting typed & the preview updating. I think it's more of a tinymist issue though, as it has no debouncing and apparently also runs the preview updates on the same thread as vscode's input handling.
fiso64 commented on 4chan will refuse to pay daily online safety fines, lawyer tells BBC bbc.co.uk/news/articles/c... · Posted by u/donpott
I thought about that as well. This would be true if team-hiromoot is not cooperating with the bot owners, otherwise the bots could simply be excluded given all their traffic is authenticated with a 4chan pass. Other chans have manipulated their stats to change how active they appear so it's really hard for me to rely upon that.
At this point your hypothesis is unfalsifiable. I was on /g/ before and after the hack and didn't detect any big changes. It was as shitty as ever.
fiso64 commented on Firing programmers for AI is a mistake defragzone.substack.com/p... · Posted by u/frag
A "causal model" is needed to fix bugs ie, to "root-cause" a bug.
LLMs yet dont have the idea of a causal-model of how something works built-in. What they do have is pattern matching from a large index and generation of plausible answers from that index. (aside: the plausible snippets are of questionable licensing lineage as the indexes could contain public code with restrictive licensing)
Causal models require machinery which is symbolic, which is able to generate hypotheses and test and prove statements about a world. LLMs are not yet capable of this and the fundamental architecture of the llm machine is not built for it.
Hence, while they are a great productivity boost as a semantic search engine, and a plausible snippet generator, they are not capable of building (or fixing bugs in) a machine which requires causal modeling.
>Causal models require machinery which is symbolic, which is able to generate hypotheses and test and prove statements about a world. LLMs are not yet capable of this and the fundamental architecture of the llm machine is not built for it.
Prove that the human brain does symbolic computation.
Banking, some government and crypto apps on Android think: no
They sometimes actively search for root evidence.
I'm actually confused about why banks are so aggressive in denying users the ability to use their apps while rooted. Unlike Google and Apple I can't think of any financial incentives for this, and the security argument is quite obviously nonsense, as I don't think there has been a single person in history who managed to fall for a scam that made them follow the complicated procedure of rooting a smartphone. Nevertheless there is a clear continuous effort in developing new root detection methods to keep me from using their apps.
Can you scan a check from your web browser? Maybe I'm wrong, but probably not; frankly, it's a logistical miracle we can do this from our phones and the banks tolerate it, but I can see why they would still want to minimize all risk involved.
The second reason though I can think a bank would want attestation is as an anti-piracy measure. With a website, you have HTTPS verifying the identity of the domain. With an app, a pirated app or a 3rd party app from any source could hypothetically intercept user's banking information, their scanned checks, or even attempt to cash their scanned checks itself. It's not about making sure the device is secure, as it is killing attempts at 3rd party, modified, or malicious clients. The last thing I want, or the bank wants, is some grandmother downloading the "Wells Fargo Bank Plus with Giant Legible Accessible Text" app she saw in an ad as an APK, installing it, and being a victim of silent fraud for years.
The third reason a bank might want it, is also just simple stupid litigant America. If such a scheme similar to the above were to occur, the bank would likely be sued by victims arguing that the above circumstance was preventable. The victims would also be correct, it was preventable. The bank is then in the unenviable position of telling the jury that supporting the rights of 0.1% of phone modders was more important than victimized grandmothers.
Or, as a bank lawyer would say, just turn on attestation, it costs basically nothing, and then none of the above could happen. Better safe than sorry. After all, is the grandmother not also a customer, and preventing malicious clients in her best interest? Sure, some customers will be inconvenienced, but this is America, where anyone depositing more than $10K is subject to an interrogation.
>The last thing I want, or the bank wants, is some grandmother downloading the "Wells Fargo Bank Plus with Giant Legible Accessible Text" app she saw in an ad as an APK, installing it, and being a victim of silent fraud for years.
I don't think this happens nowadays. Android will either block by default or give you a million prompts and warnings before it allows you to install an apk from an unknown source. It's far, far easier to install it from google play. I don't think any grandmother would manage to accidentally ignore the first 3 pages of genuine links on google and then push the right buttons that enable sideloading.
Alternate framing: A powerful autocomplete algorithm is being used to iteratively extend an existing document based on its training set. Sometimes you get a less-desirable end-result when you intervene to change the style of the document away from question-and-answer to something less common.
A framing that is longer, far harder to parse, and carries less information.