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

Red Hat Hits Key Milestone in Automotive Safety Certification

2025-01-07
Red Hat Hits Key Milestone in Automotive Safety Certification

Red Hat announced a significant step towards ISO 26262 ASIL-B certification for its Red Hat In-Vehicle Operating System (IVOS), achieving functional safety certification for mixed criticality. This milestone validates Red Hat's commitment to providing innovative, native Linux-based functional safety for vehicles. The certification not only verifies the safety of IVOS but also paves the way for greater customer confidence in future automotive deployments.

Read more
(www.redhat.com)
Tech Automotive OS

Bling Your Server Rack: A Nostalgic Retro Project with 128 LEDs

2025-01-15

Driven by nostalgia for the blinking lights of old mainframes, the author designed a project to add 128 LEDs to a server rack. Using readily available and inexpensive PIC16F1782 microcontrollers and 74HC595 shift registers, the project uses serial communication to control the LEDs, allowing for custom displays and a random pattern mode. The author shares the PCB design files and C code, encouraging others to build their own or contact him for custom orders. This project is a fun blend of practicality and nostalgia, showcasing the author's electronics and programming skills.

Read more
(rodyne.com)
Hardware Retro

No-Soldering Upgrade for Your Casio F-91W: Sensor Watch Pro

2025-07-19
No-Soldering Upgrade for Your Casio F-91W: Sensor Watch Pro

Oddly Specific Objects is back with a solderless upgrade for the classic Casio F-91W: the Sensor Watch Pro. This upgrade features an accelerometer and a custom LCD, allowing for more complex display options. A browser-based emulator simplifies firmware flashing. The upgrade process is straightforward, involving disassembly and component replacement. The author customized the firmware, removing imperial units and the 12-hour clock, and adding a counter, accelerometer, and light sensor displays.

Read more
(blog.jgc.org)
Hardware

Android 16's Material 3 Expressive: A Gen Z Delight?

2025-05-06
Android 16's Material 3 Expressive: A Gen Z Delight?

Google's Material 3 Expressive design is a hit with younger users but less so with older ones. While Android 16 will feature it, the actual experience varies greatly depending on the device due to Android's open-source nature and OEM customizations. Google Pixel devices will get the full experience, while others like Samsung and OnePlus might only partially adopt it. Furthermore, app developer adoption of Material 3 Expressive remains to be seen, and Google is unlikely to enforce widespread use.

Read more
(arstechnica.com)
Development

The Secret to Faster, More Accurate Code: Mental Code Proofs

2025-07-16

This article unveils a technique for writing code faster and more accurately: performing "online" proofs. Instead of interrupting your coding flow, mentally prove your code's correctness as you write. The author details several strategies to aid in this process, including focusing on code monotonicity, utilizing pre- and post-conditions, maintaining invariants, and isolating the impact of changes. Inductive reasoning for recursive functions and data structures is also highlighted, along with advocating for "proof-affinity" as a code quality metric. Finally, the author suggests practicing mathematical proofs to sharpen your code-proving skills.

Read more
(the-nerve-blog.ghost.io)
Development code proof

Europe's First Exascale Supercomputer, Jupiter: An Nvidia-Powered Beast with Arm Aspirations

2025-06-14
Europe's First Exascale Supercomputer, Jupiter: An Nvidia-Powered Beast with Arm Aspirations

The Forschungszentrum Jülich's long-awaited exascale supercomputer, Jupiter, has finally debuted on the Top500 list. This hybrid CPU-GPU machine, built by Eviden and ParTec, boasts a GPU booster module that ranked fourth in the June HPL benchmark. While heavily reliant on Nvidia GPUs and interconnect technology, Jupiter incorporates a Universal Cluster module based on SiPearl's Rhea1 Arm CPU, signifying a move towards European HPC independence. However, reaching the full exascale FP64 performance goal requires further expansion of GPU nodes. The €500 million project highlights the substantial investment in high-performance computing, with a significant portion allocated to hardware and software.

Read more
(www.nextplatform.com)
Tech

Acknowledgements for an Economics Research Paper

2025-07-17
Acknowledgements for an Economics Research Paper

This economics research paper expresses gratitude to the University of Chicago (including the Becker Friedman Institute for Economics), Stanford University, and Bocconi University for their research support. It also acknowledges several scholars for their contributions to discussions and feedback on the paper. The authors state that the views expressed are their own and do not necessarily represent the views of the National Bureau of Economic Research.

Read more
(www.nber.org)
Misc academic acknowledgements research support

Easy Bypass for Windows 11's Microsoft Account Requirement

2025-04-03
Easy Bypass for Windows 11's Microsoft Account Requirement

Microsoft is pushing for Microsoft account usage in Windows 11, but a newly discovered trick makes bypassing it easy. Previously, Microsoft removed the 'BypassNRO.cmd' script, but registry edits still worked. Now, a simpler method exists: during Windows 11 setup, press Shift+F10 to open a command prompt, type "start ms-cxh:localonly", and press Enter to create a local account, skipping the Microsoft account login. This method, being directly integrated into the system, is likely harder for Microsoft to remove than the previous script-based approach.

Read more
(www.bleepingcomputer.com)
Development Local Account

Building iximiuz Labs: A Hands-On DevOps Learning Platform

2025-03-26
Building iximiuz Labs: A Hands-On DevOps Learning Platform

This post details the creation of iximiuz Labs, a learning platform for DevOps, SRE, and platform engineers. It features a unique learning-by-doing approach, combining theoretical learning with interactive practice using Firecracker-based microVMs. The author dives into design goals, architecture, technology choices (including frontend framework, backend language, containerization, and infrastructure), and challenges encountered. The resulting platform is cost-effective, reliable, secure, and scalable, with future plans including IDE integration, multi-node playgrounds, and a Kubernetes visualizer.

Read more
(iximiuz.com)
Development Learning Platform

Indiana Jones Jailbreak Exposes LLM Vulnerabilities

2025-02-24
Indiana Jones Jailbreak Exposes LLM Vulnerabilities

Researchers have devised a new jailbreak technique, dubbed 'Indiana Jones,' that successfully bypasses the safety filters of large language models (LLMs). This method uses three coordinated LLMs to iteratively extract potentially harmful information, such as instructions on how to become historical villains, that should have been filtered. The researchers hope their findings will lead to safer LLMs through improved filtering, machine unlearning techniques, and other security enhancements.

Read more
(techxplore.com)
AI Security Vulnerabilities

US Homebuilders D.R. Horton and Lennar Accused of Widespread Construction Defects

2025-09-13
US Homebuilders D.R. Horton and Lennar Accused of Widespread Construction Defects

America's two largest homebuilders, D.R. Horton and Lennar, are facing accusations of widespread construction defects in their new homes, including substandard materials and blatant building code violations, rendering homes unsafe and uninhabitable. Homeowners describe a frustrating warranty process riddled with delays and denials, often leading to expensive repairs out-of-pocket. The investigation reveals a corporate playbook designed to shift costs to buyers through high-pressure sales tactics, one-sided contracts, and legal loopholes to avoid liability. While some homeowners pursue legal action, many find themselves trapped in a system that heavily favors the builders.

Read more
(hntrbrk.com)
Tech construction defects forced arbitration

Indoor Surfaces Act as Massive Chemical Sponges, Retaining Harmful VOCs for a Year

2025-09-23
Indoor Surfaces Act as Massive Chemical Sponges, Retaining Harmful VOCs for a Year

Researchers at UC Irvine have discovered that indoor surfaces, such as wood, cement, and paint, act as surprisingly effective reservoirs for volatile organic compounds (VOCs), retaining them for up to a year. These VOCs, originating from sources like insecticides, cigarette smoke, and wildfire smoke, pose significant health risks. The study reveals these surfaces absorb far greater amounts of VOCs than previously thought, acting like massive sponges. Even after the source is removed, VOCs slowly off-gas back into the air or transfer to humans through contact. Simple ventilation is insufficient; regular cleaning is crucial to remove these persistent contaminants.

Read more
(news.uci.edu)
Tech volatile organic compounds

Chinlone: Myanmar's Enduring National Game Fights for Survival Amidst Conflict

2025-06-05
Chinlone: Myanmar's Enduring National Game Fights for Survival Amidst Conflict

Chinlone, Myanmar's national sport, a centuries-old tradition blending sport and art, faces an uncertain future. The game, involving intricate footwork and head maneuvers, has seen participation decline due to the COVID-19 pandemic, the 2021 military coup, and subsequent civil unrest. The scarcity of premium rattan, essential for crafting the chinlone balls, further exacerbates the challenges. Despite the hardships, players and artisans persevere, continuing to practice and create the balls, determined to preserve this unique cultural heritage.

Read more
(www.aljazeera.com)
Misc Myanmar culture traditional sport chinlone

Beijing Apartment Explosion Highlights Unproven Cancer Treatment

2025-07-25
Beijing Apartment Explosion Highlights Unproven Cancer Treatment

A Beijing man, Liu, was making a highly concentrated chlorine dioxide solution in his apartment for cancer treatment. An explosion occurred during an experiment, injuring him and endangering his 3-year-old daughter. Liu claims to have treated over 20 patients, but his evidence consists only of unpeer-reviewed preprints and screenshots of WhatsApp chats, lacking scientific rigor. A patient who underwent the treatment described severe side effects, including excruciating pain. Oncologists strongly question the treatment's validity and emphasize that such an unproven method should not be used outside of clinical trials.

Read more
(www.wired.com)
Tech chlorine dioxide medical safety

NIST's Flawed Kyber-512 Security Calculation: A Controversy Over Standardization

2025-06-22

This cr.yp.to blog post exposes a serious error in NIST's calculation of the security level for the Kyber-512 post-quantum cryptosystem. The author demonstrates that NIST nonsensically multiplied two costs that should have been added, resulting in a severe overestimation of Kyber-512's security. This error stems from NIST's mishandling of memory access costs, misinterpretations of existing literature, and a lack of transparency in its standardization process. The author also reveals the close collaboration between NIST and the NSA, and the unfair treatment of alternative candidates like NTRU. The post details the flawed calculation and calls for a complete overhaul of NIST's standardization procedures to ensure transparency and reliability.

Read more
(blog.cr.yp.to)
Tech

Breaking Up Chrome Would Break the Web

2025-04-28
Breaking Up Chrome Would Break the Web

Forcing Google to sell Chrome, even to atone for legitimate ad-market monopoly abuses, would be disastrous for the web. The author argues that Chrome's success is due to sustained investment and technological innovation, crucial for the web's continued prosperity. Breaking up Chrome would stifle innovation, benefiting closed platforms like the iOS App Store and Google Play Store. Google's contributions aren't charity, but self-interest, which is precisely why it works. The web's vitality requires constant development; dismantling Chrome would be counterproductive.

Read more
(world.hey.com)
Tech

Loader's Number: A Programming Challenge on a Theoretical Infinite-Memory Machine

2025-04-05
Loader's Number: A Programming Challenge on a Theoretical Infinite-Memory Machine

Loader's Number is the output of loader.c, a C program by Ralph Loader that won the Bignum Bakeoff contest. The goal was to write a C program (under 512 characters) generating the largest possible output on a theoretical machine with infinite memory. The calculation relies on the Huet-Coquand Calculus of Constructions, resulting in an unimaginably large number far exceeding other known large numbers like the output of Marxen.c. While lacking formal proof, estimates place it beyond certain values in fast-growing hierarchies. Calculating Loader's Number is computationally intensive and its sheer scale represents a fascinating exploration of computational limits in computer science.

Read more
(googology.fandom.com)
Development large numbers

The Axolotl's Fight for Survival: A Mexican Tragedy

2025-03-18
The Axolotl's Fight for Survival: A Mexican Tragedy

Scientists are struggling to find the critically endangered axolotl in the canals of Xochimilco, Mexico City. This unique amphibian, renowned for its incredible regenerative abilities, is one of the world's most studied animals. However, habitat destruction, deteriorating water quality, and climate change have decimated its population. While easily bred in captivity and popular as pets and research subjects, its survival in the wild hangs by a thread. Efforts to restore its habitat face funding and political hurdles. The axolotl's plight reflects the impact of human activity on biodiversity and highlights the urgency of conservation efforts.

Read more
(english.elpais.com)
Tech endangered species regeneration environmental conservation

RubyGems.org's Multi-Layered Defense Against Malicious Gems

2025-08-26

RubyGems.org recently thwarted an attack involving malicious gems designed to steal social media credentials. Their success stems from a multi-layered security approach: automated detection (static and dynamic code analysis), risk scoring, retroactive scanning, and external intelligence. Upon detection, suspicious gems undergo manual review; confirmed malicious gems are removed and documented. In a recent incident, RubyGems.org removed most malicious packages before Socket.dev's report and actively collaborated on the investigation, demonstrating effective security response. The article encourages community participation in security maintenance and calls for corporate support of RubyGems.org's security efforts.

Read more
(blog.rubygems.org)
Development Malicious Gems

The Rise and Fall of Ashton-Tate: The dBASE Saga

2024-12-12
The Rise and Fall of Ashton-Tate: The dBASE Saga

Ashton-Tate, a prominent player in the 1980s personal computer revolution, rose to fame with its database software, dBASE. Initially conceived by Wayne Ratliff as Vulcan, the program quickly became a standard for CP/M systems and later flourished with the IBM PC's ascendancy. Its user-friendly interface and powerful features propelled Ashton-Tate to an IPO and significant success. However, the company's later struggles with dBASE III's development, escalating competition, and internal issues ultimately led to its acquisition by Borland. This story details the dBASE legacy, Ashton-Tate's rise and fall, offering valuable insights into the software industry's dynamics.

Read more
(www.abortretry.fail)
Development database software

Broadcom's VMware Bundling: Value Proposition or Cost Trap?

2025-06-20
Broadcom's VMware Bundling: Value Proposition or Cost Trap?

Broadcom's shift to subscription bundles for VMware software, following its acquisition, has angered smaller customers who report cost increases of 8 to 15 times. Broadcom counters that 87% of its top 10,000 customers have adopted VMware Cloud Foundation (VCF), arguing many weren't fully utilizing the bundled components. Customers are discovering VCF's capabilities in configuration, security, and cost management, previously unavailable with their piecemeal solutions. However, industry analysts remain skeptical, suggesting aggressive sales tactics may have forced purchases of unnecessary software. The situation highlights ongoing enterprise exploration of private and hybrid cloud strategies, driven by concerns over public cloud costs and data sovereignty.

Read more
(www.theregister.com)
Tech

Optical Architecture for Simulated Annealing: A Novel Approach

2025-09-08
Optical Architecture for Simulated Annealing: A Novel Approach

Researchers have devised an optical architecture for simulated annealing, employing microLED arrays, liquid-crystal spatial light modulators, and photodetector arrays to perform matrix-vector multiplication. This system efficiently handles machine learning and optimization problems, leveraging a simulated tanh nonlinearity for efficient solving. Experiments demonstrate high-accuracy classification on MNIST and Fashion-MNIST datasets, and superior performance on various optimization problems, offering a novel hardware solution for large-scale simulated annealing computation.

Read more
(www.nature.com)
AI simulated annealing

Building Effective AI Agent Evaluation: From E2E Tests to N-1 Evaluations

2025-09-04

This article explores building efficient AI agent evaluation systems. The author stresses that while models constantly improve, evaluation remains crucial. It advocates starting with end-to-end (E2E) evaluations, defining success criteria and outputting simple yes/no results to quickly identify problems, refine prompts, and compare different model performances. Next, "N-1" evaluations, simulating previous user interactions, can directly pinpoint issues, but require maintaining updated "N-1" interactions. Checkpoints within prompts are also suggested to verify LLM adherence to desired conversation patterns. Finally, the author notes that external tools simplify setup, but custom evaluations tailored to the specific use case are still necessary.

Read more
(aunhumano.com)
AI agent evaluation

xlwings Lite: Revolutionizing Excel Automation with Python

2025-04-04

xlwings Lite is a free and easy-to-install Excel add-in that brings the power of Python to Excel automation and custom function creation in a privacy-first, secure, and developer-friendly way. No Python installation is required; it runs on Windows, macOS, and Excel for the web, supporting Microsoft 365 and recent perpetual versions like Office 2024. Create custom functions, run automation scripts, access the Excel object model, install third-party libraries (like pandas, Polars), and access web APIs. All code runs locally, delivering lightning-fast performance and complete privacy; users can even self-host to eliminate Microsoft telemetry.

Read more
(lite.xlwings.org)
Development

StringFlux: Streamline Your String Transformations

2025-06-05

StringFlux is a powerful online string transformation tool allowing users to convert strings between various formats like JSON, YAML, and Base64. Its unique chaining feature, similar to Unix/Linux pipes, enables efficient complex transformations—like clearly viewing stack traces from JSON-formatted log messages. While powerful for advanced use, StringFlux maintains a simple, intuitive interface for common tasks such as JSON formatting and Base64 encoding. Smart operation recommendations, search, and categorized operations ensure a smooth experience even with numerous transformations available. StringFlux aims to save developers time and keep them focused.

Read more
(stringflux.io)
Development string transformation

Apple TV+ App Finally Lands on Android

2025-02-13
Apple TV+ App Finally Lands on Android

After years of relying on less-than-ideal web or PWA solutions, Apple TV+ finally has a dedicated Android app. Available on phones and tablets via the Google Play Store, the app boasts smooth playback, a clean Material 3 design, offline downloads, and picture-in-picture functionality. While casting support and new episode notifications are currently absent, the app offers a significant upgrade, particularly with the inclusion of Google Play Billing for streamlined subscription management.

Read more
(9to5google.com)
Tech

Uncomfortable Truths About Google's Android Developer Verification

2025-08-27

This blog post raises serious concerns about Google's upcoming Android developer verification program. Using the example of the ICEBlock app developer, who faced threats after revealing their identity, the post argues the program could harm developers needing anonymity. Five key questions are posed: How will legitimate needs for developer anonymity be addressed? Which civil society organizations were consulted, and what were the results? How should Google's privacy policy regarding sharing personal information be interpreted? How will the program handle debug keystores and duplicate package names commonly used in app development? What are the implications for those learning Android development? The post urges Google to engage in discussions and provides a feedback form.

Read more
(commonsware.com)
Development

Blitz: A Blazing-Fast, Zero-Cost CLI Framework for Zig

2025-05-25
Blitz: A Blazing-Fast, Zero-Cost CLI Framework for Zig

Blitz is a blazing-fast, zero-cost CLI framework for the Zig programming language. Build modular, ergonomic, and high-performance CLIs with ease. All batteries included. Inspired by Cobra (Go) and clap (Rust), Blitz offers modular commands and subcommands, fast flag parsing, type-safe support for various data types, and automatic help/version/deprecation handling. Get started quickly with a simple installation and intuitive API.

Read more
(github.com)
Development

Manhattan Project: A Race Against Time and Uncertainty

2025-09-11
Manhattan Project: A Race Against Time and Uncertainty

The Manhattan Project, the WWII US program to build an atomic bomb, is recounted in detail. The article explores the immense challenges faced: the initial uncertainty surrounding nuclear fission and chain reactions; the monumental technological hurdles in uranium enrichment and plutonium production; and the eventual success in creating the bomb. The project's parallel pursuit of multiple approaches, massive funding, and relentless pace highlight the desperation and unprecedented scale of the wartime effort.

Read more
(www.construction-physics.com)
Tech Manhattan Project WWII Technology
1 2 … 256 257 258 260 262 263 264 … 596 597