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

arXivLabs: Experimenting with Community Collaboration

2025-06-10
arXivLabs: Experimenting with Community Collaboration

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on our website. Individuals and organizations involved share our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners who adhere to them. Got an idea for a project that will benefit the arXiv community? Learn more about arXivLabs.

Read more
(arxiv.org)
Tech

Trump Admin. Kills $18M Food Waste Project, Sparking Outrage

2025-05-11
Trump Admin. Kills $18M Food Waste Project, Sparking Outrage

An ambitious community-based project in Rhode Island, designed to reduce food waste and greenhouse gas emissions through community composting and job creation, has been abruptly terminated by the Trump administration. The $18 million grant, funded by the Inflation Reduction Act, was canceled because the project was deemed 'no longer consistent' with the EPA's priorities. Environmental advocates are furious, calling the move illegal and highlighting its disproportionate impact on vulnerable communities. The project aimed to divert over 11,000 tons of food waste annually, preventing over 15,000 metric tons of emissions.

Read more
(grist.org)
Tech food waste environmental justice government funding grant termination

Nigerian Cloud Startups Rise to Challenge Global Giants

2025-02-27
Nigerian Cloud Startups Rise to Challenge Global Giants

Facing exorbitant dollar-denominated AWS bills and currency volatility, Nigerian entrepreneur Fara Ashiru migrated her fintech platform Okra's cloud infrastructure to local data centers, launching Nebula to offer cloud services with naira payments. This spurred a surge in Nigerian cloud startups like Nobus, Galaxy, Suburban, and Layer3, providing affordable, localized alternatives and addressing data sovereignty concerns. While giants like AWS now accept naira, local providers leverage data sovereignty, low latency, and cost-effective colocation strategies to compete. However, they face challenges in infrastructure and user experience improvements to match global giants.

Read more
(restofworld.org)
Tech Nigeria data sovereignty

Microsoft's Phased Open-Sourcing of WinUI: A Six-Month Roadmap

2025-08-02
Microsoft's Phased Open-Sourcing of WinUI: A Six-Month Roadmap

Microsoft announced a phased approach to open-sourcing WinUI, the user interface framework for Windows 11. Due to WinUI's complexity and deep integration with Windows, open-sourcing won't be a simple switch flip. Microsoft plans a four-phase rollout: Phase 1 increases GitHub mirroring frequency; Phase 2 allows external developers to build locally; Phase 3 enables external contributions and testing; and Phase 4 establishes GitHub as the primary development platform. This will be an incremental process, and Microsoft encourages developer feedback and contributions.

Read more
(www.neowin.net)
Development

Connet: A P2P Reverse Proxy for NAT Traversal

2025-01-02
Connet: A P2P Reverse Proxy for NAT Traversal

Connet is a peer-to-peer reverse proxy for NAT traversal, inspired by ngrok, frp, and rathole. It allows you to expose local services to other devices on the internet without needing a public IP address. Unlike its predecessors, Connet clients run on both the service provider (destination) and the service requester (source), ensuring private and efficient communication. Currently in alpha, Connet supports direct and relay server connections, encrypting all communication with TLS.

Read more
(github.com)
Development reverse proxy NAT traversal

Massive npm Package Supply Chain Attack: 2 Billion Weekly Downloads Compromised

2025-09-09
Massive npm Package Supply Chain Attack: 2 Billion Weekly Downloads Compromised

On September 8th, security researchers discovered a massive supply chain attack targeting 18 popular npm packages, accumulating over 2 billion weekly downloads. The malware silently intercepts crypto and Web3 activity in browsers, manipulating wallet interactions and redirecting funds to attacker-controlled accounts. The attacker compromised the maintainer's account via phishing emails, silently updating the packages. While some affected packages have been cleaned, caution is advised; utilize secure npm package management practices.

Read more
(www.aikido.dev)
Development

The Subtleties of Memoization in Ruby: A Deep Dive

2024-12-23
The Subtleties of Memoization in Ruby: A Deep Dive

This article delves into the complexities of implementing memoization in Ruby. The author walks through various aspects, from simple local variables to sophisticated thread-safe implementations, covering limitations of the memoization operator, argument-aware memoization, building a memoization DSL, and challenges in handling frozen objects, memory management, and thread safety. Weak and soft references are explored, leading to an efficient and thread-safe memoization DSL. The article concludes by emphasizing the importance of using battle-tested libraries and avoiding reinventing the wheel.

Read more
(denisdefreyne.com)
Development Memoization

eBPF-Go on Windows: A Developer's Guide

2025-03-27

This document details running the eBPF-Go library on Windows. Because eBPF on Windows is not yet stable, the library supports three modes: interpreter, JIT, and compilation to a native Windows driver. It explains differences from Linux, handling platform-specific ELF files, the exported API, development setup (using a Windows VM and build scripts), using pre-built binaries, and debugging and interpreting error codes. Debugging includes using WinDbg and interpreting the trace log. Error handling involves understanding Windows system error codes, RPC errors, ebpf_result_t, and Unix-style errno.

Read more
(ebpf-go.dev)
Development

MongoDB's Extreme Modeling: Conformance Checking in Practice

2025-06-02

MongoDB engineers experimented with TLA+ specifications and two conformance checking techniques (trace checking and test-case generation) to verify their product implementations against specifications. The trace-checking experiment, conducted on the MongoDB server, aimed to validate the implementation of the Raft consensus protocol; the test-case generation experiment, on the MongoDB Mobile SDK, aimed to validate the operational transformation algorithm. Results showed that trace checking failed due to the difficulty of snapshotting the state of a multithreaded program and discrepancies between the specification and implementation, while test-case generation successfully uncovered a bug in the algorithm and achieved 100% branch coverage. The article summarizes lessons learned and presents recent advancements in the field, highlighting the importance of continuous conformance checking for TLA+ mainstream adoption.

Read more
(www.mongodb.com)
Development Conformance Checking

Heatproof Magnetism: A Surprising Discovery Defies Expectations

2025-01-19
Heatproof Magnetism: A Surprising Discovery Defies Expectations

High temperatures are known to disrupt order and patterns. However, physicists have theoretically demonstrated a type of idealized magnetism that maintains its orderly structure regardless of temperature. This surprising discovery stems from a simple question posed at a lecture, leading to a deeper exploration of quantum field theory. Researchers found that in a system resembling two intertwined magnetic grids, a specific magnetic order persists even at infinitely high temperatures. The freely spinning magnetic vectors stabilize the up-down aligned vectors, maintaining overall magnetic order. This finding could have implications for cosmology and the quest to achieve room-temperature quantum phenomena.

Read more
(www.quantamagazine.org)
Physics magnetism high temperature

C++ Memory Leaks: Show Rust Devs Who's Boss!

2025-05-11
C++ Memory Leaks: Show Rust Devs Who's Boss!

This video tutorial demonstrates how to intentionally create and hunt down memory leaks in C++. While Rust developers often poke fun at C++'s memory management, this tutorial shows how to use _CrtDumpMemoryLeaks and the DEBUG_NEW macro to detect and pinpoint memory leaks, proving that C++ developers can effectively handle memory issues without needing a borrow checker or lifetimes. Starting with a simple example, the tutorial progressively teaches how to use debugging tools to track down memory leaks, even in complex programs.

Read more
(www.babaei.net)
Development Memory Leaks

The 5 Stages of SaaS Grief in the Age of AI

2025-08-10
The 5 Stages of SaaS Grief in the Age of AI

This article outlines the five stages of SaaS companies' reactions to the disruptive wave of AI: denial, anger, bargaining, depression, and acceptance. Many initially deny AI's threat, then become angry as competitors leverage AI, followed by attempts to add AI features (bargaining), leading to depression, and finally accepting that AI will reshape the industry, shifting to building outcome-oriented, AI-native solutions. The author argues that SaaS companies need to move from focusing on "how can we help humans do this better?" to "why do humans need to do this at all?" to survive and thrive in the AI era.

Read more
(arnon.dk)
Startup

Amazon Killing Off Kindle's Download & Transfer Feature

2025-02-13
Amazon Killing Off Kindle's Download & Transfer Feature

Amazon will discontinue the 'Download & Transfer via USB' feature for Kindle ebooks on February 26th, 2025. This option, primarily used in the pre-Wi-Fi era, is being phased out due to low usage and its association with ebook piracy. While the feature is going away, users can still send books to their Kindles via Wi-Fi, using the 'Send to Kindle' feature or third-party software like Calibre. The change is unlikely to significantly affect most users who primarily rely on wireless delivery.

Read more
(goodereader.com)
Tech Ebooks

Thunder Compute: Seeking a Top-Tier Systems Engineer for GPU Virtualization

2025-05-08
Thunder Compute: Seeking a Top-Tier Systems Engineer for GPU Virtualization

Thunder Compute, a Y Combinator-backed startup, is hiring a Systems Engineer to build their VMware for GPUs. Their software eliminates idle GPU cycles through sharing and oversubscription, networking GPUs over IP. This challenging role requires top 0.1% C++ skills, deep understanding of low-level networking and compilers, and experience in latency-sensitive environments. The company is willing to relocate to find the right candidate.

Read more
(www.ycombinator.com)
Development Systems Engineer

Why We Need a Digital Bill of Rights

2025-01-03
Why We Need a Digital Bill of Rights

This article argues for a "Cyber Bill of Rights" to counter the power of tech giants over free speech and personal data. The author likens these companies to modern monarchs, manipulating information flow through algorithms, suppressing dissent, and exploiting user data. The proposed bill demands algorithmic transparency, fair content moderation, and user ownership of personal data. This is not just about free speech, but also about individual power and the rights of citizens in the digital age.

Read more
(www.discoursemagazine.com)
Tech Cyber Bill of Rights Free Speech Data Privacy

Generating Pixel Art Space Invaders with Algorithms

2025-08-20
Generating Pixel Art Space Invaders with Algorithms

This interactive article details the creation of a Space Invader generator using JavaScript and vector graphics. The author walks through the process, from hand-drawn pixel art to vector polygons and finally pixelated images, explaining the algorithms and techniques involved. This includes using the OKLCH color space for color generation and Anime.js for animation. The article is highly interactive, allowing readers to generate their own Space Invaders.

Read more
(muffinman.io)
Development Vector Graphics

Overthinking GIS: A Laplacian Approach to Terrain Usability

2025-07-06
Overthinking GIS: A Laplacian Approach to Terrain Usability

The author explores a novel approach to assessing terrain usability by calculating the rate of change of terrain slope. Using DEM data from the USGS, they leverage OpenCV's Laplacian operator to compute the rate of change of pixel values in an image, reflecting changes in terrain slope. A sliding window is then used to calculate area averages, and a threshold is set to generate a binary "usability" map. The author ultimately discovers this is effectively a complex downsampling method.

Read more
(scottsexton.co)
Development Terrain Analysis

Musk: Straight to Mars, the Moon is a Distraction

2025-01-05
Musk: Straight to Mars, the Moon is a Distraction

Elon Musk has publicly criticized NASA's Artemis program, calling it inefficient and prioritizing jobs over results. He declared SpaceX is going straight to Mars, deeming the Moon a distraction. Given Musk's advisory role in the Trump administration and influence on NASA's new administrator, his statement carries significant weight. While Artemis likely won't be scrapped, NASA may adopt a dual-track approach, pursuing both lunar and Martian exploration. SpaceX and Blue Origin are expected to play key roles in this revised strategy.

Read more
(arstechnica.com)
Tech

Probing Browser Limits with Infinite CSS Values

2025-08-08
Probing Browser Limits with Infinite CSS Values

The author experimented with setting element width and height to `calc(infinity * 1px)` in CSS to explore how different browser rendering engines handle infinite values. Chrome and Safari capped the value at approximately 33,554,400 pixels. However, Firefox Nightly exhibited unusual behavior; height was limited to the text line height, while width reached millions of pixels, yet the layout width was roughly half. Further tests with font size and line-height revealed similar discrepancies, with Firefox's rendering drastically different from other browsers. The author speculates on the reasons for these oddities and invites readers to provide explanations.

Read more
(meyerweb.com)
Development

Japan's Interdisciplinary Research Crisis and Path to Breakthrough

2025-02-11
Japan's Interdisciplinary Research Crisis and Path to Breakthrough

Japanese research has long been hampered by disciplinary silos, with interdisciplinary research severely lacking funding support, leading to a decline in innovation. The article argues that Japanese research funding agencies should learn from Western counterparts, shifting from project-based funding to supporting talented researchers, embracing high-risk, high-reward interdisciplinary projects, and expanding the diversity of their review panels. This would foster interdisciplinary research and enhance Japan's global competitiveness in science. The Okinawa Institute of Science and Technology Graduate University (OIST) serves as a successful example with its flexible funding model and emphasis on interdisciplinary collaboration.

Read more
(www.nature.com)
Tech research funding interdisciplinary research Japanese science

Robinhood CEO Vlad Tenev on Navigating Chaos, Embracing AI, and the Future of Finance

2025-09-04
Robinhood CEO Vlad Tenev on Navigating Chaos, Embracing AI, and the Future of Finance

Fortune's Leadership Next podcast features Robinhood CEO Vlad Tenev. The interview reflects on Robinhood's history with GameStop and meme stocks, discusses how AI and crypto will reshape investing, and explores raising the next generation with investing knowledge. Tenev shares leadership lessons learned and how Robinhood adapted from the GameStop saga, expanding into wealth management, credit cards, crypto trading, and more. He believes investing will become increasingly crucial as AI impacts the workforce, and Robinhood aims to make investing accessible to all.

Read more
(fortune.com)
Startup Investing

ManimGL: The Engine Behind 3Blue1Brown's Math Animations

2025-08-23
ManimGL: The Engine Behind 3Blue1Brown's Math Animations

ManimGL is a powerful engine for creating precise programmatic animations, primarily used for explanatory math videos. Originating as a personal project by the creator of 3Blue1Brown, it now exists in two versions: the original and a more stable, community-driven edition. This guide focuses on installing and using ManimGL, outlining system requirements (Python 3.7+, FFmpeg, OpenGL, optional LaTeX), installation commands (`pip install manimgl`), useful command-line flags (-w, -o, -s, -so, -n, -f), and custom configuration (custom_config.yml). Resources like Chinese documentation and community contribution information are also provided.

Read more
(github.com)
Development animation engine math animation

Plato's Music: Outsmarting Aristotle in Nizami's Khamsa

2025-03-27
Plato's Music: Outsmarting Aristotle in Nizami's Khamsa

A 16th-century Mughal painting depicts Plato playing an instrument surrounded by seemingly sleeping animals. This unusual scene originates from Nizami's Khamsa, specifically Alexander the Great's section. Alexander holds a contest of wisdom among philosophers. Aristotle initially dominates, but Plato's unique instrument, capable of mimicking the sounds of all creatures, lulls animals to sleep and then awakens them, demonstrating a deeper wisdom. The story reflects medieval Islamic perspectives on Plato and Aristotle, showcasing Plato as a mystic.

Read more
(www.willbuckingham.com)
Misc Nizami Plato Aristotle

Photographer's iPhone Odyssey: Newsstands NFT Collection Sells Out

2025-02-01
Photographer's iPhone Odyssey: Newsstands NFT Collection Sells Out

Photographer Trevor Traynor embarked on a global journey from 2012, documenting vibrant newsstands worldwide using only iPhones. In 2022, he transformed these images into a collection of 100 unique NFTs, which sold out within months. The project culminated in a physical exhibition in Los Angeles, blending online and offline experiences. This showcases a successful fusion of photography, NFT technology, and art.

Read more
(www.trevortraynor.com)
Design

Shocking VC Success Rate: Over Half of Senior VCs Have Never Had a Successful Deal

2025-07-29
Shocking VC Success Rate: Over Half of Senior VCs Have Never Had a Successful Deal

A report based on data from 12,069 mid-to-senior-level VC professionals at US VC firms from 1996 to 2025 reveals a startling statistic: only 54% of senior VCs have ever been involved in a successful deal. 'Success' is defined as an investment resulting in a pre-unicorn investment in a unicorn, an exit with at least double the initial investment, or a successful IPO. This means nearly half of senior VCs have never had a successful deal, prompting reflection on the industry's success rate.

Read more
(www.linkedin.com)
Startup Success Rate Unicorns

LSP Client in Clojure: 200 Lines of Code, Minimalist Language Server Interaction

2025-05-11

This blog post details how the author implemented a minimal LSP client in under 200 lines of Clojure code and used it to build a command-line code linter. It walks through the implementation of the base communication layer, JSON-RPC layer, and client API for the LSP protocol. The author then discusses the challenges of using LSP in practice, particularly the reliance of most language servers on notifications instead of requests for diagnostics, making a simple command-line tool more complex than expected. Finally, the author summarizes the pros and cons of LSP and speculates on the future of WASM-based language servers.

Read more
(vlaaad.github.io)
Development

Zig vs. Rust: A Deep Dive into Memory Safety

2025-05-13

This article delves into a detailed comparison of Zig and Rust regarding memory safety. Rust, with its powerful compile-time proof system, virtually eliminates memory safety vulnerabilities. While Zig improves upon C with features like slice types and bounds checking, it remains susceptible to memory safety issues such as use-after-free and buffer overflows. The author uses personal experience and project data to demonstrate Rust's memory safety advantage in large projects, but also suggests Zig's potential use in specific scenarios, such as within Wasm sandboxes. Zig's future success may hinge on the development of inexpensive runtime mitigations.

Read more
(www.scattered-thoughts.net)
Development

Running DOOM in Microsoft Word: A VBA Hack That's Actually Impressive

2025-01-20
Running DOOM in Microsoft Word: A VBA Hack That's Actually Impressive

A developer has ported the classic game DOOM into a Microsoft Word document! Using VBA macros and base64 encoding, they embedded the DOOM engine and game data within a Word document, rendering the game in real-time by reading keyboard input. While lacking sound, this unusual project showcases the power of VBA and the developer's creativity, prompting reflection on security and the exploration of software boundaries.

Read more
(github.com)
Game

Chinese Solar Giants Post Massive Losses Amidst Price War

2025-08-25
Chinese Solar Giants Post Massive Losses Amidst Price War

Major Chinese solar panel manufacturers reported significant losses in the first half of the year due to overcapacity and U.S. trade restrictions. The industry faces pressure to reduce output, with the Chinese government urging the closure of outdated facilities. A supply glut and the U.S. crackdown exacerbated price wars, leading to substantial losses for many companies.

Read more
(asia.nikkei.com)
Tech
1 2 … 392 393 394 396 398 399 400 … 596 597