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

Apache Cloudberry: Open-Source MPP Database, a Greenplum Alternative

2024-12-21
Apache Cloudberry: Open-Source MPP Database, a Greenplum Alternative

Apache Cloudberry, built by the original Greenplum Database developers, is an advanced and mature open-source Massively Parallel Processing (MPP) database. It features a newer PostgreSQL kernel and enhanced enterprise capabilities, serving as a data warehouse and supporting large-scale analytics and AI/ML workloads. Users can build from source or utilize a Docker-based sandbox for quick trials. A vibrant community provides support and encourages contributions ranging from code improvements to documentation enhancements.

Read more
(github.com)
Tech open-source database Greenplum alternative

Garmin's $40B Pivot: From Car GPS to Fitness Watch King

2025-01-21
Garmin's $40B Pivot: From Car GPS to Fitness Watch King

GPS pioneer Garmin faced near-extinction from Apple and Google's rise. However, massive R&D investment allowed a dramatic pivot, transforming the company from a car navigation device firm into a leader in fitness watches and trackers. The article details Garmin's journey, from the invention of GPS and Garmin's founding to its transition from car navigation to the outdoor and fitness tracking market. Its sustained R&D spending enabled survival and growth in a fiercely competitive landscape, showcasing the importance of continuous innovation and adaptation.

Read more
(www.readtrung.com)
Tech Transformation

California AG: Nearly Everything AI Companies Do Might Be Illegal

2025-01-29
California AG: Nearly Everything AI Companies Do Might Be Illegal

A legal memo from California's Attorney General's office warns that many business practices in Silicon Valley's booming AI industry are potentially illegal. The memo highlights various legal violations, including using AI to create disinformation, falsely advertising AI capabilities, and the discriminatory impact of AI systems on certain groups. This underscores the significant legal risks facing the AI industry, with many companies potentially facing lawsuits; OpenAI, for instance, is currently being sued for copyright infringement. The memo effectively puts AI companies on notice to self-regulate or face potential legal action.

Read more
(gizmodo.com)
Tech AI legal risks discrimination

Microsoft Cleaning Up Legacy Drivers on Windows Update

2025-06-24

Microsoft has launched a strategic initiative to clean up legacy drivers on Windows Update to reduce security and compatibility risks. This involves periodically removing outdated drivers, ensuring the optimal driver set for various hardware and maintaining Windows security. Partners will have a 6-month window to address concerns after a driver is removed; otherwise, it will be permanently deleted. This cleanup will be a recurring process.

Read more
(techcommunity.microsoft.com)
Hardware Windows drivers hardware compatibility

Defense Secretary's Wife Spotted at Top-Secret Military Briefings

2025-03-30
Defense Secretary's Wife Spotted at Top-Secret Military Briefings

Defense Secretary Pete Hegseth's wife, Jennifer Rauchet, has been observed attending high-level military intelligence meetings, raising concerns about security protocols. This follows the Pentagon's Signal leak scandal where Hegseth added a journalist to a group chat discussing war plans. While spouses of senior officials often hold low-level clearances, the Pentagon has not confirmed Rauchet's clearance status. Adding to the controversy, Hegseth's brother, Phil, serves as a DHS liaison and has accompanied him on official trips, sparking debate about potential nepotism. The incidents have reignited questions about the security of America's military secrets and Hegseth's leadership.

Read more
(www.thedailybeast.com)
Tech military secrets nepotism

Boeing 777 Model Crafted from Manila Folders

2024-12-27
Boeing 777 Model Crafted from Manila Folders

Luca Iaconi-Stewart spent years painstakingly creating a 1:60 scale model of a Boeing 777-300ER airliner, using only manila folders. The project, born from a high school architecture class, showcases his mastery of paper's versatility. From initial simple designs to an incredibly detailed final product, he utilized Adobe Illustrator to design intricate parts, then meticulously cut, assembled, and glued them together. This stunning creation involved extensive research, design, printing, and assembly, demonstrating incredible craftsmanship and attention to detail.

Read more
(www.lucaiaconistewart.com)
Design model making airplane model

Tim Cook's Faustian Bargain: Apple CEO's Dealings with Trump

2025-01-27
Tim Cook's Faustian Bargain: Apple CEO's Dealings with Trump

This article critically examines Apple CEO Tim Cook's relationship with the Trump administration. The author argues that Cook, in pursuit of tax and tariff advantages for Apple, repeatedly ingratiated himself with Trump, including donating to his inauguration and meeting with other CEOs. This, the author contends, directly contradicts Cook's public image as a supporter of the LGBTQ+ community, especially given the Trump administration's anti-LGBTQ+ policies. The author calls for critical reflection on Cook's actions and urges Cook to leverage his influence to protect the rights of his employees and customers, rather than solely pursuing corporate gain.

Read more
(joe-steel.com)
Tech Business Ethics Social Responsibility

Mystery Drone Sightings Continue to Plague US East Coast

2024-12-18
Mystery Drone Sightings Continue to Plague US East Coast

A wave of mysterious drone sightings is causing widespread concern and airspace closures along the US East Coast. These SUV-sized drones have been reported near military bases and airports in New Jersey and New York, disrupting air travel. While federal agencies are investigating, explanations remain elusive, with speculation ranging from political conspiracies to other unknown causes. The ongoing mystery fuels public anxiety and calls for swift resolution to prevent further disruptions and potential threats.

Read more
(www.theregister.com)
Misc drones US East Coast airspace closures

NASA Solves Ingenuity Mars Helicopter Crash Mystery

2024-12-13
NASA Solves Ingenuity Mars Helicopter Crash Mystery

After nearly a year of investigation, NASA has finally solved the mystery behind the crash of Ingenuity, the Mars helicopter carried by the Perseverance rover. The helicopter's navigation system, unable to discern sufficient features on the relatively smooth Martian surface, resulted in a horizontal velocity upon landing. This caused Ingenuity to tumble, breaking its blades. Despite lacking a black box, investigators pieced together the cause from limited data and imagery. Remarkably, Ingenuity still communicates intermittently with Perseverance. The incident has prompted NASA to begin planning for follow-on missions, including a larger Mars helicopter capable of carrying scientific instruments.

Read more
(arstechnica.com)
Tech Mars exploration Ingenuity navigation system failure

Dish: A Tiny, One-Shot Monitoring Service

2025-03-27
Dish: A Tiny, One-Shot Monitoring Service

Dish is a minimalist Go-based, one-shot monitoring service designed for quick testing of HTTP/S and generic TCP endpoints. It supports loading target lists from local JSON files or remote JSON APIs and offers various alerting methods, including Telegram notifications, Prometheus Pushgateway updates, and webhook callbacks. Users can configure it flexibly via command-line arguments, including custom headers. Dish boasts zero dependencies and easy deployment, whether through building a binary or using a Docker image, making it ideal for rapidly setting up a monitoring system.

Read more
(github.com)
Development

Android's pKVM Achieves SESIP Level 5 Certification: A New Era for Mobile Security

2025-08-18
Android's pKVM Achieves SESIP Level 5 Certification: A New Era for Mobile Security

Google announced that pKVM (protected KVM), the hypervisor powering Android's Virtualization Framework, has achieved SESIP Level 5 certification—a first for a software security system designed for large-scale deployment in consumer electronics. This allows Android to securely support next-generation high-criticality isolated workloads, such as on-device AI processing ultra-personalized data, with the highest assurances of privacy and integrity. The certification, conducted by Dekra and compliant with EN-17927, includes AVA_VAN.5, the highest level of vulnerability analysis and penetration testing. This achievement sets a cornerstone for Android's multi-layered security strategy and provides device manufacturers with a robust, open-source firmware base.

Read more
(security.googleblog.com)
Tech SESIP Level 5

Pseudonymity in Academic Publishing: A Wikipedia Edit Sparks Debate

2024-12-27

A paper on editing mathematics on Wikipedia has sparked a debate about pseudonymity in academic publishing. One of the authors used the Wikipedia pseudonym "XOR'easter," but the American Mathematical Society (AMS) refused to publish the paper because they didn't know the author's real-world identity. This highlights the conflict between internet pseudonymity and traditional academic publishing, and the question of how readily academia accepts anonymous publications. The authors argue that Wikipedia's pseudonymity policy protects editors, and that academia needs to rethink the meaning of anonymous publication.

Read more
(11011110.github.io)
Development academic publishing pseudonymity wikipedia

Ada's Dependent Types: An Unexpected Coincidence

2024-12-28
Ada's Dependent Types: An Unexpected Coincidence

This article explores the lesser-known dependent types feature in the Ada programming language. The author argues that Ada's design goal of avoiding unnecessary dynamic memory allocation led to its unique implementation of dependent types: using a second non-call stack to return data of unknown compile-time size, cleverly circumventing the need for dynamic allocation. This unexpectedly coincides with the formal definition of dependent types, showcasing an unforeseen serendipity in Ada's design. The article further explains concepts in Ada's type system such as derived types, subtypes, discriminated records, and type predicates, demonstrating how these features enable the implementation of dependent types. Finally, the author discusses the interesting interplay between Ada's design philosophy and academic research on type theory, suggesting that many of Ada's type system features didn't originate directly from type theory research, but rather evolved naturally to meet specific needs.

Read more
(nytpu.com)
Development

Learn x86-64 Assembly by Writing a GUI from Scratch

2025-09-16

This article details the author's journey of learning x86-64 assembly language by creating a simple GUI program. Starting with a basic exit program, the author progressively explains system calls, stack operations, the X11 protocol, and more, ultimately achieving a window displaying "Hello, world!" in a binary under 1KB. The article is well-structured and suitable for readers with some programming experience.

Read more
(gaultier.github.io)
Development GUI programming

Lessons Learned in Long-Term Software Development

2024-12-22
Lessons Learned in Long-Term Software Development

This article summarizes lessons learned in long-term software development, emphasizing the importance of keeping code simple, carefully choosing dependencies, thorough testing, and strong teamwork. Drawing on interactions with Mastodon users and experiences at the Dutch Electoral Board, the author highlights the significant risks of excessive dependencies, complex code, and frequent team turnover in long-term projects. He advises developers to periodically review dependencies, write extensive test cases, and meticulously document code philosophy and design decisions to address the challenges of long-term maintenance and technological change. The article also underscores the benefits of open source and the importance of simple code, cautioning developers against blindly chasing new technologies and opting instead for time-tested solutions.

Read more
(berthub.eu)
Development dependency management code simplicity

The Math Behind Daylight's Lengthening Days

2025-03-19

A colleague's office window in Stavanger, Norway, transitioning from pitch black to bright sunlight sparked the author's curiosity about the rate of daylight's lengthening. The article uses interactive graphs to visualize how daylight changes over time at different latitudes. It delves into the underlying mathematics, including the sunrise equation, solar declination, and atmospheric refraction. The author derives formulas for daylight length and its derivative, discussing the complexities of more accurate calculations, such as considering the solar limb and atmospheric refraction. Ultimately, the article reveals the intricacies of daylight change and the extent to which various factors influence daylight calculations.

Read more
(joe-antognini.github.io)
Tech

Fixing a Sneaky uname Bug in Apache NuttX RTOS: Static Variables Strike Back

2025-01-21
Fixing a Sneaky uname Bug in Apache NuttX RTOS: Static Variables Strike Back

This post details the debugging journey of a seemingly minor bug in the Apache NuttX RTOS's `uname` command. The initial problem: the commit hash was missing from the output. The investigation led down a rabbit hole, involving inspecting the kernel image, calling `uname` at kernel startup, and disassembling the application. The culprit? A broken static variable (`g_version`) responsible for storing the commit hash within NuttX applications. This unexpected behavior highlighted the importance of thorough debugging in embedded systems, emphasizing that even minor anomalies can signal deeper, more serious issues.

Read more
(lupyuen.org)
Development bug fix

South Korean Actress Kim Sae-ron's Death Sparks Debate on Celebrity Treatment

2025-02-18
South Korean Actress Kim Sae-ron's Death Sparks Debate on Celebrity Treatment

The death of 24-year-old South Korean actress Kim Sae-ron has ignited a widespread conversation about the harsh realities faced by celebrities in South Korea. Kim, known for her role in the hit film "The Man from Nowhere," struggled to revive her career after a 2022 drunk driving incident, facing relentless online criticism and negative media coverage. Her passing has prompted calls for reform, with many criticizing the unforgiving culture and demanding a more compassionate approach to celebrity missteps. The incident echoes similar tragedies involving other Korean celebrities and highlights the pervasive issue of cyberbullying.

Read more
(apnews.com)
Misc cyberbullying korean entertainment celebrity pressure

Clever Workaround for Conflicting Blanket Implementations in Rust

2025-07-04
Clever Workaround for Conflicting Blanket Implementations in Rust

Rust's trait system is powerful but strict about avoiding ambiguity in blanket implementations. The author encountered this while building Joydb, needing to support two mutually exclusive implementations of the `Adapter` trait: `UnifiedAdapter` and `PartitionedAdapter`. A direct approach using blanket implementations failed. The solution, detailed in this post, uses marker structs (`Unified` and `Partitioned`), a helper trait (`BlanketAdapter`), and an associated type within the `Adapter` trait. This cleverly allows for both behaviors without violating Rust's coherence rules, maintaining good code ergonomics and maintainability.

Read more
(www.greyblake.com)
Development Blanket Implementations

Hubble Tension Crisis Deepens: Universe Expanding Faster Than Expected

2025-01-19
Hubble Tension Crisis Deepens: Universe Expanding Faster Than Expected

New measurements confirm the universe is expanding faster than predicted by current theoretical models, deepening the Hubble tension crisis. Researchers made extremely precise distance measurements to the Coma Cluster of galaxies, revealing an expansion rate exceeding expectations. This confirms previous, debated results, showing the universe's expansion surpasses our current understanding of physics. Using Type Ia supernovae as the first rung of a cosmic distance ladder, the team arrived at a Hubble constant of 76.5 km/s/Mpc, consistent with other local universe measurements but conflicting with predictions from the distant universe, suggesting flaws in cosmological models.

Read more
(phys.org)
Tech Hubble constant cosmological models

Nordic Semiconductor Acquires Memfault: A Full-Stack IoT Solution Emerges

2025-06-24
Nordic Semiconductor Acquires Memfault: A Full-Stack IoT Solution Emerges

Nordic Semiconductor, a global leader in low-power wireless connectivity, has acquired its long-term partner Memfault Inc., a leading cloud platform provider for large-scale connected product deployments. This acquisition marks a significant shift for Nordic, transforming it from a hardware supplier into a comprehensive solution partner. By integrating Memfault's device observability and management platform and secure OTA software updates, Nordic offers a powerful full-stack solution simplifying development, accelerating time-to-market, and enhancing security and reliability throughout the product lifecycle. This allows customers to focus on innovation without navigating fragmented IoT ecosystems.

Read more
(www.nordicsemi.com)
Tech

From Transistor to Browser: Building a Computer System from Scratch

2025-05-06
From Transistor to Browser: Building a Computer System from Scratch

This course takes a radical approach to computer science education. Students will build a complete computer system from the ground up, starting with Verilog to blink an LED and culminating in a simple operating system and text-based web browser. The curriculum covers FPGA programming, compiler design, and OS development, culminating in running the system on custom-built hardware. This challenging yet rewarding journey is perfect for those seeking a deep, first-principles understanding of computing.

Read more
(github.com)
Hardware computer systems

Salesforce Halts Software Engineer Hiring in 2025 Thanks to AI Productivity Boost

2025-01-08
Salesforce Halts Software Engineer Hiring in 2025 Thanks to AI Productivity Boost

Salesforce CEO Marc Benioff announced that the company will not hire any more software engineers in 2025 due to significant productivity gains from its AI product, Agentforce, exceeding 30%. While Salesforce anticipates growth, the focus shifts to Agentforce, with plans to increase sales staff to promote the AI's value. This decision comes after recent years of layoffs, following earlier mass redundancies attributed to over-hiring during the pandemic.

Read more
(www.salesforceben.com)
Tech

Tesla Roadster Mistaken for Asteroid

2025-01-25
Tesla Roadster Mistaken for Asteroid

An object initially identified as a newly discovered asteroid, 2018 CN41, was quickly revealed to be Elon Musk's Tesla Roadster launched into space in 2018 during a SpaceX Falcon Heavy rocket test. This humorous incident highlights the growing challenge of tracking space debris. An amateur astronomer initially mistook it for a near-Earth object, and the Minor Planet Center initially listed it as a new asteroid. While the issue was swiftly resolved, it underscores the increasing number of untracked space objects that could hinder efforts to protect Earth from potentially hazardous asteroids.

Read more
(www.usatoday.com)
Tech Space Debris Asteroid

cURL 8.16.0's Catastrophic pthread_cancel and its Removal

2025-09-13

cURL 8.16.0 introduced the use of pthread_cancel to interrupt getaddrinfo(), aiming for performance improvements. However, this change caused serious memory leaks. This is because getaddrinfo() can be cancelled while reading /etc/gai.conf, leading to un-released allocated memory. Due to the difficulty in resolving this issue and the potential for serious stability problems, the cURL team decided to remove this functionality in #18540, recommending users utilize the c-ares library as an alternative, despite some functional limitations.

Read more
(eissing.org)
Development memory leak

Tokyo Unveils 3D Digital Twin Viewer: Real-time Data for Urban Management

2024-12-26
Tokyo Unveils 3D Digital Twin Viewer: Real-time Data for Urban Management

The Tokyo Metropolitan Government launched a beta version of its 'See Tokyo in 3D' digital twin platform. Built using the TerriaJS framework, this 3D viewer integrates real-time data such as traffic, river levels, and shelter information, offering a comprehensive view of Tokyo. The platform aids urban planning and management by providing a clear visualization of city operations. Data conversion tools are also provided to promote the use of CityJSON in Japan's developer community, with parts of the source code being open-sourced.

Read more
(info.tokyo-digitaltwin.metro.tokyo.lg.jp)
Tech Digital Twin 3D Modeling City Data Visualization Urban Management

Sandboxing in 2025: A Developer's Guide to Easy Security

2025-06-15

This article investigates the ease of sandboxing programs in 2025 across operating systems like Linux, OpenBSD, and FreeBSD. By analyzing documentation length and example code length of various sandbox tools, the author assesses their usability and maintenance overhead. OpenBSD's pledge emerges as a favorite due to its concise documentation and ease of use, while Linux's seccomp proves significantly more complex. The article uses OpenSSH as a case study, analyzing the practical application and maintenance difficulty of sandbox technology. It concludes with a call for developers to contribute data for a more comprehensive understanding of sandbox technology adoption.

Read more
(kristaps.bsd.lv)
Development program sandboxing

Blue Origin: A New Chapter in Space Exploration

2025-01-13
Blue Origin: A New Chapter in Space Exploration

Blue Origin's website showcases its reusable rocket engines, the New Shepard and New Glenn rockets, and the lunar lander Blue Moon. The site offers information about the company, sustainability, news, a gallery, career opportunities, and a shop, inviting users to sign up for updates. Blue Origin is committed to space exploration and offers opportunities for people to fly to space.

Read more
(www.blueorigin.com)
Tech Rockets

Automating Giant 3D Prints with a Python Jigsaw Generator

2025-01-26
Automating Giant 3D Prints with a Python Jigsaw Generator

This article details the creation of an automated system using Python and OpenSCAD to split large 3D printing models into smaller, printable parts. The system generates parts with dovetail joints for easy assembly. The author meticulously outlines the geometric derivation of the dovetail profile, overcomes OpenSCAD performance limitations and non-manifold mesh issues, ultimately succeeding in printing a large speaker model. This showcases a compelling example of 3D printing, parametric design, and automated workflows, highlighting the ingenuity in overcoming technical hurdles for efficient 3D printing production.

Read more
(calbryant.uk)
Hardware parametric design
1 2 … 520 521 522 524 526 527 528 … 596 597