@ManassehA06@ojoshe@kleddamag@wand_125@guzhou0806@ctjlewis 🤣 indeed a great way for proving on a small scale. I was just thinking of mass-proving which I worked on. I found the issue of maintaining faithfulness quite troubling and from all those papers I read, I haven’t really found a solution yet. I.e. https://t.co/PztgGc6PWJ
@ManassehA06@ojoshe@kleddamag@wand_125@guzhou0806@ctjlewis I’m wondering, what method did you use to make sure that the autoformalized statement is equivalent to the initial statement in natural language? Any recommendations on maintaining faithfulness?
Fable 5.1 max just deleted my half finished paper draft. I was astonished! I think this is extremely likely to happen when you and an LLM agent are simultaneously working on the same thing. Very often the LLM’s frequency in reading what you have changed cannot keep up. And since they usually change files by writing a script, that script overrides your changes and reverts things to an earlier stage.
@Xuan04263449 I think it has indeed raised my capability of building slide decks and spurred me to read much more papers than I normally would. Though it also makes me very tired and upset sometimes.😐
For those who are curious about the life of undergraduate research assistants. Imagine making at least one slide deck like this on a weekly basis (and presenting) and this is the easiest part of your work. And then getting feedback to start the work all over again in another direction. Well, just another average week. (This is perfectly normal, not bad mouthing about anybody, research abosolutely requires iteration. It's the only way works get improved).
You've gotta have real tenacity is all I want to say.
I hope I do. (I'm not sure yet)
https://t.co/2qeAzWJ71O
Sharing an awesome introductory paper on gpu communication I recently discovered. Hope I could have read this earlier!
The Landscape of GPU-Centric Communication
https://t.co/yW5C89p9cS
Quick check if this is helpful to you:
1. Do you know what's Page-Locked/Pinned Memory, Unified Virtual Addressing (UVA), Inter-Process Communication (IPC) and Unified Virtual Memory (UVM)?
2. Do you know the difference between GPUDirect 1.0, GPUDirect 2.0, GPUDirect RDMA, GPUDirect Async and GPUNetIO? Their impact and limitations?
If not, then you should read this to find out! (There's in fact much more then the questions above.)
I'm also still digesting this and haven't fully understood the article. Perhaps it's best to treat this as a dictionary for the terminologies that you don't understand. Feel free to chat with me about your opinions and ask me questions. I'm also glad to answers any questions to the best of my knowledge.
It covers a really broad scope on multiple aspects of gpu communication. i.e. I worked on EP comm libs and it's still very helpful to me (as a 4-month beginner).
#GPUcommunication
Great passage read while pooping:
People detest insincerity just as they detest the smell of a rotting apple. The reason insincerity evokes nausea is that both parties clearly know it is merely a posture, yet each must carry on the performance, much like flirting with a non-existent object.
However, true hypocrites—if they feel no guilt while doing so—are always lucid. They do not take their own posture seriously; instead, they truly know what they are doing. A viewer being able to see right through the hypocrite's hypocrisy is, in fact, the greatest respect shown to the latter, because the ultimate significance of "hypocrisy" lies in how to get people to accept the object without taking it seriously. Therefore, feeling nauseated is a manifestation of rationality.
There are two forms of insincerity: knowing one's object, and believing one knows one's object. What is the difference? The former occurs in reality, whereas the latter occurs in imagination. Often, in the latter case, we bestow upon it the name "sincerity."
This means that emotion can serve as the most deceptive means to blind oneself, enabling the individual to flirt with a non-existent object. In emotion, however, non-existence is converted into existence, yet this existence is merely a means through which emotion mediates itself. That is to say, they are not insincere enough.
Yet precisely because of this, such manifestations of "sincerity" evoke nausea—if "nausea" indeed exists as an effect, then its root cause must be explained. The reason "sincerity" evokes nausea lies in the fact that it completely shapes the individual into an impotent sympathizer. "Impotent" here does not mean the individual can no longer take action toward the other; rather, it signifies that the individual banishes themselves to the reverse side of the self.
-
The rest of the passage are too obscure that I’m too lazy to understand. (And partially because I finished pooping and is about to get back to work) I resonate deeply with this. Though I believe hypocrisy in a broad sense is in some aspects also beneficial to people and the society as a whole. The reasons are omitted (I’m too lazy to think about it) .
Can any1 tell me their thoughts on the third paragraph?
Just wanted to share a scene from Gravity Falls I recreated in blender with the help of the Claude blender MCP this summer. Took me 20+ hours to complete. (this is my very first time using blender and it took me an awful amount of time to even get familiar with it!)
@Xuan04263449 There’s definitely a gap here for Claude to improve (at least for the models such as Opus4.6, by the time I was working on this in the summer). It sucks!