Felienne F. J. Hermans
PulseAugur coverage of Felienne F. J. Hermans — every cluster mentioning Felienne F. J. Hermans across labs, papers, and developer communities, ranked by signal.
3 day(s) with sentiment data
-
AI's impact on programming debated at DDD Europe 2026
Felienne Hermans delivered a presentation at DDD Europe 2026 titled "AI made me doubt everything about programming." The talk, shared via YouTube, explores the impact of artificial intelligence on the field of programmi…
-
Mistral AI releases free Leanstral-1.5 model for formal proof engineering
Mistral AI has released Leanstral-1.5, a 119 billion parameter model optimized for automated theorem proving and the Lean 4 programming language. This model is available for free and aims to assist users in formally pro…
-
John von Neumann's controversial role in atomic bomb development highlighted
Felienne Hermans, in a talk at DDD Europe, highlighted lesser-known aspects of John von Neumann's history, particularly his significant role in the development and strategic detonation of atomic bombs. Hermans noted tha…
-
User questions blame for AI work issues
The user expresses frustration with negative reactions received when working with AI, feeling blamed by articles that suggest they are the problem. They voice doubts about this perspective.
-
Rutger Bregman's 'left bash, right cash' strategy criticized
Rutger Bregman's actions are described as "bashing the left and cashing in on the right," according to Felienne F. J. Hermans in De Volkskrant. This commentary is linked to discussions about AI, Noam Chomsky, and climat…
-
Author explores Joseph Weizenbaum's tech and society perspectives
The author is exploring the work of Joseph Weizenbaum, a figure they encountered possibly through Felienne's newsletter. Intrigued by Weizenbaum's perspectives on society and technology, the author acquired four of his …