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

Linux Kernel PGP Trust Chain Crisis: The SHA-1 Retirement Fallout

2025-05-09

Linux kernel development relies on PGP signatures, requiring maintainers to submit signed pull requests to Linus Torvalds. Due to issues with keyservers, Konstantin Ryabitsev maintains a git repository of relevant keys. Removing SHA-1 signatures would leave 485 public keys without a trust path to Linus Torvalds, impacting many core developers. This threatens the kernel's development process, potentially excluding key contributors. A keysigning event at Embedded Recipes 2025 aims to rebuild the trust chain.

Read more
(blog.kleine-koenig.org)
Development

lsds: A One-Stop Shop for Linux Block Device Settings

2025-05-09

Managing disks and I/O on Linux often involves running multiple commands like lsblk, lsscsi, and nvme list, then manually correlating their output. To streamline this, a Python program called `lsds` was created. It directly reads information from the `/sys/class/blocks/...` directories, consolidating key disk details into a single, easy-to-read output. This includes device name, size, type, scheduler, rotational flag, model, queue depth, number of requests, and write cache settings. `lsds` is highly customizable, allowing users to specify which columns to display and providing a verbose mode for tracing information sources. This tool significantly simplifies the complexity of managing Linux disks.

Read more
(tanelpoder.com)
Development disk management system tool

SUSE Launches Sovereign Premium Support to Address EU Data Sovereignty Concerns

2025-07-09
SUSE Launches Sovereign Premium Support to Address EU Data Sovereignty Concerns

Amidst growing wariness of US government and tech giants, the EU is seeing a surge in open-source and Linux adoption. To address data sovereignty issues, European open-source leader SUSE has launched its Sovereign Premium Support package. This service ensures all support personnel and data reside within the EU, with strict access control and encryption of customer data. This move caters to the increasing demand for data residency, privacy, and operational control within EU organizations, particularly in sectors like defense, government, and law enforcement. The launch comes as 2025 is projected as a 'watershed year' with increasing geopolitical and economic uncertainties pushing digital sovereignty to the forefront.

Read more
(www.zdnet.com)
Tech

Verification-First Development: Beyond Test-Driven Development

2025-03-18
Verification-First Development: Beyond Test-Driven Development

This article explores Verification-First Development (VFD), a paradigm that emphasizes establishing verification mechanisms before writing code. This could involve writing tests, defining type invariants, adding contracts, or other methods. VFD differs from Test-Driven Development (TDD), which is a specific case of VFD and focuses on using tests to drive code design. VFD's advantages include reducing the likelihood of skipping verification, early error detection, and improved code quality. However, VFD also has drawbacks: it can slow development, hinder exploratory coding, and verification methods might influence code design. The author argues that VFD, as a technique rather than a paradigm, is more flexible and easily integrates with other approaches.

Read more
(buttondown.com)
Development test-driven development verification-first

DeepCoder-14B: Open-Source Code Reasoning Model Matches OpenAI's o3-mini

2025-04-09
DeepCoder-14B: Open-Source Code Reasoning Model Matches OpenAI's o3-mini

Agentica and Together AI have released DeepCoder-14B-Preview, a code reasoning model fine-tuned via distributed RL from Deepseek-R1-Distilled-Qwen-14B. Achieving an impressive 60.6% Pass@1 accuracy on LiveCodeBench, it rivals OpenAI's o3-mini, using only 14B parameters. The project open-sources its dataset, code, training logs, and system optimizations, showcasing a robust training recipe built on high-quality data and algorithmic improvements to GRPO. This advancement democratizes access to high-performing code-generation models.

Read more
(www.together.ai)
AI Code Reasoning

High-Performing Teams Embrace Conflict, Not Harmony

2025-04-12
High-Performing Teams Embrace Conflict, Not Harmony

High-performing teams aren't defined by surface-level harmony, but by psychological safety—the ability to openly discuss and productively resolve conflict. True safety isn't about avoiding conflict; it's about allowing challenging ideas to make the team stronger. The author argues that healthy teams flag issues early, debate thoroughly, focus on the problem, not the person, and turn mistakes into learning opportunities. Conversely, "nice" teams lacking open communication harbor hidden problems, ultimately leading to failure. Building this environment involves: leaders showing vulnerability, setting debate ground rules, and rewarding those who raise challenging questions. Ultimately, a psychologically safe team, while experiencing conflict, effectively resolves issues, avoids resentment, and ultimately delivers higher-quality work. The final point highlights that unquestioned code often crashes in production – the same applies to ideas.

Read more
(terriblesoftware.org)
Development psychological safety conflict resolution

YouTube's Sisyphean Task: Fighting the AI-Generated Content Flood

2025-07-11
YouTube's Sisyphean Task: Fighting the AI-Generated Content Flood

YouTube is drowning in AI-generated low-quality content. To combat this, YouTube is updating its Partner Program policies, effective July 15th, to better identify and crack down on mass-produced, repetitive content. This includes AI-generated videos lacking originality, simple slideshows, and highly repetitive Shorts. However, the ease and profitability of creating AI videos continues to attract creators, and the inherent limitations of content moderation mean the platform will struggle to fully eliminate this low-quality content, ultimately harming user experience.

Read more
(gizmodo.com)
Tech AI content moderation low-quality content

iPhone Agent: Control Your iOS Device with GPT-4.1

2025-06-02
iPhone Agent: Control Your iOS Device with GPT-4.1

PhoneAgent is an iOS app leveraging OpenAI's GPT-4.1 model to control your iPhone across multiple apps. By accessing the accessibility tree, it can perform tasks like sending messages, downloading apps, and making calls. It uses Xcode's UI testing framework, requiring no jailbreak, but is experimental and has known limitations, such as handling long-running tasks and animations. The app sends app content to the OpenAI API and communicates with UI tests via a TCP server.

Read more
(github.com)
Development

Building Your Own Linux Debugger: Part 1 - Getting Started

2025-04-25

This is the first part of a ten-part series on building a Linux debugger from scratch. Learn the core mechanics of debuggers and implement features like launch, halt, continue, breakpoint setting (memory addresses, source lines, function entry), register and memory read/write, and single stepping. The tutorial uses C/C++, Linenoise, and libelfin, with each part's code available on GitHub. Future parts will cover advanced topics such as remote debugging, shared library support, expression evaluation, and multi-threaded debugging.

Read more
(blog.tartanllama.xyz)
Development

Lucid Air Sets New EV Range World Record: 749 Miles on a Single Charge

2025-07-13
Lucid Air Sets New EV Range World Record: 749 Miles on a Single Charge

Lucid Motors has shattered expectations by achieving a Guinness World Record for the longest distance traveled by an electric vehicle on a single charge. Their Air Grand Touring completed a 1,205 km (749-mile) journey from St. Moritz, Switzerland to Munich, Germany, without stopping to recharge. This impressive feat, achieved using favorable conditions and regenerative braking, highlights significant advancements in EV technology and directly addresses range anxiety. The Air Grand Touring boasts a 960km (596-mile) WLTP range, a 900-volt architecture enabling 300kW DC fast charging, and a starting price of $112,650. This record signifies a huge leap forward for the future of electric vehicle technology.

Read more
(newatlas.com)
Tech Range Anxiety

Apple Wallet Ad Controversy: Trust Broken?

2025-06-29
Apple Wallet Ad Controversy: Trust Broken?

Apple's push notification for an F1 movie ad within its Wallet app has sparked controversy. The author argues this decision undermines Apple's carefully cultivated image of privacy and trust. Injecting ads into the Wallet app is akin to placing ads in a physical wallet – absurd and directly contradictory to Apple's messaging. This action could lead users to believe their interests are being tracked, eroding trust and raising privacy concerns. The author even suggests that whoever authorized the ad should be fired.

Read more
(daringfireball.net)
Tech

Ada and SPARK Drive into Automotive Development: NVIDIA Open-Sources Safety Process

2025-06-04
Ada and SPARK Drive into Automotive Development: NVIDIA Open-Sources Safety Process

AdaCore and NVIDIA have partnered to bring Ada and SPARK programming languages into the automotive market, open-sourcing a reference development process based on the ISO 26262 standard. NVIDIA's Drive OS utilizes Ada and SPARK for critical components to meet the highest levels of automotive safety certification. This open-source process aims to help others adopt Ada and SPARK, improving automotive software safety and reliability in the face of growing complexity.

Read more
(www.adacore.com)
Development Automotive Software Safety

41,000 Years Ago: How Homo Sapiens Survived a Geomagnetic Reversal

2025-05-10
41,000 Years Ago: How Homo Sapiens Survived a Geomagnetic Reversal

A new study suggests that a cataclysmic geomagnetic reversal 41,000 years ago (the Laschamps excursion), which weakened Earth's magnetic field, exposed our ancestors to harmful solar radiation. Homo sapiens adapted by seeking shelter in caves, creating clothing, and using ochre pigments as sunscreen. Neanderthals, however, seemingly failed to adapt, potentially contributing to their decline. The study proposes a novel hypothesis linking this event to the rise of Homo sapiens and the demise of Neanderthals, though further research is needed to confirm the correlation.

Read more
(newatlas.com)
Tech geomagnetic reversal homo sapiens neanderthals

10 Forgotten Desktop Publishing Apps That Defined (and Died in) the 80s and 90s

2025-07-10
10 Forgotten Desktop Publishing Apps That Defined (and Died in) the 80s and 90s

The early 1980s saw desktop publishing emerge as a revolutionary force in the computing industry, creating new businesses and reshaping existing ones. But time marches on, and many once-popular software programs have faded into obscurity. This article explores ten largely forgotten early desktop publishing applications, from the Xerox Alto to Serif PagePlus. These programs, each with unique strengths and weaknesses, tell a compelling story of innovation, competition, and the inevitable march of technological progress.

Read more
(tedium.co)
Tech desktop publishing software history tech evolution

GitHub Open Source Project Thruster: Simplifying Rails App Deployment with an HTTP/2 Proxy

2024-12-26
GitHub Open Source Project Thruster: Simplifying Rails App Deployment with an HTTP/2 Proxy

Thruster is an HTTP/2 proxy designed to simplify production deployments of Rails applications. It works alongside the Puma web server, providing features like HTTP/2 support, automatic TLS certificate management with Let's Encrypt, basic HTTP caching, and X-Sendfile support with compression. It aims for zero configuration; simply setting the TLS_DOMAIN environment variable enables TLS, otherwise it runs in HTTP-only mode. Thruster also wraps the Puma process, making it ideal for containerized environments. Originally created for the ONCE project, it's now used for simpler deployments of other Rails applications.

Read more
(github.com)
Development Deployment

AI's Limits in Enzyme Function Prediction: A Nature Paper's Hidden Errors

2025-06-03
AI's Limits in Enzyme Function Prediction: A Nature Paper's Hidden Errors

A Nature paper used a Transformer model to predict the function of 450 unknown enzymes, garnering significant attention. However, a subsequent paper revealed hundreds of errors in these predictions. This highlights the limitations of AI in biology and the flaws in current publishing incentives. Careful examination showed many predictions weren't novel, but were repetitions or outright incorrect. This underscores the importance of deep domain expertise in evaluating AI results and the need for incentives focused on quality over flashy AI solutions.

Read more
(rachel.fast.ai)
AI Biology Enzyme Function Prediction

Generating Realistic Game Maps with Minimal Code: The Magic of Noise Functions

2025-06-01
Generating Realistic Game Maps with Minimal Code: The Magic of Noise Functions

This article presents a simple method for generating game maps using noise functions, requiring only a small amount of code to produce maps with details such as elevation and biomes. It thoroughly explains the influence of parameters like frequency, octaves, and amplitude on map generation, and how to adjust these parameters to control terrain features and biome distribution. Furthermore, the article explores creating wrap-around and island maps, and provides example code in various programming languages, making it ideal for game developers seeking a quick start.

Read more
(www.redblobgames.com)
Game Noise Functions

Philips Launches World's First Native DICOM JPEG XL Pathology Scanner

2025-09-20
Philips Launches World's First Native DICOM JPEG XL Pathology Scanner

Philips announced the addition of the Pathology Scanner SGi to its SG300 and SG60 scanner offerings. This scanner features configurable DICOM JPEG and DICOM JPEG XL output, making it the world's first to offer native DICOM JPEG XL output. DICOM JPEG XL output files are up to 50% smaller while maintaining high image quality, allowing pathology labs to more efficiently store, manage, and analyze growing volumes of digital pathology data, improving workflows both on-premise and in the cloud. Analysts see this adoption of DICOM in pathology as a significant step towards scalable, interoperable imaging workflows, reducing infrastructure costs and enabling integration with a wider range of AI tools.

Read more
(www.philips.com)
Tech Digital Pathology

Falsify: A New Property-Based Testing Library for Haskell

2025-04-20

This blog post introduces Falsify, a novel property-based testing library for Haskell. Inspired by Python's Hypothesis library, Falsify implements internal shrinking, efficiently handling infinite data structures thanks to Haskell's lazy evaluation. Unlike QuickCheck's manual shrinking and hedgehog's integrated shrinking, Falsify uses sample trees instead of streams, resulting in more predictable and understandable shrinking behavior, especially when dealing with monadic bind.

Read more
(www.well-typed.com)
Development Property-based testing

DjangoCon EU 2025: Database Optimization and Best Practices

2025-04-28

DjangoCon EU 2025, held in Dublin, Ireland, covered database optimization, best practices, and useful tools. Key takeaways included using BigInt primary keys for performance, `select_for_update` for data consistency, optimizing Postgres indexes with conditional indexes, and `django-auto-prefetch` to reduce database queries. The conference also touched upon performance testing, code style enforcement, and security, such as using the MaxMind database to block malicious users. Attendees shared challenges and solutions encountered while developing with Django, including handling large database tables and designing efficient application architectures.

Read more
(www.zachbellay.com)
Development

China's Digital ID: A Giant Leap in State Control

2025-07-03
China's Digital ID: A Giant Leap in State Control

China will launch national digital IDs on July 15th, shifting online verification from private companies to the government. This represents a massive shift in state control over citizen data, drastically altering how the digital lives of its citizens are managed and surveilled. The move has implications for the distribution of profits in the online economy and could even reshape the future of AI in China. This builds upon the existing national ID card system introduced in 1984.

Read more
(www.economist.com)
Tech digital ID data control

Chip-8 Emulator Intro: Building a Retro Game Console in Code

2025-01-06

This article introduces Chip-8, a simple virtual game console system, and explains how to build its emulator. It clearly explains binary, hexadecimal, and how Chip-8 instructions work, providing the foundational knowledge for building an emulator. The author guides the reader step-by-step, from simple to more complex instructions, explaining the inner workings of Chip-8, making it a great resource for those interested in retro gaming consoles and emulator technology.

Read more
(www.emulationonline.com)
Development

Convoy Ditches UUIDv4 for ULIDs: Efficiency and Scalability in the Big Data Era

2024-12-28

During a database migration from MongoDB to Postgres, Convoy decided to replace UUIDv4 with ULIDs as unique identifiers. The article compares UUIDv4 and ULIDs, highlighting ULID's advantages: lexicographical sortability, URL friendliness, and improved database indexing efficiency, albeit with slightly slower generation and insertion speeds. Convoy chose ULIDs primarily to solve pagination performance issues with large datasets. While ULIDs are marginally slower to generate, the performance gains, especially for large-scale data processing, are deemed worthwhile. The article also discusses potential time information leakage risks and user data implications of ULIDs, and briefly mentions the potential future adoption of UUIDv7.

Read more
(jirevwe.github.io)
Development

Julia and JuliaHub: Explosive Growth and Innovation

2025-02-05
Julia and JuliaHub: Explosive Growth and Innovation

The Julia programming language and its ecosystem, JuliaHub, have experienced explosive growth over the past five years. Discourse views soared by 494%, GitHub stars by 412%, citations of core papers by 391%, and registered packages by 322%. JuliaCon attendance skyrocketed, JuliaHub expanded to over 100 employees, and new products like JuliaSim—for battery simulation, HVAC modeling, and pharmaceutical development—were launched. The future looks bright for Julia and JuliaHub as they continue to drive innovation.

Read more
(info.juliahub.com)
Development

Facebook's Inner Circle: A Memoir of Power, Neglect, and Darkness

2025-03-16
Facebook's Inner Circle: A Memoir of Power, Neglect, and Darkness

Sarah Wynn-Williams's explosive new memoir, *Careless People*, pulls back the curtain on Facebook's inner workings, revealing a culture of unchecked power, negligence, and disregard for employee well-being. The book paints a damning portrait of Mark Zuckerberg and Sheryl Sandberg, detailing instances of nepotism, abuse of power, and questionable decisions regarding Facebook's expansion into China, including alleged cooperation with censorship and the sharing of facial recognition technology. Wynn-Williams highlights Facebook's role in the Myanmar crisis, where the platform's spread of hate speech contributed to horrific violence. Meta, Facebook's parent company, has attempted to suppress the book's release, highlighting the gravity of its revelations.

Read more
(www.thetimes.com)
Tech Power Abuse

Stuffed-Naan: Hiding Data in Plain Sight (Using NaNs)

2025-04-26
Stuffed-Naan: Hiding Data in Plain Sight (Using NaNs)

Stuffed-Naan is a novel library leveraging the peculiarities of JavaScript's NaN (Not a Number) values to hide and transport data. By cleverly encoding data into the mantissa of NaN values, Stuffed-Naan preserves the original data even after mathematical operations. The article humorously introduces this library, highlighting its high compression ratio, speed, and privacy features, while also mentioning the enterprise edition's added functionalities. While quirky, it effectively exploits the characteristics of IEEE 754 floating-point numbers.

Read more
(github.com)
Development data hiding

BitChat: Open-Source, Offline, Encrypted Messaging via Bluetooth Mesh

2025-07-07
BitChat: Open-Source, Offline, Encrypted Messaging via Bluetooth Mesh

BitChat is a secure, decentralized, peer-to-peer messaging app built on Bluetooth mesh networks. No internet, servers, or phone numbers are required; just pure encrypted communication using X25519 key exchange and AES-256-GCM. Features include room-based chats (with optional password protection), offline message storage and forwarding, and a strong focus on privacy (no accounts, phone numbers, or persistent identifiers). BitChat offers native support for iOS and macOS, incorporating performance optimizations like LZ4 compression and adaptive battery modes. The project is open-source and designed for cross-platform compatibility.

Read more
(github.com)
Development Bluetooth Mesh Decentralized

23,000-Year-Old Footprints Push Back Human Presence in North America

2025-06-20
23,000-Year-Old Footprints Push Back Human Presence in North America

Ancient human footprints discovered at White Sands National Park in New Mexico have had their age reaffirmed. Initial radiocarbon dating placed them between 23,000 and 21,000 years ago, but this was challenged due to concerns about groundwater contamination of aquatic plant samples. The team retested using radiocarbon dating on pollen from the same layers (pine, spruce, and fir), and optically stimulated luminescence dating on quartz grains above the lowest footprint layer. The new results corroborate the original age estimate, confirming the footprints' antiquity and suggesting human presence in the region before ice sheets isolated southern North America.

Read more
(arstechnica.com)
Tech ancient footprints radiocarbon dating White Sands National Park
1 2 … 107 108 109 111 113 114 115 … 596 597