Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Pope Francis on AI: History Repeats, Ethical Quandaries Resurface

2025-05-12
Pope Francis on AI: History Repeats, Ethical Quandaries Resurface

Pope Francis's call for respecting human dignity in the age of AI echoes Pope Leo XIII's 1891 encyclical Rerum Novarum, which addressed the social upheaval of the Industrial Revolution. Leo XIII condemned the exploitation of workers in horrific factory conditions. He rejected both unchecked capitalism and socialism, proposing Catholic social doctrine to uphold workers' rights. Similarly, AI now threatens employment and human dignity, prompting Pope Francis to advocate for the Church's moral leadership in navigating these new challenges, defending human dignity, justice, and labor rights.

Read more
(arstechnica.com)
AI

arXivLabs: Experimental Projects with Community Collaborators

2025-05-12
arXivLabs: Experimental Projects with Community Collaborators

arXivLabs is a framework that enables collaborators to develop and share new arXiv features directly on the arXiv website. Individuals and organizations working with arXivLabs embrace our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only partners with those who share them. Have an idea for a project that will benefit the arXiv community? Learn more about arXivLabs.

Read more
(arxiv.org)
Development

How to Title Your Blog Post (or Anything)

2025-05-12
How to Title Your Blog Post (or Anything)

This post delves into crafting compelling titles to maximize engagement with your target audience. The author suggests thinking of a title as a 'classifier,' aiming to attract those who'll appreciate your work while deterring those who won't. It breaks down the two goals of a title: attracting the right readers and repelling those likely to dislike it. Various title strategies are discussed, including using jargon, mimicking famous figures, employing puns, and including conclusions in the title. Ultimately, the key is finding your audience and conveying your work's value concisely.

Read more
(dynomight.net)
Misc title writing content marketing target audience

macOS Permission Pop-Up Vulnerability: TCC, Who?

2025-05-12
macOS Permission Pop-Up Vulnerability: TCC, Who?

A recently patched macOS vulnerability, CVE-2025-31250, allowed applications to spoof system permission pop-ups, tricking users into granting unauthorized access. Attackers exploited a flaw in Apple Events and the Transparency, Consent, and Control (TCC) system, separating the application displayed in the pop-up from the application actually receiving permissions. This vulnerability leveraged a logic error in the TCC daemon's handling of Apple Events permission requests, bypassing the need to create fake apps or override Dock shortcuts. The vulnerability has been patched, but highlights the complexity and potential risks in system permission management.

Read more
(wts.dev)
Tech permission management

Build a Rock-Solid SOC 2 Foundation: One-Stop Shop

2025-05-12
Build a Rock-Solid SOC 2 Foundation: One-Stop Shop

Tired of struggling with SOC 2 compliance? This tool provides clear, actionable SOC 2 checklists to understand requirements and easily track progress. Instantly generate foundational, SOC 2-compliant policies to kickstart your documentation. Centralize evidence uploads and link files directly to controls, simplifying audit preparation. Collaborate effectively with team task assignment, status tracking, and evidence request management—all within one platform. Future updates include automated evidence collection, continuous control monitoring, and vendor integrations.

Read more
(www.lumoar.com)
Development

Mergeable: A Superior Inbox for GitHub Pull Requests

2025-05-12
Mergeable: A Superior Inbox for GitHub Pull Requests

Mergeable is a browser application designed to improve the management of GitHub Pull Requests. It lets users organize PRs into sections using flexible search queries, stores all data locally in the browser, supports keyboard shortcuts for quick navigation, and connects to multiple GitHub instances (including GitHub Enterprise). Crucially, it highlights PRs awaiting your action, all without needing any GitHub app installations. Try the public instance at https://app.usemergeable.dev or self-host using the documentation at https://www.usemergeable.dev.

Read more
(github.com)
Development

Internet Map 2010: A BGP Visualization Pioneer

2025-05-12

This 2010 image of the internet, unseen publicly until 2014, represents a groundbreaking visualization. Unlike previous traceroute-based maps, it uses BGP data as its foundation, creating a framework for future internet visualizations using the Route Views table dump archive. The color scheme depicts connection density as incandescence, with hotter colors representing higher connection points. This image was previously only viewable at the Museum of Modern Art (MoMA) and in Discover Magazine.

Read more
(www.opte.org)
Tech internet map

5 Steps to N-body Simulation: A Python Tutorial

2025-05-12

This tutorial series teaches beginners how to write fast and clean N-body gravity simulation code in Python, inspired by "CFD Python: 12 steps to Navier-Stokes". Each step provides detailed explanations and complete code, encouraging readers to rewrite the code for better understanding. Even with basic Python and Calculus knowledge, beginners can follow along. Upon completion, you'll be able to create your own N-body simulation and explore related projects.

Read more
(alvinng4.github.io)
Development N-body simulation

Nvidia Raises Prices Across the Board Amidst Multiple Crises

2025-05-12
Nvidia Raises Prices Across the Board Amidst Multiple Crises

Nvidia has increased prices on almost all its products, citing tariffs, manufacturing costs, and the impact of export restrictions on its AI chips. Gaming GPUs saw a 5-10% price hike, while AI GPUs experienced a more significant 15% increase. The company's Q[number] earnings took a $5.5 billion hit due to export restrictions, including a ban on H20 chip sales to China. CEO Jensen Huang has been working to mitigate these issues, and the price increases aim to maintain profitability. Despite the price hikes, strong demand for AI chips outside of China and increased spending from cloud providers are expected to keep the company's financial report within forecasts. The move to TSMC's US plant for Blackwell chip production further exacerbated the cost increases. While a recent US-China trade deal may eventually lead to lower prices, consumers may not see immediate relief.

Read more
(www.tomshardware.com)
Tech AI Chips Price Increases

arXivLabs: Community Collaboration on New Features

2025-05-12
arXivLabs: Community Collaboration on New Features

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on the website. Participants, individuals and organizations alike, embrace arXiv's values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only partners with those who share them. Got an idea for a project that will benefit the arXiv community? Learn more about arXivLabs.

Read more
(arxiv.org)
Development

Efficient Memory Representation with GADTs in OCaml

2025-05-12
Efficient Memory Representation with GADTs in OCaml

This article explores using Generalized Algebraic Data Types (GADTs) in OCaml to optimize memory representation. The author first explains the limitations of OCaml's polymorphism, particularly the space inefficiency of List.iter when handling different data types due to uniform memory representation. Attempts to create a `Compact_array` type using ordinary variants and objects fail due to type inference and memory allocation issues. Finally, using GADTs, the author successfully creates a flexible and efficient memory representation for arrays of different data types, showcasing GADTs' usefulness beyond compiler writing—particularly in high-performance applications demanding fine-grained memory control.

Read more
(blog.janestreet.com)
Development

The Demise of USENIX ATC: The End of Academic Conferences in the Age of Open Source?

2025-05-12

The USENIX Annual Technical Conference (ATC) has been discontinued, prompting reflection on the academic conference model and the direction of systems research in the age of open source. The author recounts ATC's journey from glory to decline, arguing that the rise of open source has altered how systems research findings are disseminated, diminishing the importance of academic conferences. Simultaneously, ATC itself suffered from becoming overly academic and detached from practice, ultimately leading to its demise. While lamenting ATC's end, the author suggests that the rise of online conferences offers new possibilities for systems research.

Read more
(bcantrill.dtrace.org)
Tech systems research

America's Road Safety Crisis: Why are US Road Deaths So High?

2025-05-12

Over 40,000 people die on US roads annually, a shockingly high rate among developed nations. This isn't inevitable; it's a policy choice. The article highlights how the US lags behind countries like the Netherlands and Sweden in road safety improvements due to a lack of a nationwide systemic safety approach. These countries employ the 'Safe System' approach, prioritizing human-centered design, lower speeds, and reducing human-vehicle conflict. The article calls for the US to learn from international experiences and tackle its road safety crisis through a national strategy, design reforms, and a cultural shift.

Read more
(asteriskmag.com)
Tech traffic accidents

Legion Health: Founding Engineers Needed to Build AI-Native Mental Healthcare

2025-05-12
Legion Health: Founding Engineers Needed to Build AI-Native Mental Healthcare

Legion Health is rebuilding psychiatric care from the ground up, using AI to streamline operations. They're not focused on AI diagnostics, but on building an AI-native operational backend for scheduling, documentation, billing, risk detection, and more. With $6M raised and over $1M ARR, they're already serving 2000+ patients with an AI-powered agent infrastructure. They're seeking founding engineers with experience building complex systems, LLM fluency, and a focus on speed and clean architecture to help define the future of AI-native mental healthcare.

Read more
(www.workatastartup.com)
Startup

Dating App Cerca Leaks Thousands of User Profiles Due to Critical Vulnerabilities

2025-05-12

A security researcher discovered critical vulnerabilities in the dating app Cerca, exposing the personal information of thousands of users, including phone numbers, university emails, and even national ID information. The researcher responsibly disclosed the vulnerabilities to Cerca in late February but received no response. The vulnerabilities allowed attackers to access user profiles, private messages, and even force matches between users. While the vulnerabilities have since been patched, Cerca has not publicly acknowledged the incident or informed affected users. This highlights the critical need for startups to prioritize security and promptly respond to security vulnerability reports.

Read more
(alexschapiro.com)
Tech

Airweave: Semantically Search Any App with Your Agent

2025-05-12
Airweave: Semantically Search Any App with Your Agent

Airweave empowers your AI agents to semantically search any application. It's MCP-compatible and seamlessly integrates with apps, databases, and APIs, transforming their content into agent-ready knowledge. Whether your data is structured or unstructured, Airweave breaks it down into processable entities, stores it, and makes it retrievable via REST and MCP endpoints. Key features include data synchronization from 25+ sources, entity extraction and transformation, multi-tenant architecture, incremental updates, and semantic search. Built with FastAPI (Python), PostgreSQL and Qdrant databases, and deployable via Docker Compose and Kubernetes.

Read more
(github.com)
AI semantic search

Barbican Estate: A Labyrinthine Utopia in London

2025-05-12
Barbican Estate: A Labyrinthine Utopia in London

Three years after discovering the Barbican Estate online, the author finally visited this unique London complex built between 1965 and 1976. A two-hour resident-led tour revealed a fascinating blend of history, design, and hidden secrets. From underground parking garages filled with abandoned cars to Roman and medieval ruins, even a 1,000-year-old Jewish burial ground, the Barbican is far more than just housing. Inspired by ancient Egyptian and Battalion architecture, it features hidden passages and a dedicated online forum for residents. The article recounts the author's experience and recommends books for a deeper dive into this captivating place.

Read more
(arslan.io)
Design Barbican

Nix: Demonstrably Secure Software Supply Chains

2025-05-12
Nix: Demonstrably Secure Software Supply Chains

Meeting stringent software supply chain security regulations often involves costly air-gapped environments and extensive vetting. This article introduces Nix, a powerful package manager, as a solution. Nix enables verifiable supply chain integrity without sacrificing development speed. It tracks the exact origin and integrity of software, producing auditable offline source packages. A bootable NixOS image example demonstrates how Nix extracts verifiable Fixed-Output Derivations (FODs) from the dependency tree, allowing for offline rebuilds to ensure complete traceability and integrity. This transforms compliance from a roadblock into a manageable post-development verification step, significantly reducing costs and enhancing developer efficiency.

Read more
(nixcademy.com)
Development Verifiability

Retro Revival: Cyclauto's Front-Wheel-Drive Cargo Bike from the 1930s

2025-05-12
Retro Revival: Cyclauto's Front-Wheel-Drive Cargo Bike from the 1930s

French company Cyclauto has revived a vintage cargo bike design from the 1930s, originally by French industrialist Auguste Reymond. Unlike typical cargo bikes, the Cyclauto positions the rider above the front wheel, directly powering it without a chain, reducing maintenance. Its detachable cargo section, like a semi-trailer, offers high modularity, carrying goods, passengers, or even commercial fixtures. The shorter wheelbase makes it highly maneuverable in urban settings. Cyclauto has been showcased at bike shows, but production dates remain unannounced.

Read more
(www.core77.com)
Tech cargo bike

Cerabyte Secures Western Digital Investment for 5000-Year Data Storage

2025-05-12
Cerabyte Secures Western Digital Investment for 5000-Year Data Storage

German data storage startup Cerabyte announced it has received strategic investment from Western Digital, accelerating development of its groundbreaking ceramic-based data storage technology. Boasting a 5000-year lifespan and potentially yottabyte-scale capacity, Cerabyte's technology has undergone extreme testing, proving resilient to heat, water, radiation, and more. Aiming for sub-$1/TB storage by 2030, this partnership promises to bring commercially viable, ultra-long-term data storage solutions to market.

Read more
(www.tomshardware.com)
Tech ceramic storage

Tailscale 4via6: Revolutionizing Edge Device Connectivity

2025-05-12
Tailscale 4via6: Revolutionizing Edge Device Connectivity

Deploying software or hardware to the edge often faces connectivity challenges: NAT, restrictive network policies, fixed CIDR ranges, and unknowns. Tailscale's 4via6 subnet routing solves this by enabling seamless connections between numerous networks (e.g., robots, sensor networks) without managing IPs, CIDRs, or ports. Each network gets a unique identifier, devices are named using MagicDNS, simplifying management and granting secure remote access even for complex customer networks. Ideal for connecting autonomous robots, linking VPCs across clouds, or using the same IP range for testing and production.

Read more
(tailscale.com)
Tech Edge Networking

Conquering HN Overload: AI-Powered Personalized Tech News

2025-05-12
Conquering HN Overload: AI-Powered Personalized Tech News

The author, a long-time Hacker News user, struggled with information overload. To combat this, he built two tools: Tobie, a Telegram bot that delivers personalized HN posts based on keywords and vote thresholds; and HaNe, a Chrome extension that provides archived links for paywalled articles, quick access to HN threads, and AI-summarized comments. These tools significantly improved his reading efficiency, reduced screen time, and alleviated information anxiety.

Read more
(reorientinglife.substack.com)
Development

OpenEoX: Revolutionizing Cybersecurity and Product Lifecycle Management

2025-05-12
OpenEoX: Revolutionizing Cybersecurity and Product Lifecycle Management

OpenEoX standardizes End-of-Life (EOL) and End-of-Support (EOS) policies across vendors and open-source maintainers, dramatically reducing cybersecurity risks. It allows organizations to quickly identify unsupported products, enabling timely retirement or replacement of outdated, vulnerable systems. This leads to a more secure IT environment. OpenEoX's machine-readable format enables automated vulnerability management, providing real-time monitoring and alerts for proactive risk mitigation. Further benefits include simplified product management, enhanced customer confidence, and smoother technology transitions.

Read more
(openeox.org)
Tech Product Lifecycle Management

Embeddings: The Future of Technical Writing?

2025-05-12

This article explores how embedding technology could revolutionize technical writing. Unlike text generation models, embedding technology compares the semantic similarity of texts by converting them into high-dimensional vectors (embeddings). The article explains how embeddings are generated, their cost, and the differences between different models, using the Voyage-3 model as an example to illustrate its advantages in handling large texts. The author uses the analogy of map coordinates to explain how embeddings are represented in high-dimensional space and, using Word2vec as an example, demonstrates the ability of embedding technology to capture semantic relationships. Finally, the article introduces the application of embedding technology in recommending related pages on documentation websites and looks ahead to its enormous potential in technical writing.

Read more
(technicalwriting.dev)
Development embedding technology

US and China Agree to 90-Day Tariff Truce

2025-05-12
US and China Agree to 90-Day Tariff Truce

The US and China announced a temporary agreement to lower tariffs, offering a 90-day truce in their ongoing trade war. The US will reduce tariffs on Chinese imports from 145% to 30%, while China will lower tariffs on US goods from 125% to 10%. Both sides cited a desire to avoid economic decoupling and buy time for further negotiations. The agreement offers a lifeline to American businesses that had suspended orders, hoping for a tariff reduction amid rising prices.

Read more
(news.slashdot.org)
Tech Trade Deal

StarGuard: Trust Scores for GitHub Repositories

2025-05-12
StarGuard: Trust Scores for GitHub Repositories

StarGuard is a CLI tool designed to detect fake star campaigns, dependency hijacking, license red flags, and other indicators of open-source risk on GitHub. By analyzing stars, dependencies, licenses, maintainers, and code, it generates a trust score, enabling CTOs, security teams, and VCs to quickly assess open-source risks. StarGuard outputs JSON, Markdown, and plain text reports, along with star history plots and shields.io badges.

Read more
(github.com)
Development

Ruby Namespaces: A Critical Look at a Proposed Implementation

2025-05-12

This blog post questions a proposed implementation of namespaces in Ruby. The author argues that the proposal aims to solve problems like library name clashes, globally shared modules, and multiple gem versions, but these issues are not frequently encountered in practice. The complexity introduced by the proposal, such as deduplication, might outweigh its benefits. The author prefers a lighter-weight approach, such as restricting constant access and providing a BasicObject-like mechanism to improve code maintainability and modularity.

Read more
(bugs.ruby-lang.org)
Development Namespaces Modularity

FTC Delays Enforcement of Click-to-Cancel Rule

2025-05-12
FTC Delays Enforcement of Click-to-Cancel Rule

The Federal Trade Commission (FTC) has delayed enforcement of its “click-to-cancel” rule until July 14th, pushing back the original May 14th deadline. The rule, part of the Negative Option Rule, requires subscription cancellations to be as easy as sign-ups. The FTC cited a reassessment of the burden of immediate compliance as the reason for the delay. While enforcement will begin July 14th, the FTC remains open to amending the rule if problems arise during implementation.

Read more
(www.theverge.com)
Tech click-to-cancel

The Gig Trap: How Algorithmic Exploitation is Hurting US Gig Workers

2025-05-12
The Gig Trap: How Algorithmic Exploitation is Hurting US Gig Workers

A new Human Rights Watch report exposes the dark side of seven major US digital labor platforms, including Uber and DoorDash. These platforms misclassify gig workers as independent contractors, evading employer responsibilities and using opaque algorithms to control wages and job assignments. This results in workers earning far below minimum wage, lacking social protection, and facing constant fear of termination. The report highlights the extreme economic insecurity of these workers while the platform companies rake in billions. It calls for stronger government regulation to protect gig workers' rights.

Read more
(www.hrw.org)
Tech algorithmic exploitation

UK Creative Industry Fights Back Against AI Copyright Loopholes

2025-05-12
UK Creative Industry Fights Back Against AI Copyright Loopholes

Over 400 leading UK media and arts professionals have penned a letter to the Prime Minister opposing an amendment to the Data (Use and Access) Bill. This amendment would allow AI models to use copyrighted works, causing concerns about widespread copyright infringement. While an opt-out is proposed, the group, including Paul McCartney, Elton John, Coldplay, and numerous media organizations, argues it's insufficient. They demand transparency, forcing AI companies to disclose copyrighted works used in training, protecting creators and fostering a vibrant UK creative industry. The letter highlights the economic impact and the need to prevent years of potential copyright theft.

Read more
(www.theregister.com)
Tech Data Bill UK Creative Industries
1 2 … 242 243 244 246 248 249 250 … 596 597