Tag: compilers

  • Hacker News: Taming the UB Monsters in C++

    Source URL: https://herbsutter.com/2025/03/30/crate-training-tiamat-un-calling-cthulhutaming-the-ub-monsters-in-c/ Source: Hacker News Title: Taming the UB Monsters in C++ Feedly Summary: Comments AI Summary and Description: Yes **Summary:** The provided text discusses significant ongoing improvements in the C++ programming language pertaining to software security and undefined behavior (UB). It highlights efforts to enhance C++ by addressing critical vulnerabilities that can lead…

  • The Register: Malware in Lisp? Now you’re just being cruel

    Source URL: https://www.theregister.com/2025/03/29/malware_obscure_languages/ Source: The Register Title: Malware in Lisp? Now you’re just being cruel Feedly Summary: Miscreants warming to Delphi, Haskell, and the like to evade detection Malware authors looking to evade analysis are turning to less popular programming languages like Delphi or Haskell.… AI Summary and Description: Yes Summary: The text discusses a…

  • Hacker News: Constant-Time Code: The Pessimist Case [pdf]

    Source URL: https://eprint.iacr.org/2025/435.pdf Source: Hacker News Title: Constant-Time Code: The Pessimist Case [pdf] Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses the challenges and pessimistic outlook surrounding the implementation of constant-time coding in cryptographic software, especially in the light of modern compiler optimization techniques and the increasing complexity of CPU architectures.…

  • Cisco Talos Blog: Small praise for modern compilers – A case of Ubuntu printing vulnerability that wasn’t

    Source URL: https://blog.talosintelligence.com/small-praise-for-modern-compilers-a-case-of-ubuntu-printing-vulnerability-that-wasnt/ Source: Cisco Talos Blog Title: Small praise for modern compilers – A case of Ubuntu printing vulnerability that wasn’t Feedly Summary: By Aleksandar NikolichEarlier this year, we conducted code audits of the macOS printing subsystem, which is heavily based on the open-source CUPS package. During this investigation, IPP-USB protocol caught our attention.…

  • Hacker News: Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf]

    Source URL: https://www.doc.ic.ac.uk/~afd/papers/2025/ICST-Industry.pdf Source: Hacker News Title: Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] Feedly Summary: Comments AI Summary and Description: Yes **Summary:** The text details the development and implementation of CompFuzzCI, a framework for applying compiler fuzzing in the continuous integration (CI) workflow for the Dafny programming language. The authors…

  • Hacker News: How I Program with LLMs

    Source URL: https://crawshaw.io/blog/programming-with-llms Source: Hacker News Title: How I Program with LLMs Feedly Summary: Comments AI Summary and Description: Yes **Short Summary with Insight:** The document shares personal experiences and insights on integrating large language models (LLMs) into programming workflows. The author emphasizes the productivity benefits derived from using LLMs for tasks like autocompletion, search…

  • Hacker News: Why Are ML Compilers So Hard? « Pete Warden’s Blog

    Source URL: https://petewarden.com/2021/12/24/why-are-ml-compilers-so-hard/ Source: Hacker News Title: Why Are ML Compilers So Hard? « Pete Warden’s Blog Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses the complexities and challenges faced by machine learning (ML) compiler writers, specifically relating to the transition from experimentation in ML frameworks like TensorFlow and PyTorch to…