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

Formalizing Fermat's Last Theorem in Lean: An Open Source Project

2025-08-03
Formalizing Fermat's Last Theorem in Lean: An Open Source Project

An ambitious open-source project aims to formally prove Fermat's Last Theorem using the Lean theorem prover. Led by Kevin Buzzard and funded by the EPSRC, hosted at Imperial College London, the project employs a modern variant of the original Wiles/Taylor-Wiles proof, planned in collaboration with Richard Taylor. The project website provides details on Fermat's Last Theorem, the Lean prover, project goals, and contribution guidelines.

Read more
(github.com)
Development

Rust Drivers Hit a Snag in the Linux Kernel's DMA Subsystem

2025-02-04

The Linux kernel's efforts to integrate Rust for device driver development are encountering resistance within the DMA (Direct Memory Access) subsystem. Rust drivers require interaction with the kernel's DMA mapping layer, necessitating a set of abstractions. However, core maintainer Christoph Hellwig opposes adding Rust code to `kernel/dma`, citing increased maintenance complexity. While Rust developers proposed maintaining these abstractions separately, Hellwig remains unconvinced. This impasse highlights challenges in Rust's kernel integration, with its future hinging on the kernel community's decision and the adaptation of core maintainers to a multi-language environment.

Read more
(lwn.net)
Development

The Protester's Guide to Smartphone Security: Stay Safe, Stay Connected

2025-01-26
The Protester's Guide to Smartphone Security: Stay Safe, Stay Connected

This comprehensive guide provides crucial information on securing your smartphone during protests. It covers essential steps like setting strong passcodes, disabling biometric authentication, hiding notifications, and disabling lock screen actions to prevent data theft and misuse by authorities. The guide recommends using secure messaging apps like Signal, regularly backing up data, and employing additional pre- and post-protest measures such as keeping your device locked, utilizing backup communication networks, and scrubbing photo metadata. The article stresses the importance of understanding your rights and minimizing risks of surveillance.

Read more
(www.privacyguides.org)
Tech smartphone security protest safety

The Rediscovered Sumerian Game: A Lost Chapter in Gaming History

2025-07-21
The Rediscovered Sumerian Game: A Lost Chapter in Gaming History

This article recounts the fascinating story of The Sumerian Game, a pioneering strategy game from 1964. Played on mainframe computers via printer terminals, the game tasked players with managing grain resources as a Sumerian king. Despite its limited reach at the time, it's considered a progenitor of modern strategy games, particularly city-building and empire management titles. Decades later, game historian Andrea Contato painstakingly reconstructed this lost classic using surviving printouts and documents, releasing a free version on Steam, bringing a forgotten piece of gaming history back to life.

Read more
(spillhistorie.no)
Game strategy games game recreation

Exa: Building the Next-Gen AI Chips - Join the Founding Team!

2025-02-21
Exa: Building the Next-Gen AI Chips - Join the Founding Team!

Exa is building the next generation of AI chips, aiming to surpass current market leaders. Their novel polymorphic XPU chips self-reconfigure for optimal dataflow, supporting AGI and ASI while drastically reducing energy consumption. They're seeking exceptional engineers to join their founding team and build revolutionary technology with lasting impact for centuries.

Read more
(www.ycombinator.com)
Hardware Job Opportunity

Scottish Tidal Turbine Achieves 6.5-Year Uninterrupted Operation

2025-07-11
Scottish Tidal Turbine Achieves 6.5-Year Uninterrupted Operation

A tidal turbine submerged 40 meters off the Scottish coast has achieved a remarkable 6.5 years of continuous operation, showcasing the technology's commercial viability. This record, set by one turbine at the MeyGen project, significantly boosts investor confidence and paves the way for larger-scale tidal energy farms. The four 1.5-megawatt turbines at MeyGen currently power up to 7,000 homes annually. While still in its early stages, the project demonstrates the immense potential of tidal energy as a clean and sustainable resource. Overcoming challenges like regulatory hurdles and environmental concerns remains crucial for wider adoption, but this milestone addresses key durability questions that previously hindered investment and development.

Read more
(apnews.com)
Tech tidal energy Scotland

2025 Task Runner Census: GitHub Actions Reigns Supreme, Make Endures

2025-07-17
2025 Task Runner Census: GitHub Actions Reigns Supreme, Make Endures

A 2025 census of task runners on GitHub reveals GitHub Actions dominating the CI/CD landscape, while the venerable Make utility remains surprisingly prevalent. Emerging package managers like uv (Python) and pnpm (JavaScript) are also gaining traction in new repositories. Analyzing the top 100,000 starred repos, the study found GitHub Actions in nearly 40% of repositories, with Make holding a strong 19%. In the JavaScript ecosystem, npm leads but pnpm is rising; for Python, uv offers a significantly improved task management experience.

Read more
(aleyan.com)
Development Task Runners Package Managers

Real-time Hand Gesture & Voice Control for 3D Models

2025-06-03
Real-time Hand Gesture & Voice Control for 3D Models

Control 3D models in real-time using only your hands and voice! This interactive web app leverages three.js, MediaPipe computer vision, the Web Speech API, and Rosebud AI. You can drag, rotate, scale, and animate models, and import your own GLTF models by drag-and-drop. All you need is a modern WebGL-enabled browser, camera and microphone access. Clone the repo and experience the magic!

Read more
(github.com)
Development

Brazilian Court Orders Apple to Allow Alternative App Stores on iOS

2025-03-07
Brazilian Court Orders Apple to Allow Alternative App Stores on iOS

A Brazilian court has ordered Apple to allow alternative app stores on iOS within 90 days. The ruling stems from a 2022 complaint filed by Mercado Livre. While Apple argues this compromises user privacy and security and plans to appeal, the court deemed that similar compliance in other countries hasn't caused significant harm. This echoes the EU's Digital Markets Act, signifying growing global pressure on Apple to open its closed ecosystem.

Read more
(www.theverge.com)
Tech

Chaos Game Fractal Generator in Rust

2025-09-07
Chaos Game Fractal Generator in Rust

A command-line application written in Rust that generates fractals using the 'Chaos Game' algorithm. The application iteratively selects vertices of a polygon and moves a point a certain ratio towards the selected vertex, creating intricate patterns. Users can customize parameters like the number of polygon sides, distance ratio, and iterations. Furthermore, it allows users to create custom rules for generating even more complex fractals. The project is open-source and provides detailed instructions and extension methods.

Read more
(github.com)
Development chaos game

Back to 2007: A Retro Web Dev Adventure

2025-05-31
Back to 2007: A Retro Web Dev Adventure

Tired of the complexities of modern web development, a seasoned programmer decided to go back to basics. He built a simple ranking system using Sinatra, Sequel, and SQLite, rediscovering the joy of web development from 2007. No complex MVC frameworks, no massive databases, just lightweight code and fast responses. He cleverly leveraged the performance of modern hardware, achieving satisfying results with the simplest technology. This brought back the lost joy of programming and rekindled his passion for coding.

Read more
(github.com)
Development retro dev lightweight app

Simulating a Worm: A Decade-Long Quest for Digital Life

2025-03-30
Simulating a Worm: A Decade-Long Quest for Digital Life

Amidst fierce Santa Ana winds, the author ran a worm simulation, part of the OpenWorm project aiming to create a digital twin of a nematode, accurate down to the molecule. The simulation, using 10 hours of compute time to generate a mere 5 seconds of worm movement, highlights the immense challenge of creating such a complex biological simulation. However, as Los Angeles wildfires raged, the author's simulated worm unexpectedly moved, prompting reflection on the relationship between life science and technology: Why dedicate 13 years to digitally recreating a microscopic worm?

Read more
(www.wired.com)
Tech Biological Simulation Technological Exploration

Bluesky's New Photo-Sharing App, Flashes, Launches Soon

2025-01-15
Bluesky's New Photo-Sharing App, Flashes, Launches Soon

Independent developer Sebastian Vogelsang is building Flashes, a new photo-sharing app for the decentralized social network Bluesky. Leveraging the AT Protocol and code from his previous Bluesky client, Skeets, Flashes aims to offer an alternative to Instagram. It supports multi-photo posts and short videos, syncing content to the main Bluesky platform. This provides an alternative for users seeking to escape Meta's ecosystem and those interested in visual content sharing, offering a fresh entry point for new Bluesky users.

Read more
(techcrunch.com)
Tech Decentralized Social

My 34-Key Keyboard: A Programmer's Journey to Efficiency

2025-05-25

This article details the author's creation of a 34-key split-ortholinear ergonomic keyboard called Ferricy, designed for enhanced programming efficiency. Building upon a Colemak base, the keyboard leverages three custom layers and ZMK combos. These layers include a navigation layer (remapping home row keys for Vim-like navigation), a symbol layer (mirroring a numpad layout), and a number layer. Home row mods and a clever 'caps-word' function streamline special character and capitalization handling. The author prioritizes accuracy and comfort over speed, resulting in a personalized keyboard perfectly tailored for their coding workflow.

Read more
(oppi.li)
Development keyboard customization programming efficiency

UA Engineer Develops Novel Plastic Recycling Process

2025-01-05
UA Engineer Develops Novel Plastic Recycling Process

Dr. Jason Bara and his team at the University of Alabama have pioneered a new plastic recycling process using imidazole. This method effectively breaks down polyethylene terephthalate (PET) and polyurethane, overcoming limitations of traditional chemical recycling. Imidazole acts as a reagent without needing additional solvents or catalysts, offering cost-effectiveness and producing valuable chemical intermediates. The technology promises to significantly improve plastic recycling rates, particularly for challenging materials like polyurethane foams found in packaging, car seats, and more, contributing significantly to environmental sustainability.

Read more
(news.ua.edu)
Tech chemical degradation imidazole

Become a JJ VCS Master in 60 Minutes

2025-07-28
Become a JJ VCS Master in 60 Minutes

Tired of Git's complexities? This isn't another blog post praising JJ; it's a fast-paced workshop designed to get you up to speed with the JJ VCS quickly. Through a series of eight concise exercises, you'll master core workflows—from creating commits to resolving merge conflicts in stacked PRs—in just 1-2 hours. Created by Dr. Jimmy Koppel, this workshop offers simulated scenarios to provide hands-on experience and boost your version control productivity.

Read more
(github.com)
Development Git Alternative

curl Gets a Major Update: Partial File Reading Support

2024-12-30
curl Gets a Major Update: Partial File Reading Support

The upcoming curl 8.12.0 release introduces exciting new functionality: partial file reading. Users can now leverage a new variable system to extract specific byte ranges from files and use them within curl command lines. This adds significant flexibility to how curl handles files, allowing for tasks like extracting the beginning of a file as a username or a section in the middle for a POST body. This significantly expands curl's capabilities, empowering users with a more robust command-line tool.

Read more
(daniel.haxx.se)
Development file handling

HEXUS Forums to Close Due to UK Online Safety Act

2025-02-25

The HEXUS forums are shutting down or transitioning to read-only mode due to the impending full implementation of the UK's 2023 Online Safety Act. The act requires significant work that the forums currently lack the resources to undertake. This marks the end of a once-vibrant community, a decision lamented by the announcement. Thanks are extended to the site's admins and members for their contributions.

Read more
(forums.hexus.net)
Misc Forum Closure

TikTok and ByteDance Apps Pulled from US App Store

2025-01-19

Following the Protecting Americans from Foreign Adversary Controlled Applications Act, apps developed by ByteDance Ltd. and its subsidiaries, including TikTok, CapCut, and others, will be unavailable for download or updates on the US App Store starting January 19, 2025. Existing users can continue using installed apps, but re-downloads and restoration after device changes are impossible. In-app purchases and new subscriptions will also cease. This could impact app performance, security, and compatibility with future iOS and iPadOS versions.

Read more
(support.apple.com)
Tech US App Store

Will Smith Concert Video Sparks AI Controversy: Real Crowds, AI-Enhanced Footage

2025-08-26
Will Smith Concert Video Sparks AI Controversy: Real Crowds, AI-Enhanced Footage

A short clip of a Will Smith concert went viral, sparking accusations of AI-generated fake crowds and signs. The reality is more nuanced. The video uses real footage of actual concertgoers from Smith's European tour. However, Smith's team used AI image-to-video models to create short animated clips from professionally shot audience photos for a concert montage. YouTube's subsequent post-processing added blurring and distortions, exacerbating the perception of AI-generated content. The 'AI artifacts' aren't entirely AI-generated but a result of AI application and YouTube's post-processing.

Read more
(waxy.org)
Tech video post-processing

Say Goodbye to Cloud Services: A Local, Zero-Dependency Image Archiver

2025-03-19
Say Goodbye to Cloud Services: A Local, Zero-Dependency Image Archiver

Tired of complex cloud-based photo management? This project aims to simplify image archiving with a local, zero-dependency tool. It requires no server, database, or specific ecosystem—just files and folders. Think of it as a static site generator that lives within your image library. Built in Rust or Go, it will be a lightweight executable that automatically generates folder indices and thumbnails, with optional metadata (Markdown or plain text). Deleting the app leaves your images and structure untouched. It's a simple, powerful solution for local image management.

Read more
(www.scottishstoater.com)
Development local image management

Google Cloud's Massive API Outage: A Null Pointer Exception's Ripple Effect

2025-06-14

On June 12th, Google Cloud and Google Workspace products suffered a widespread outage due to a surge of 503 errors in external API requests. The root cause was a new feature in the Service Control system lacking proper error handling and feature flag protection, leading to a null pointer exception that triggered a cascading failure. A policy change containing invalid fields activated this flaw, resulting in a global service disruption. Google swiftly mitigated the issue, but some regions (like us-central-1) experienced prolonged recovery due to infrastructure overload. The incident highlighted issues in Google's error handling, feature flag usage, system architecture modularity, and monitoring and communication, prompting a commitment to implement comprehensive improvements to prevent recurrence.

Read more
(status.cloud.google.com)
Tech API Outage Service Disruption

OpenJazz: Open-Source Revival of a Classic Platformer

2025-01-27

OpenJazz is a free, open-source remake of the classic PC platformer, Jazz Jackrabbit. Originally released in 1994 by Epic MegaGames, Jazz Jackrabbit's fast-paced gameplay earned it accolades. OpenJazz, started in 2005, allows players to enjoy the game across Windows and Linux, overcoming the limitations of outdated DOS systems. A multiplayer version was even released in 2009, breathing new life into this beloved title.

Read more
(alister.eu)
Game open-source game

White House Establishes Department of Government Efficiency

2025-01-21
White House Establishes Department of Government Efficiency

On January 20, 2025, the President issued an executive order establishing the Department of Government Efficiency (DOGE) to modernize federal technology and software, boosting governmental efficiency and productivity. The order renames and reorganizes the United States Digital Service into the U.S. DOGE Service (USDS), creating a temporary organization to implement an 18-month DOGE agenda. Each agency will form a DOGE team to collaborate with USDS on software modernization and improving network infrastructure and IT systems.

Read more
(www.whitehouse.gov)
Tech Government Efficiency Technology Modernization Executive Order

Bitwig Studio 6 Beta Focuses on Editing and Automation

2025-08-31
Bitwig Studio 6 Beta Focuses on Editing and Automation

Bitwig Studio 6 beta is out now, focusing on enhancing editing and automation workflows rather than AI or gimmicky features. New features include an Automation Mode, improved editing gestures, automation clips, project-wide key signatures, and a refreshed UI. This update delivers significant improvements to the editing experience, addressing long-standing requests from engineers and users.

Read more
(cdm.link)
Development Editing Automation

Hollywood's Silent Deal: AI-Generated Fake Movie Trailers Flood YouTube

2025-03-28
Hollywood's Silent Deal: AI-Generated Fake Movie Trailers Flood YouTube

AI-generated fake movie trailers are flooding YouTube, so realistic they've even fooled French national television. Created for fun or profit, these trailers garner billions of views. Hollywood studios' response is baffling: instead of enforcing copyright, some are sharing ad revenue with creators. This has drawn criticism from SAG-AFTRA, who see it as disregard for actors' rights. The article explores the impact of AI on movie marketing and copyright, and Hollywood's ambiguous stance on this emerging challenge.

Read more
(deadline.com)
Tech

Agricultural Waste Enables 21.39% Efficient Perovskite Solar Cell

2025-02-22
Agricultural Waste Enables 21.39% Efficient Perovskite Solar Cell

Researchers from Nanyang Technological University in Singapore and Polytechnique Hauts-de-France have developed a perovskite solar cell using a biomass-based polymer derived from agricultural waste (furan). This innovative cell achieved a remarkable 21.39% energy conversion efficiency, demonstrating a promising path towards sustainable and cost-effective solar energy. While still below silicon-based cells, this breakthrough offers a significant step towards environmentally friendly, large-scale solar energy production.

Read more
(techxplore.com)
Tech Perovskite Solar Cell Biomass Polymer Sustainable Energy

Artifact: AI-Powered Collaborative IDE for Hardware Engineers Secures $3.5M

2025-05-08
Artifact: AI-Powered Collaborative IDE for Hardware Engineers Secures $3.5M

Artifact is a collaborative IDE for hardware engineers, accelerating every step of the engineering lifecycle: design, procurement, manufacturing, integration, test, and sustainment. The company raised $3.5M to build an integrated, verifiable AI copilot with an intuitive UI reflecting how hardware is actually built. Every artifact is auto-generated and traceable to a single source of truth. Artifact aims to make hardware engineering rigorous, deliberate, and system-aware, working directly with customers solving complex technical problems.

Read more
(www.ycombinator.com)
Hardware Hardware Engineering Collaborative IDE
1 2 … 441 442 443 445 447 448 449 … 596 597