Published: 2025-06-03 | Origin: /r/programming

Alex recently presented on "Improvements to RISC-V vector code generation in LLVM" at the RISC-V Summit Europe in Paris. In his talk, he focused on the high-level objectives and challenges associated with compiler optimizations, particularly for RISC-V. The current state of RISC-V vector code generation is in a solid position, with basic functionalities enabled by default and ongoing work aimed at performance analysis and tuning. While the task of enhancing compiler performance is extensive and never fully completed, initial phases

Published: 2025-06-03 | Origin: /r/programming

Apple has successfully adopted Swift for building cloud services, achieving impressive results. Last year, the Password Monitoring service was rewritten in Swift, resulting in a 40% performance improvement compared to its previous Java version, alongside enhanced scalability, security, and availability. The newly introduced Passwords app in fall 2024 allows users to manage their passwords, passkeys, and verification codes, featuring storage, autofill, and sharing capabilities. A key feature, Password Monitoring, alerts users if their passwords appear in data

Published: 2025-06-03 | Origin: /r/programming

In her recent post, Patricia Aas reflects on discussions from LinkedIn and Mastodon regarding the need to understand software on its own terms, separate from analogies like factories or sports. She appreciates Robert Smallshire's desire to move away from these comparisons and recognizes Peter Sommerlad's connection between the factory metaphor and the "Pipes and Filters" architectural pattern. Aas expresses her initial belief that progress had been made in understanding software, but now feels that the community may be further away from a shared

Published: 2025-06-03 | Origin: /r/ruby

The Hanami, Dry, and Rom teams are launching a paid maintenance initiative to secure ongoing support for their projects. They aim to raise $70,000 annually, with current funding sitting at $26,000, thanks to initial contributors like Sidekiq and Ruby Central. The funding will enable dedicated maintenance work and promote community activities. Patrons supporting these projects will help foster a diverse and inclusive future for the Ruby ecosystem. Over the next six weeks, the team will provide updates and recognize contributors as

Published: 2025-06-03 | Origin: /r/programming

The document proposes a new HTTP method called QUERY, described as a safe and idempotent method capable of carrying request content. It outlines that discussions regarding this draft occur on the HTTP working group mailing list and provides links for further information, including the source code and issue tracker for this draft. The draft is presented as an Internet-Draft, which is temporary and subject to updates or replacement, expiring on November 28, 2025. It emphasizes the document's compliance with certain IETF provisions

Published: 2025-06-03 | Origin: /r/programming

The content discusses the usage of Golem.de with advertisements and tracking through consent to cookies. JavaScript and cookies must be enabled in the browser to agree to the site's cookies. Issues with loading the consent dialog are mentioned, and users can find information on how to revoke consent in the privacy policy. A subscription option, "Golem pur," is available for €3 per month, allowing ad-free access with only essential cookies. The site collects personal data and shares it with up to 160 third parties

Published: 2025-06-03 | Origin: Hacker News

Caroline Frances Hubert had three main claims to fame. First, she was the thirty-seventh oldest living person, a fact she found unimpressive and boring. Second, she once survived rabies, which she took pride in despite it being a long-ago incident; she was notable for having been dead for fifty-six hours before an advanced entity called Prime Intellect restored her. Lastly, and most importantly, she was the undisputed Queen of the Death Jockeys, a title that required continuous

Published: 2025-06-03 | Origin: Hacker News

In a recent New Yorker piece, historian D. Graham Burnett discussed the academic response to AI, particularly within universities. He noted a failed initial attempt to implement an anti-AI policy in his department that would have prohibited assignments involving AI. Following an external review, the need to address AI's impact on teaching and research was highlighted but received little enthusiasm. Burnett criticized the prevailing attitude of ignoring the significant transformations AI is bringing, particularly in the humanities, arguing against simply prohibiting its use. He

Published: 2025-06-03 | Origin: Hacker News

In 2025, IT professionals are facing increased job insecurity due to economic challenges and the rising implementation of artificial intelligence in the workplace. Microsoft announced a reduction of about 6,000 jobs, approximately 3% of its global workforce, as part of a strategy to streamline operations and enhance AI efforts. Similarly, Health New Zealand revealed plans to cut hundreds of IT positions, equating to around a third of its IT workforce. Job seekers describe the current tech job market as highly competitive and difficult,

Published: 2025-06-03 | Origin: /r/programming

On June 1, 2025, Frank Fiegel announced that Microsoft has open-sourced NLWeb, a protocol designed to enable conversational interfaces on websites. NLWeb utilizes existing Schema.org structured data and supports the Model Context Protocol (MCP) for facilitating both human interactions and agent-to-agent communication. This protocol aims to standardize how conversational access to web content is achieved, overcoming the limitations of traditional, bespoke implementations of search interfaces. NLWeb allows for natural querying by both AI agents and humans

Published: 2025-06-02 | Origin: /r/programming

Of course! Please provide the content you'd like me to summarize.

Published: 2025-06-02 | Origin: Hacker News

The content discusses the challenges of ensuring that implementations of distributed algorithms at MongoDB conform to their formal specifications written in TLA+. This process, known as conformance checking, is critical due to the complexity and potential consequences of errors in such algorithms. In 2020, the author and colleagues explored the conformance of two MongoDB products to their TLA+ specs, reflecting on their experiences and methodologies. They were inspired by a 2011 paper on eXtreme Modelling, which promotes agile

Published: 2025-06-02 | Origin: /r/programming

Gauntlet is a programming language created to address the design flaws in Golang while maintaining its strengths. It transpiles exclusively to Go code, fully supports all its features, and integrates seamlessly into the Go ecosystem without requiring bindings. Full documentation and examples are available, and contributions are welcomed. Feedback is taken seriously, and there's a guide for potential contributors.

Published: 2025-06-02 | Origin: Hacker News

The author expresses concern about the rapid push for AI-assisted programming, particularly regarding large language models (LLMs) by tech executives, which they view as a flawed strategy. While some experts believe AI, like LLMs, is merely a passing trend—similar to NFTs—the author argues that such opinions overlook the significant advancements LLMs have made in software development. They emphasize that talented developers are still performing tasks that LLMs can already execute more efficiently, often out of resistance to adopting the technology

Published: 2025-06-02 | Origin: /r/programming

The content discusses a demo showcasing a web page that renders a list of 10 items using streaming HTML techniques. It highlights several features of this approach: initially displaying an 'app shell' with a header and footer, followed by the replacement of a loading placeholder with the list of items, which appear in non-sequential order. The demo employs Shadow DOM without Custom Elements and demonstrates how streaming HTML allows for rapid user feedback and early asset loading. This technique, which had diminished in favor during the rise of

Published: 2025-06-02 | Origin: Hacker News

Sure! Please provide the content you would like me to summarize.

Published: 2025-06-02 | Origin: /r/programming

The author discusses their experiences creating various versions of the Forth programming language, emphasizing that, while none are fully polished for industrial use, each project offered valuable insights into Forth, concatenative programming, and computer operations. They recognize that potential creators of Forth may feel uncertain about how to start and determine completion. The author shares their first project, NasmJF, a port of Richard WM Jones's JONESFORTH to the NASM assembler, highlighting the satisfaction of completing the port when the

Published: 2025-06-02 | Origin: /r/programming

The article discusses the message ordering and delivery guarantees of WebSockets, which are based on the underlying TCP protocol. WebSockets operate at the application layer (layer 7 of the OSI model) while utilizing TCP at the transport layer (layer 4), providing reliable message delivery and ordered sequences thanks to TCP's features like sequence numbering, acknowledgments (ACKs), and checksums. Despite the guarantees offered by TCP, message ordering can be disrupted due to delays in handling WebSocket messages, particularly when

Published: 2025-06-02 | Origin: /r/programming

The content emphasizes the importance of personal connections with potential partners and clients, encouraging interested parties to reach out via email. It shares insights from a talk given in late 2024 by someone at Galois, who discusses their passion for formal methods (FM) and acknowledges the mistakes made in past projects. The speaker reflects on their unexpected experience in sales calls, which are necessary for identifying industry projects involving formal methods. They highlight that discussions often lead to one of two outcomes: successfully scoping a project

Published: 2025-06-02 | Origin: /r/programming

The author reflects on health challenges often faced by developers, especially those who lead sedentary lifestyles characterized by long hours of coding. They highlight the tendency to indulge in unhealthy eating habits during breaks from work, using food as a form of escapism. To combat this, the author suggests keeping healthy snacks on hand and incorporating short walks into breaks to promote better health. They also critique the norm among developers of working late hours, influenced by cultural narratives that prioritize time spent over efficiency. The piece introduces a thought