Perhaps somebody who is knowledgeable in this field can elaborate on why hardware companies are not sinking tons of money in designing neuromorphic chips which promise low power consumption at scale; what exactly is holding back development/investment here?

A couple of papers that i found useful;

Neuromorphic Computing - An Overview - https://arxiv.org/abs/2510.06721

A New Era in Computing: A Review of Neuromorphic Computing Chip Architecture and Applications - https://www.mdpi.com/2674-0729/5/1/3

Synopsis - https://www.ebsco.com/research-starters/literature-and-writi...

Pdf of the play - https://www.chestertheatregroup.org/doc_sides/The%20Bald%20S...

He would artfully employ clichés and witless truisms as dialogue. His characters often talk right past one another, if not simply shouting non sequiturs into the wind. No one is ever listening to what anyone else is saying

-- HN ? ;-)

Comments URL: https://news.ycombinator.com/item?id=48609833

Points: 2

# Comments: 1

Niklaus Wirth wrote his A Plea for Lean Software in 1995. Pdf at https://people.inf.ethz.ch/wirth/Articles/LeanSoftware.pdf

People did not bother and then the Web made everything worse. We are now so used to layers and layers of abstraction, humongous libraries and frameworks that most do not know anything about how to write "lean" software.

Nothing is going to change in the application/services layer.

David Gries - https://www.cs.cornell.edu/gries/ and https://en.wikipedia.org/wiki/David_Gries

Dutch computer scientist Dick Grune has written of Compiler Construction for Digital Computers that "entire generations of compiler constructors have grown up with it and they have not regretted it."

Note that Dick Grune himself is famous for his books on compilers/programming languages - https://dickgrune.com/index.html and https://en.wikipedia.org/wiki/Dick_Grune

One of the funniest stories you will read; I had this in my English class in the late 80s.

I had forgotten the author-name/story-title and only remembered fragments of the plot which was enough for Google to find the play.

Enjoy!

Comments URL: https://news.ycombinator.com/item?id=48595557

Points: 3

# Comments: 1

You should post it to HN for greater visibility instead of being buried in the comments.

A nice framework for all types of communications.

Warfare within the context of overall Statecraft, Integrated warfare, Information warfare, Asymmetric warfare, Grey-zone warfare, Psychology w.r.t. Propaganda/Reflexive control/Active measures, Behavioural game theory etc.

All the tactics/technology/manpower/training/stories/anecdotes are insufficient if one does not have an understanding of the overall strategic theory within which they operate.

"Winning" has many forms depending upon the context.

PS: List of military strategies and concepts - https://en.wikipedia.org/wiki/List_of_military_strategies_an...

However, We experience "Objective Reality" through our Subjective Senses and infer/deduce more in our "Mind" from experiences/memories/recorded knowledge/etc. using various methodologies/tools.

Based on the above, we build "Worldviews" expressed as "Philosophies" and practiced as "Religions". It is in this domain that your questions make sense and answers can be given. A materialistic/utilitarian philosophy will give you a different answer from an idealistic one.

Note that though objective reality exists (since it is common to others besides oneself) it is through our observations/perceptions/deductions of it through our senses (and extensions of it via technology) that the mind defines/accepts a worldview model. A good way to think about it is as a blank canvas (i.e. nihilism) on which you paint your chosen philosophies.

It is for this reason that ancient Hindu/Buddhist/Greek/etc. philosophies placed "The Mind" at the center of existence and framed "Reality as an Illusion" i.e. your perceived/deduced reality actually exists on a more fundamental substrate. An example often used is that of waves on water where water is the reality and waves are the illusion since they come and go.

Hindu/Buddhist philosophies go further by disambiguating "The Mind" (the field in which emotions/feelings/experiences/thoughts/memories operate) from "Consciousness" (pure awareness which witnesses the above). Based on these theories they define a "universal framework" (viz. goals, stages and duty in life) for all of mankind. Here is a previous comment of mine explaining it - https://news.ycombinator.com/item?id=48325659

Some resources for further study;

1) Philosophy in a Meaningless Life: A System of Nihilism, Consciousness and Reality by James Tartaglia (free ebook) - https://www.bloomsburycollections.com/monograph?docid=b-9781...

2) In Hinduism, the different philosophical schools are called "Darsanas" which literally means a mode of seeing reality i.e. a worldview. There are six major schools and lots of minor ones. A good introduction can be found in An Introduction to Indian Philosophy by Satischandra Chatterjee and Dhirendramohan Datta. Pdf at - https://archive.org/download/IntroductionToIndianPhilosophy/...

'Jagged Intelligence': The Illusion Of Reasoning In Modern LLMs - https://www.forbes.com/councils/forbestechcouncil/2026/03/20...

Comments URL: https://news.ycombinator.com/item?id=48577159

Points: 4

# Comments: 1

Comments URL: https://news.ycombinator.com/item?id=48571791

Points: 2

# Comments: 0

Also interesting is "Kry10" which builds on sel4 to enable Erlang BEAM based apps for critical embedded devices - https://www.kry10.com/

Technical Overview paper - https://www.kry10.com/get-started

One book which seems not that well known is Arindama Singh's Logics for Computer Science 2nd edition - https://www.phindia.com/Books/BookDetail/9789387472433/LOGIC...

For more details see author's webpage - https://home.iitm.ac.in/asingh/books.html

See for example Can C++ be made as safe as SPARK? - https://www.eschertech.com/papers/index.php which identifies a subset and enhances it with annotations. This can be updated with his later article Contracts arrive in C++26! - https://critical.eschertech.com/2025/09/09/contracts-have-ar...

Also see articles under Proving C and C++ programs correct - https://www.eschertech.com/articles/index.php

Animats was bemoaning that OO has declined and that you needed object/DS invariants. I was pointing to the fact DbC has it all (people should always use the runtime checking approach) and with Verified-DbC you could do it statically too. Formal Methods can be done at various levels and a developer can choose and adopt what he feels comfortable with initially before graduating to fullblown heavyweight methodologies/tools. What is needed is developing Formal Method Thinking. See the paper On Formal Methods Thinking in Computer Science Education linked to here - https://news.ycombinator.com/item?id=46298961

"I trust that I am not more dense than my neighbours [i.e. fellow programmers], but I was [and am] always oppressed with a sense of my own stupidity in my dealings with [the works of Fabrice Bellard]."

-- inspired by Watson's comment about Sherlock Holmes in "The Red-Headed League" from the volume, The Adventures of Sherlock Holmes.

My previous comment with links - https://news.ycombinator.com/item?id=46372370

dang's links - https://news.ycombinator.com/item?id=46379975