• 0 Posts
  • 104 Comments
Joined 1 year ago
cake
Cake day: November 17th, 2024

help-circle


  • In a free country, you can tell the government to go fuck itself without a mask

    Political infrastructure works well until it is not. U.S. used to have okay political infrastructure in protecting democracy, then patriot’s act happened and many of its loophole identified, now president can just kidnap a foreign president as “law enforcement”.

    I would love a system where people don’t have any need to be anynomized, it would make many things much simpler, but that seems hard to imagine for me. And I am not from the U.S. and I have lived in both U.S., U.K., and outside of the west, so it is likely not caused by “U.S. brainwashing”.

    I am not entirely sure what is the “EU secret sauce” to prevent Politician in utilizing these loopholes or strong centiments to gradually regulate speech. One day, they might be able to make use of these data. People in U.S. protested, they shot protester, and no one can protest forever, unfortunately. I am curious what would prevent EU to replay what US have now, except with much much more targeted data at the government’s disposal.




  • I like how Yaron Minsky from Jane Street characterized LLM: “It is smarter than we expected it to be, but dumber than we needed it to be… It feels like something really dumb, but somehow memorized the entire internet.”

    This is kind of what I feel: despite all these impressive BAR and IMO achievements, in my work, I feel they do a great job at parapherasing the internet, but fails when you need it to do something mildly intelligent.

    Does it improve my efficiency? yes, but only at some very tedious and specific taskes, once I go slightly out of scope, it comes up with inelegant solution that I will need to rewrite from scratch.







  • If you want to write on it, there really is no device comparable to supernote (it is also a great e-reader, but its writing and annotating features are really unique). They have very full-featured software and excellent pen feel. Specifically, their pen uses ceramic tips, which never wears out, feels like pen writing on a stack of paper, and don’t need battery to operate.

    It is repairable (replaceable mobo and battery); supports microSD card; and file transfer through officially-supported self-hosted cloud, most common cloud service, and/or USB.

    They have public feature roadmap, and is a very sustainable company that prioritize existing customer over releasing new product.





  • I am not a mathematician, but sometimes I get accused of being one; so given that no real mathematician have answered, I guess I can give it a shot.

    Mathematician are in charge of building mathematical tools that are used by physicists, computer scientists, and many other subjects, including artist.

    Why is math useful: mathematics are used in social science, physics, computer science and many other subject. Take a simple example from computer science: everyone is very excited about quantum computing, but what questions can be answered faster by a quantum computer than a classical computer? This is both a computer science question and also a math question. Many mathematicians are working on problem like these.

    What is the difference between mathematican, computer scientists, physicist, and so on: although people from other subject also use advanced mathematical tools and work on similar questions as mathematicians (I guess why I was accused of being a mathematician), the difference is in their approach. Typically, for non-mathematicians (like me), proofs and math tools are means to an end. We often want to prove a very concrete problem (like are two reasonable ways to define the meaning of a program are equivalent), and usually we prefer the proof the takes the least amount of effort to get to the conclusion. Whereas mathematician often makes connection between different approaches, generalize, and just explore things that they feel is interesting. The mathematical approach often is slower but also gives deeper understandings: although it is common for many of their insights to be lost through time, it is also quite often for these exploration leading to important breakthrough in other fields.

    What is the life of a mathematician like: like every other academic: teaching, research, writing grant to feed yourself, and sometimes traveling to discuss ideas and start new projects. I imagine OP is most interested in is mathematical research. I feel the most apt analogy is the creation of art: for an artist, they usually have a emotion trying to express, either something they see or feel. Then they do a couple sketch, see what detail/style works in expressing their ideas and what doesn’t, then paint the painting. For mathematicians, they often have a question in mind, then they try some examples to see what steps closer to their goal and what leads to dead ends. Through these excersices they gain a intuition of what conditions are important for the desired conclusions, then they paint the full painting by finishing the proof.

    These proofs can be exceptionally time consuming: even for computer scientists, they can easily take couple researcher a year of work to do a proof. Most of the sketches will be thrown away, either because they are too convoluted or because they don’t lead to the correct conclusion. Usually, a proof by computer scientists like me can easily take 20-30 pages to explain properly, if not more; and the proof that were thrown away can double that quantity. I can only imagine proofs for mathematicians will be even more energy consuming.