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

FedRAMP 20x: One Month In, Full Speed Ahead

2025-05-13
FedRAMP 20x: One Month In, Full Speed Ahead

One month after its launch, the GSA's FedRAMP 20x initiative is rapidly modernizing FedRAMP through continuous collaboration with industry and federal agency experts. This month saw the authorization of 29 new cloud services, numerous community working group meetings, and significant progress on improving standards, including the release of three proposed standards for public comment. Looking ahead, the FedRAMP 20x Phase One pilot program is opening, aiming to use Key Security Indicators to summarize the security capabilities of cloud-native service offerings. The initiative prioritizes security over compliance and encourages private sector innovation.

Read more
(www.fedramp.gov)
Tech

Universe's Decay Rate Far Faster Than Previously Thought: 10⁷⁸ Years Until the End

2025-05-12
Universe's Decay Rate Far Faster Than Previously Thought: 10⁷⁸ Years Until the End

A team of Dutch scientists has revealed that the universe is decaying far faster than previously anticipated. Their calculations, focusing on Hawking-like radiation, predict that the longest-lasting celestial bodies, white dwarf stars, will decay in approximately 10⁷⁸ years—significantly shorter than the previously estimated 10¹¹⁰⁰ years. This research reinterprets Hawking radiation, considering the 'evaporation' of other objects like neutron stars. The team even calculated the 'evaporation' time for humans and the moon at around 10⁹⁰ years. This interdisciplinary study, combining astrophysics, quantum physics, and mathematics, offers new insights into Hawking radiation.

Read more
(phys.org)
Tech universe decay Hawking radiation astrophysics

wtfis: A Powerful Open-Source Domain/IP Information Gathering Tool

2025-05-12
wtfis: A Powerful Open-Source Domain/IP Information Gathering Tool

wtfis is a command-line tool that gathers information about a domain, FQDN, or IP address using various OSINT services. Designed for ease of use, it presents results in a human-readable format and minimizes API calls to avoid exceeding quotas. It integrates multiple sources like VirusTotal, IP2Whois, Shodan, Greynoise, URLhaus, and AbuseIPDB, providing rich information such as reputation scores, popularity rankings, categories, resolutions, Whois data, open ports, and malware URL associations. Users can configure API keys for advanced features and customize arguments, with Docker deployment also supported.

Read more
(github.com)
Tech Information Gathering

US Copyright Chief Fired After AI Fair Use Report

2025-05-12
US Copyright Chief Fired After AI Fair Use Report

Shira Perlmutter, head of the US Copyright Office, was reportedly fired a day after the agency concluded that AI model builders' use of copyrighted material exceeded existing fair use doctrines. The report stated that AI companies cannot sustain a fair use defense under specific circumstances, putting companies like Google, Meta, OpenAI, and Microsoft at legal risk. Reasons for the firing are debated, with suggestions ranging from Perlmutter's refusal to allow Elon Musk's use of copyrighted material for AI training to a broader Trump administration policy shift on diversity. The incident escalates the AI copyright battle and sparks debate on balancing AI development with copyright protection.

Read more
(www.theregister.com)
Tech

CoMaps: A Community Fork of Organic Maps Takes Off

2025-05-12
CoMaps: A Community Fork of Organic Maps Takes Off

The community-driven fork of Organic Maps, CoMaps, is progressing rapidly. Built on principles of transparency, community decision-making, non-profit status, open-source, and privacy, the project is focusing on establishing its foundation and technology. The first release is underway. A community vote for the project's final name will conclude May 20th on Codeberg. CoMaps welcomes contributions in development, governance, outreach, and donations. Negotiations with Organic Maps shareholders have stalled; Viktor seeks to retain full control, leaving the future of Organic Maps uncertain.

Read more
(www.comaps.app)
Development open-source map community project

Alien Languages: Stranger Than We Imagine

2025-05-12
Alien Languages: Stranger Than We Imagine

Fictional alien languages, like the Heptapod language in Arrival, while bizarre, share surprisingly similar underlying structures to human languages. This prompts philosophical reflection on the "space of possible languages": true alien languages might be far stranger than we've imagined, constructed in ways radically different from human tongues. The article explores four levels of language: signs, structure, semantics, and pragmatics, analyzing how alien languages might differ in each. This includes using non-human sensory modalities (smells, electrical impulses), possessing unique grammatical structures, and even lacking the concept of 'meaning' as we understand it. Preparing for truly alien languages requires abandoning anthropocentrism and actively exploring the possibilities of language. This is not only crucial for potential extraterrestrial contact but also for a deeper understanding of our own language and cognitive abilities.

Read more
(aeon.co)
AI alien language philosophy of language

Mastering Dart Compilation: A Deep Dive into `dart compile`

2025-05-12
Mastering Dart Compilation: A Deep Dive into `dart compile`

This guide provides a comprehensive overview of the Dart `dart compile` command, enabling compilation of Dart programs to various target platforms. It details the use of subcommands like `exe` (self-contained executables), `aot-snapshot` (AOT modules), `jit-snapshot` (JIT modules), `kernel` (portable modules), `js` (JavaScript), and `wasm` (WebAssembly), explaining their functionalities and characteristics. The guide covers cross-compilation, code signing, and optimization techniques for production web compilation, offering a complete understanding of Dart compilation.

Read more
(dart.dev)
Development

Armbian's Major Update: OpenMediaVault Integration and More

2025-05-12
Armbian's Major Update: OpenMediaVault Integration and More

This week's Armbian update brings significant improvements across the board. The highlight is the integration of OpenMediaVault, allowing users to easily turn supported single-board computers into network-attached storage (NAS) devices. Other enhancements include removing a redundant wireless hotspot prompt, upgrading bootloaders on Orange Pi 5 Max and PocketBeagle2, and optimizing performance and stability on the Rockchip64 platform. Armbian also continues infrastructure refinement, cleaning up unused code, and preparing for future testing initiatives.

Read more
(www.armbian.com)
Development Single-board computers

Crypto Dev's Fake Suicide Video Exposed

2025-05-12
Crypto Dev's Fake Suicide Video Exposed

Jeffy Yu, a 23-year-old cryptocurrency developer, seemingly took his own life in a video released days before his birthday. A flattering obituary followed, hailing him as a tech prodigy, and a memecoin was even created in his honor. However, online sleuths quickly uncovered inconsistencies, debunking the video's authenticity and leading to the obituary's disappearance. The Standard ultimately located Yu at his parents' home, where he confessed to orchestrating the hoax due to online harassment. Yu is the creator of Zerebro, a cryptocurrency with a $44 million market cap, a fraction of Bitcoin's $2 trillion. This incident highlights the speculation and misinformation prevalent in the crypto space.

Read more
(sfstandard.com)
Tech hoax online sleuths

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

Ticketmaster Caves, Will Now Show All-In Ticket Prices

2025-05-12
Ticketmaster Caves, Will Now Show All-In Ticket Prices

Following the 2022 Taylor Swift ticket fiasco and regulatory pressure, Ticketmaster is implementing "All In Prices," displaying the total ticket cost including fees before checkout. This move complies with the Federal Trade Commission's ban on junk fees, effective May 12th. While local taxes and delivery fees remain hidden until checkout, the change increases transparency by showing face value and service fees upfront. Improvements to the queuing system, offering real-time updates and queue position, are also included. This reflects increased scrutiny of the ticketing market and legislative efforts like the House-passed TICKET Act pushing for price transparency.

Read more
(www.theverge.com)
Misc Ticketing

Diving Deep into the BEAM: Elixir's Foundation

2025-05-12
Diving Deep into the BEAM: Elixir's Foundation

This is the first chapter in the "Elixir, 7 Steps to Start Your Journey" series, delving into the foundation of Elixir's power and reliability: the Erlang Virtual Machine (BEAM). The post explores Erlang's history, design goals, and its crucial role in Elixir. Created in the mid-1980s, Erlang, initially for telecommunications, is now a general-purpose language known for distributed, fault-tolerant, massively concurrent, and soft real-time systems. The BEAM manages Erlang code execution, concurrent processes, and achieves fault tolerance through asynchronous message passing. Elixir, running on the BEAM, inherits these strengths while adding cleaner syntax and a robust library. A simple code example showcases Erlang and Elixir interaction. The next chapter promises a deep dive into Erlang processes and concurrency.

Read more
(www.erlang-solutions.com)
Development

Infinity Nikki's 1.5 Update Sparks Player Backlash: Aggressive Monetization, Broken Gameplay

2025-05-12
Infinity Nikki's 1.5 Update Sparks Player Backlash: Aggressive Monetization, Broken Gameplay

Infinity Nikki's 1.5 update has sparked significant player backlash. While introducing multiplayer and customization options, the update also brought numerous bugs, instability, and baffling changes to the story and monetization. Players launched a "girlcott," refusing to play and spend money, flooding Steam with negative reviews. Infold Games' response failed to appease players, who cite increased costs for complete outfits, a new paid currency pushing heavier monetization, and a major story alteration as reasons for their anger. The incident highlights Infold Games' broken trust with its player base and missteps in its in-app purchase design.

Read more
(aftermath.site)
Game player boycott gacha

Spade: A Novel Hardware Description Language for Easier, Less Error-Prone Hardware Design

2025-05-12

Spade is a new hardware description language (HDL) designed to simplify hardware design and reduce errors. It borrows best practices from software programming languages, incorporating language-level support for common hardware constructs without sacrificing low-level control. Key features include first-class pipeline support, a powerful type system with structs, arrays, tuples, and payload-carrying enums, pattern matching, type inference, and excellent error messages. A comprehensive toolchain, including the Swim build tool and cocotb testing framework, is also provided. While still in its early stages, Spade shows immense promise as a next-generation hardware design language.

Read more
(spade-lang.org)
Hardware hardware description language

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

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

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

Accountability Sinks: How Processes Obscure Responsibility

2025-05-03
Accountability Sinks: How Processes Obscure Responsibility

This article explores the phenomenon of 'accountability sinks,' where organizations formalize decision-making processes to avoid controversy and responsibility, resulting in no one being held accountable for errors. From shredded squirrels to complex healthcare systems, the author cites numerous examples showing how processes, while improving efficiency, can obscure responsibility, ultimately leading to catastrophic consequences. The article argues that not all processes are problematic; the key lies in whether the design allows for flexibility and accountability for outcomes.

Read more
(250bpm.substack.com)
Misc Responsibility Processes

Venus' Surprisingly Thin Crust: A New Model for Geological Processes

2025-05-12
Venus' Surprisingly Thin Crust: A New Model for Geological Processes

New research reveals surprising details about Venus' crust. Unlike Earth, Venus possesses a single-piece crust, lacking plate tectonics. Scientists expected its crust to thicken over time due to the absence of subduction. However, a study published in Nature Communications proposes a crustal metamorphism model based on rock density and melting cycles. This model suggests a surprisingly thin crust, averaging around 25 miles (40 kilometers) thick, with a maximum thickness of 40 miles (65 kilometers). The research indicates that as the crust thickens, the bottom becomes dense enough to break off into the mantle or melt due to heat. This process recycles material back into the interior, driving volcanic activity and influencing Venus' geological evolution and atmospheric composition. Upcoming missions like NASA's DAVINCI and VERITAS, and ESA's Envision, aim to further explore Venus and test this model.

Read more
(science.nasa.gov)
Tech Geology Crust

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

US-China Trade War: 90-Day Truce, Massive Tariff Cuts

2025-05-12
US-China Trade War: 90-Day Truce, Massive Tariff Cuts

In a surprise breakthrough, the US and China agreed to significantly roll back tariffs on each other's goods for 90 days, easing the punishing trade war and boosting global markets. The US will temporarily lower tariffs on Chinese goods from 145% to 30%, while China will cut tariffs on US imports from 125% to 10%. Both sides committed to establishing a mechanism for continued dialogue on economic and trade relations. The news sent global markets soaring, easing recession fears.

Read more
(edition.cnn.com)
Tech US-China trade

kdlfmt: A Robust KDL Code Formatter

2025-05-12
kdlfmt: A Robust KDL Code Formatter

kdlfmt is a command-line tool built on Rust for formatting KDL (Key-Data-List) documents. Installation is flexible, supporting Cargo, Homebrew, npm, and pre-compiled binaries. It offers `format` for formatting, `check` for validation, and `completions` for shell autocompletion. `.kdlfmtignore` files allow for exclusion, and options let you specify KDL version and log level. Whether piping input or processing files, kdlfmt efficiently formats KDL code for improved readability and consistency.

Read more
(github.com)
Development

The Surprisingly Weird History of Air Traffic Control

2025-05-12
The Surprisingly Weird History of Air Traffic Control

This article delves into the century-long evolution of the US Air Traffic Control (ATC) system, from its beginnings in World War I military aviation radio to the intricate National Airspace System (NAS) of today. It reveals how ATC's development has been profoundly shaped by war, airmail, and technological advancements like radar, exploring the complex interplay between military systems (like SAGE) and civilian ATC, and the resulting technological and managerial challenges. From rudimentary ground control to today's automated systems, the path of ATC has been anything but straightforward, filled with compromises and unforeseen consequences, reflecting the constant tension between technological progress and practical application.

Read more
(computer.rip)
Tech Aviation History Technological Development

Choose Optimism: Ditching Complaining and Embracing Positivity

2025-05-03
Choose Optimism: Ditching Complaining and Embracing Positivity

This article explores two contrasting approaches to life: optimism and complaining. Using the example of two passengers on a plane, one constantly complaining about the service, the other enjoying the journey, the author highlights how complaining has become normalized. People often fixate on minor inconveniences, even complaining about things that don't directly affect them. Choosing optimism, the article argues, isn't about ignoring problems, but about proactively tackling challenges and finding the positive in setbacks. It encourages readers to cultivate an optimistic mindset for a more fulfilling life.

Read more
(quarter--mile.com)
Misc positive living complaining

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

Harvard Grad, LSD Kingpin: The Collision of Sixties Idealism and Nineties Materialism

2025-05-12
Harvard Grad, LSD Kingpin: The Collision of Sixties Idealism and Nineties Materialism

William Leonard Pickard, a Harvard graduate, was arrested for allegedly being one of the world's largest LSD manufacturers. This article chronicles his legendary and complex life: from a privileged childhood in Atlanta to the heart of the 1960s counterculture and social drug research at prestigious universities in the 1990s. He associated with rock star Sting, befriended members of the British House of Lords and US officials, and earned a master's degree from Harvard's Kennedy School of Government. However, he served multiple prison sentences for drug manufacturing and, while attempting to lead a legitimate life, was again caught up in the drug trade through his collaboration with Gordon Todd Skinner, a drug dealer. Pickard's story is a microcosm of the clash between 1960s idealism and 1990s materialism, a cautionary tale about the conflict between the dreams of the counterculture and the harsh realities of life.

Read more
(www.rollingstone.com)
Misc drug manufacturing counterculture

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

Massive Underground Water Reservoir Discovered on Mars

2025-05-12
Massive Underground Water Reservoir Discovered on Mars

New research using seismic data from NASA's InSight mission has revealed evidence of a vast liquid water reservoir deep beneath the Martian surface, between 5.4 and 8 kilometers below. This reservoir could contain enough water to cover the entire planet, matching estimates of Mars's "missing" water. This discovery not only explains the fate of Mars' ancient oceans but also opens exciting new avenues for future exploration and the search for extraterrestrial life. The subsurface water could support simple life forms and even provide valuable resources for future human explorers.

Read more
(theconversation.com)
Tech

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
1 2 3 4 6 8 9 10 … 356 357