rramadass

5 ms·

1.
The Relation Between Mathematics and Physics by Paul Dirac(damtp.cam.ac.uk)
1 points by rramadass 3d ago|0 comments
2.
by rramadass 3d ago
Nice; the quintessential Theoretical/Mathematical Physicist! The Strangest Man: The Hidden Life of Paul Dirac, Quantum Genius - https://en.wikipedia.org/wiki/The_Strangest_Man Paul Dirac Quotes - https:/
3.
by rramadass 3d ago
https://news.ycombinator.com/item?id=49668392
4.
by rramadass 3d ago
https://news.ycombinator.com/item?id=49668392
5.
by rramadass 3d ago
This is actually pretty good! Thanks for sharing.
6.
by rramadass 3d ago
Your comment is both clueless and disingenuous. As i have mentioned in my other comments here; The communique from the mathematicians when shorn of polite language is blunt viz. AI companies are stealing our hard-won lifelong research find
7.
by rramadass 3d ago
You are quite right. All threads on this topic (i.e. Mathematicians and AI) are overrun by bots/shills/vested interests/etc. astroturfing for the companies. It is just Propaganda and attempting to manipulate Public Opinion.
8.
by rramadass 3d ago
The relevance can be seen from the second link above (the review of the book) which highlights the essential points viz. the importance of Intrinsic vs. Extrinsic Motivation. It is short enough that you can easily go through it. Then apply
9.
by rramadass 4d ago
> book publishers to milk students with single-access codes and never-ending "new" editions to their books, The best example of this is James Stewart's Calculus textbooks. It is priced so high and made him so much money th
10.
by rramadass 4d ago
You might want to read up on "Self-Determination Theory" on how Intrinsic vs. Extrinsic Motivations works in Humans - https://en.wikipedia.org/wiki/Self-determination_theory For a nice introduction, see Why
11.
by rramadass 4d ago
No. https://news.ycombinator.com/item?id=49679494
12.
by rramadass 4d ago
You are right. This just reads like a rancorous rant. In any human group there will always be issues on how we treat each other dependent on time/context/culture. But while not condoning it, this issue is orthogonal to that of mis
13.
by rramadass 4d ago
Resubmission of I recently went through a translation of Musashi's Book of Five Rings - https://news.ycombinator.com/item?id=49660833 (1 comment)
14.
by rramadass 4d ago
It is just the definition of "Logical Implication for Material Conditional" and its truth table; see Material Conditional - https://en.wikipedia.org/wiki/Material_conditional I highly recommend the followin
15.
by rramadass 4d ago
For normal honest proofs (i.e. not maliciously crafted for exploit) that is almost impossible. The Lean kernel is quite small (de Bruijn Criterion) and trusted. See Probability and the de Bruijn Criterion - https://proofassista
16.
by rramadass 5d ago
If the Lean initial-problem-setup/statements/assumptions/etc. aren't correct then the proof is meaningless. Lean does not know what it is that it is proving i.e. it does not have any semantic understanding but only exe
17.
by rramadass 5d ago
An offbeat but quite interesting submission. The key idea to take away from Musashi's Gorin no Sho ( https://en.wikipedia.org/wiki/The_Book_of_Five_Rings ) is that of Heiho (aka Hyoho) which is rather hard to un
18.
by rramadass 5d ago
This thread has been completely astroturfed. I will just leave a couple of links to relevant popular articles; AI and the danger of cognitive surrender - https://archive.is/O5eI1 Are teenagers growing dimmer? - https:&
19.
by rramadass 5d ago
OpenAI most certainly did not as you put it, "to act so aggressively". They have simply indulged in plagiarism/malpractice/fraud all for the sake of pumping up their evaluation in light of their forthcoming IPO and to on
20.
by rramadass 6d ago
You might find Round-Trip Correctness: A New Metric for Generative AI-Based Process Modeling useful - https://news.ycombinator.com/item?id=49033317 Also see resources at https://news.ycombinator.com/item?i
21.
by rramadass 6d ago
https://news.ycombinator.com/item?id=49646528
22.
by rramadass 6d ago
You might find the paper Verification for legacy programs by Michael Ernst useful - https://homes.cs.washington.edu/~mernst/pubs/legacy-verifica... Also see Round-Trip Correctness: A New Metric for Generative A
23.
by rramadass 6d ago
Security Standards/Frameworks like "TCB" ( https://en.wikipedia.org/wiki/Trusted_computing_base ), "Common Criteria" ( https://en.wikipedia.org/wiki/Common_Criteria ) etc. are
24.
by rramadass 6d ago
> Public posts on the internet are acceptable (to me). Everybody needs to rethink this again. Before LLMs the barrier to entry for building a character profile based on your various public posts was quite high. Remember "Psychograph
25.
by rramadass 6d ago
So what might have been the incentive for OpenAI to do all this shenanigans? It might have to do with the upcoming IPO and getting its models certified for AGI and getting out of lockin with Microsoft - https://deadneurons.substa
26.
by rramadass 6d ago
Tristan Buckmaster, the mathematician at the center of it ( https://cims.nyu.edu/~tristanb/ ) put out a public statement that everybody should read (pdf) - https://cims.nyu.edu/~tristanb/statement.pd
27.
by rramadass 8d ago
Interesting, didn't know of this. Some resources; The ATS Programming Language - https://www.cs.bu.edu/~hwxi/atslangweb/ ATS3-Xanadu - https://github.com/githwxi/ATS-Xanadu From https:&
28.
by rramadass 8d ago
Right. I was actually quite surprised when i came across this paper/language and saw that it was from 2025.
29.
by rramadass 8d ago
What i meant was that almost all C programmers are aware of and know C++ to varying degrees. But they choose to not use it for their application based on needs/expertise/etc. Linus Torvalds objection to using C++ is perfectly logi
30.
by rramadass 8d ago
> I suspect that there is a body of C programmers out here that use C on a regular basis that aren’t posting who know that using C safely is 99% just using Valgrind and some specific GCC or llvm flags and you’re done. Absolutely right! I

More ›