rramadass

8 ms·

61.
by rramadass 1mo ago
For me, C++ is always in first place. It allows me to do high-level abstractions to low-level hijinks all with total control (i.e. zero-cost abstractions, Templates for compile time programming etc.) across all levels of the software stack
62.
by rramadass 1mo ago
What's terrible about the syntax? Using "[[require/ensure/invariant/proof/assert/etc.]]" is actually pretty neat. And given that almost all C programmers are also C++ programmers, no mere syntax can f
63.
by rramadass 1mo ago
The "C*" language website - https://cstarlang.org/en/intro.html See in particular, usage benefits with LLMs (last para of https://cstarlang.org/en/intro.html ) and how to use it with LLMs
64.
C*: Unifying Programming and Verification in C (2025)(arxiv.org)
83 points by rramadass 1mo ago|59 comments
65.
Into the depths of C: Elaborating the de facto standards (2016)(dl.acm.org)
45 points by rramadass 1mo ago|3 comments
66.
by rramadass 1mo ago
Just checked with Google Gemini on how one might be able to do the above. It pointed to Minix3/seL4/Genode and vps providers who either support custom ISOs or run it within an emulator like QEMU. You can also look at using Unikern
67.
by rramadass 1mo ago
You might find Beyond the PDP-11: Architectural support for a memory-safe C abstract machine by David Chisnall et al. also interesting - https://dl.acm.org/doi/10.1145/2786763.2694367
68.
by rramadass 1mo ago
Yes, there is always a need for another "intuitive statistics" book. However the link you have provided is not the way; it is low on content and high on pretty distractions. Use all sorts of diagrams and graphs primarily, with ani
69.
by rramadass 1mo ago
Right. Its catchy title gained it notoriety and then got amplified by human parrots. However, it is a good article to read and understand low-level multiprocessing issues.
70.
by rramadass 1mo ago
Do you mean in Cheney's article or Chisnall's article or in my comment?
71.
by rramadass 1mo ago
A good comment to motivate myself to learn the language; particularly the last line ;-) I personally detest the babel of languages involved in "modern ways of programming" and have settled on C/C++ for everything since they a
72.
by rramadass 1mo ago
You are being somewhat disingenuous with your comment ;-) PDP-11 was hugely influential in the later designs of various Hardware, Software, OS, Languages etc. See for example; Dave Cheney's What Have We Learned from the PDP-11? - ht
73.
by rramadass 1mo ago
This mindset (i.e. LLMs are available so why do i need to learn anything?) is highly insidious and will destroy your brain/mind/future if you let it. Humans are the ones who Understand , while LLMs only Know . So inter-disciplin
74.
by rramadass 1mo ago
The entire series of interviews with various language designers by Ryan Peterman is really great and a highly recommended watch. It gives an insight into how they thought/think and what we can learn from them. While watching the series
75.
The Structured Vacuum: Thinking about Nothing [pdf](rafelski.com)
4 points by rramadass 1mo ago|0 comments
76.
Why C++ Wins in Finance [video](youtube.com)
2 points by rramadass 1mo ago|1 comments
77.
by rramadass 1mo ago
See also other tech talks from Citadel Securities for more insights - https://www.youtube.com/playlist?list=PLsWKDIDST9nDHXSk1NGOy...
78.
by rramadass 2mo ago
An obfuscatory and almost incomprehensible sentence. My comments were clear/direct and there is no room for miscommunication/confusion.
79.
by rramadass 2mo ago
Related: From a previous HN discussion of Terence Tao's Six Math essentials book (to be published) my comments pointing to a similar book by John Stillwell (covers Arithmetic, Computation, Algebra, Geometry, Calculus, Combinatorics,
80.
by rramadass 2mo ago
Huh? I have already said the relevant points in my other comment linked to in the beginning. You are the one hiding behind trivialities and nonsensical phrases; typical of folks who don't have much knowledge but argue for the sake of a
81.
by rramadass 2mo ago
Confused word salad just dodging discussion of any of the real points/issues. Trivialities are easier to write out but they are not understanding nor knowledge.
82.
by rramadass 2mo ago
You might want to take a look at Real-time C++: Efficient Object-oriented and Template Microcontroller Programming by Christopher Kormanyos for some ideas. Also take a look at David Crocker's Escher Technologies "Escher C Verifi
83.
by rramadass 2mo ago
The "issues" you raised are trivial and not really worth debating about. The points i have listed are factual (not mistakes nor opinions) and directly relevant to why learning C in 2026 is still a good idea.
84.
by rramadass 2mo ago
> I should explain how NFC works: Your phone emits a small magnetic field several times a second. An NFC card picks up on that field, making your phone act like a tiny wireless charger. The card never actually transmits a message back to
85.
by rramadass 2mo ago
https://news.ycombinator.com/item?id=49509664
86.
by rramadass 2mo ago
As the OP, it matters when it comes to the post title (copied from the video without any editorializing) but does not matter when it comes to actually discussing the points mentioned in the clip. That "Harvard Professor" is David
87.
Harvard Professor on Why You Should Learn C in 2026 [video](youtube.com)
27 points by rramadass 2mo ago|20 comments
88.
by rramadass 2mo ago
> This reminds me of how (I think) Zen koans are designed to make no sense at all. True in a way. To understand how, note first the four stages of language given in my comment here - https://news.ycombinator.com/item?id=4
89.
by rramadass 2mo ago
What you say is valid only when you restrict yourself to Western definitions/conceptions of language/linguistics i.e. study of Phonetics/Morphemes/Syntax/Semantics/etc. In Bhartrhari's Philosophy (and othe
90.
by rramadass 2mo ago
One thing you might want to add after each author's name is which categories (viz. Niti, Shringara and Vairagya ) they have translated. Due to excessive prudishness many have omitted the Shringara satakam which is quite silly (this is

More ›