rramadass

6 ms·

31.
by rramadass 1mo ago
https://news.ycombinator.com/item?id=49668392
32.
by rramadass 1mo ago
https://news.ycombinator.com/item?id=49668392
33.
by rramadass 1mo ago
This is actually pretty good! Thanks for sharing.
34.
by rramadass 1mo 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
35.
by rramadass 1mo 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.
36.
by rramadass 1mo 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
37.
by rramadass 1mo 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
38.
by rramadass 1mo 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
39.
by rramadass 1mo ago
No. https://news.ycombinator.com/item?id=49679494
40.
by rramadass 1mo 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
41.
by rramadass 1mo 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)
42.
by rramadass 1mo 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
43.
by rramadass 1mo 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
44.
by rramadass 1mo 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
45.
by rramadass 1mo 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
46.
by rramadass 1mo 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:&
47.
by rramadass 1mo 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
48.
by rramadass 1mo 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
49.
by rramadass 1mo ago
https://news.ycombinator.com/item?id=49646528
50.
by rramadass 1mo 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
51.
by rramadass 1mo 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
52.
by rramadass 1mo 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
53.
by rramadass 1mo 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
54.
by rramadass 1mo 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
55.
by rramadass 1mo 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:&
56.
by rramadass 1mo ago
Right. I was actually quite surprised when i came across this paper/language and saw that it was from 2025.
57.
by rramadass 1mo 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
58.
by rramadass 1mo 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
59.
by rramadass 1mo ago
https://news.ycombinator.com/item?id=49613696
60.
by rramadass 1mo ago
The first thing people need to study is the "Correct by Construction" approach to programming as espoused by Edsger Dijkstra. Only then will the mathematical concepts used in verification aware languages start making sense and one

More ›