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

Microsandbox: Securely Executing Untrusted Code

2025-05-30
Microsandbox: Securely Executing Untrusted Code

Microsandbox solves the drawbacks of traditional methods (local execution, containers, VMs, cloud solutions) for running untrusted code. It boasts fast startup times, supports multiple languages (Python, JavaScript, Rust), and offers an SDK and project management tools for securely running AI-generated code, user submissions, or experimental code. Its unique microVM technology ensures code isolation, protecting your system from even malicious code. Microsandbox provides secure and efficient solutions for development environment setup, data analysis, and building AI assistants.

Read more
(github.com)
Development

Supercharging Vector Search with ColBERT Reranking in PostgreSQL

2025-01-24
Supercharging Vector Search with ColBERT Reranking in PostgreSQL

Traditional vector search relies on sentence embeddings, potentially losing fine-grained details. ColBERT overcomes this by representing text as token-level multi-vectors, retaining nuanced information and improving accuracy. However, token-level interaction is computationally expensive. This blog post demonstrates combining sentence-level vector search with ColBERT token-level reranking using the PostgreSQL extensions VectorChord and pgvector. This approach performs a fast initial search using sentence embeddings, followed by reranking with ColBERT for improved results. Significant improvements were observed on several BEIR datasets.

Read more
(blog.vectorchord.ai)
Development vector search

arXivLabs: Experimenting with Community Collaboration

2025-04-02
arXivLabs: Experimenting with Community Collaboration

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

Read more
(arxiv.org)
Development

Gulf of Mexico: A Programming Language That Breaks the Rules

2025-02-16
Gulf of Mexico: A Programming Language That Breaks the Rules

DreamBerd has been renamed to Gulf of Mexico, a quirky programming language with unusual features. Statements end in exclamation marks, the semicolon is the 'not' operator, there are four declaration types (const const, const var, var const, var var), arrays start at index -1, float indices are supported, the `when` keyword checks variable mutations, there's a garbage collector, variable lifecycles are customizable (including negative lifecycles for hoisting), and there are no loops. Installation is complex, booleans can be true, false, or maybe, whitespace determines arithmetic operation precedence, fractions and number names are supported, indentation is rigidly 3 spaces, multiple comparison operators exist, function declaration is flexible, division by zero returns undefined, strings can be declared in various ways, regional currency interpolation is supported, type annotations are optional, regular expression types are supported, and `previous`, `next`, and `current` keywords access variable history. Code can be split into multiple files using five or more equals signs. It supports code reversal, global variables, and automatic insertion of exclamation marks, brackets, and quotes. Gulf of Mexico also supports rich text and a turn-based execution mechanism for asynchronous functions.

Read more
(github.com)
Development quirky design

Rethinking In-Car Climate Control: A Rotary Dial Prototype

2025-02-11
Rethinking In-Car Climate Control: A Rotary Dial Prototype

Frustrated by carmakers' over-reliance on touchscreens and overly complex interfaces, the author spent two years rethinking in-car climate control. He designed an automated system controlled by a rotary dial, adjusting fan speed and seat heating, with touchscreen overrides. Prototyping involved the Seedlabs Smart Knob kit, experimenting with haptic feedback's impact on usability. The conclusion: a dial controlling temperature and fan speed is optimal, with separate physical controls for seat heating. The author urges carmakers to return to physical controls for improved UX and safety.

Read more
(www.theturnsignalblog.com)
Hardware automotive systems hardware prototyping

“Your” vs “My” in UI: A Subtle but Crucial Choice

2025-09-16
“Your” vs “My” in UI: A Subtle but Crucial Choice

The article explores the subtle but crucial decision of using "My account" vs. "Your account" in user interfaces. It argues that in most cases, prefixes are unnecessary; simply using "Account," "Orders," etc., is sufficient. However, complexities arise when dealing with content belonging to both the user and the system, such as a case management system containing both the user's and others' cases. While "My Cases" might seem fine in a menu, it feels unnatural in other contexts like onboarding flows or email notifications. The author recommends using "Your" when communicating to the user and "My" when the user is communicating to the system.

Read more
(adamsilver.io)
Design Interaction Design

RWKV: A Novel Language Model Blending RNN and Transformer Strengths

2025-01-02

RWKV is a novel Recurrent Neural Network (RNN) language model that combines the best of RNNs and Transformers, achieving superior performance. Unlike traditional Transformers, RWKV boasts linear time and constant space complexity, fast training, infinite context length, and is attention-free. The current version, RWKV-7, offers various demos and tools, including WebGPU demos, fine-tuning utilities, and servers for fast inference. It also features a vibrant community and numerous related projects, and is a Linux Foundation AI project.

Read more
(www.rwkv.com)
AI language model

Rust Foundation's 2025 Tech Report: Security, Scalability, and Developer Friendliness

2025-08-11
Rust Foundation's 2025 Tech Report: Security, Scalability, and Developer Friendliness

The Rust Foundation released its 2025 Technology Report, summarizing a year of significant advancements in supporting the Rust programming language and ecosystem. The report highlights the Foundation's focused work on securing the Rust supply chain, improving critical infrastructure, enhancing Rust's readiness for safety-critical use, and fostering interoperability with C++. Key achievements include: the full launch of Trusted Publishing on crates.io; major progress on TUF-based crate signing infrastructure; integration of the Ferrocene Language Specification into the Rust Project; a 75% reduction in CI infrastructure costs; expansion of the Safety-Critical Rust Consortium; and direct engagement with ISO C++ standards bodies. These efforts ensure Rust remains secure, reliable, and ready for the demands of modern software development.

Read more
(rustfoundation.org)
Development Technology Report

127-Million-Year-Old Termite Poo Reveals Secrets of Australia's Polar Forests

2025-06-20
127-Million-Year-Old Termite Poo Reveals Secrets of Australia's Polar Forests

Scientists have unearthed a 127-million-year-old termite nest fossil in Victoria, Australia, representing the oldest known termite nest and possibly the largest from the dinosaur era. Analysis of hexagonal termite droppings and smaller mite droppings within the fossilized log suggests a relatively mild polar climate (around 6°C). This discovery challenges previous understanding of ancient polar forests and highlights termites' crucial role in these ecosystems.

Read more
(phys.org)
Tech termites polar forests

MIT's 2022 Quantum Computation Lecture Notes

2025-06-12

Lecture notes from MIT professor Peter Shor's Fall 2022 Quantum Computation course (8.370/18.435) are now available. The comprehensive notes cover a wide range of topics, from fundamental concepts like superposition and unitary evolution to quantum measurement, entanglement, and key algorithms such as Deutsch-Jozsa, Simon's, Shor's, and Grover's algorithms. Advanced topics including quantum error correction codes and quantum key distribution are also included. While Lecture 26 is missing, this extensive resource provides a valuable foundation for learning quantum computation.

Read more
(math.mit.edu)
Development quantum computation quantum information

The Layoff Lie: Why Companies Keep Doing It Despite the Evidence

2025-03-09
The Layoff Lie: Why Companies Keep Doing It Despite the Evidence

From the airline industry's post-9/11 layoffs to the 2023 tech sector bloodbath, corporate downsizing has become commonplace. Yet, research consistently shows layoffs damage company culture, morale, and productivity, often failing to deliver promised financial gains and even increasing bankruptcy risk. This article traces the roots of this practice back to the 1980s, when shareholder value maximization became paramount, and aggressive CEO strategies popularized mass layoffs. The long-term consequences are overwhelmingly negative, highlighting the need for alternatives such as delaying purchases, reducing hours, or implementing furloughs.

Read more
(thehustle.co)
Startup corporate management

Outperforming std::deque: Introducing the Shift-To-Middle Array

2025-03-23
Outperforming std::deque: Introducing the Shift-To-Middle Array

The Shift-To-Middle Array is a dynamic array designed to outperform std::deque, std::vector, and linked lists in insertion and deletion at both ends. It achieves this by using contiguous memory, improving cache locality, and supporting SIMD and parallel optimizations. Benchmarks show significant performance gains, especially on multi-core CPUs and hardware with SIMD instruction sets. The project is open-source, with full API documentation and benchmark reports available. Contributions are welcome!

Read more
(github.com)
Development dynamic array

NO FAKES Act: A Censorship Nightmare in the Making

2025-06-24
NO FAKES Act: A Censorship Nightmare in the Making

Intended to combat misinformation and defamation from generative AI, the NO FAKES Act has morphed into a potential internet-altering censorship machine. Initially aiming to address AI-generated “replicas” with broad new intellectual property rights, the bill’s approach backfired. The updated version mandates a sweeping censorship infrastructure, requiring platforms to remove content, filter tools, and even unmask users based on mere allegations. This threatens free speech, innovation, and could be weaponized against dissent. The Act empowers rights-holders, stifles competition, and risks excessive censorship.

Read more
(www.eff.org)
Tech

Ubisoft Spins Off Assassin's Creed, Far Cry, and Rainbow Six into New Subsidiary Backed by Tencent

2025-03-27
Ubisoft Spins Off Assassin's Creed, Far Cry, and Rainbow Six into New Subsidiary Backed by Tencent

Ubisoft is restructuring after several challenging years, creating a new subsidiary focused on its flagship franchises: Assassin's Creed, Far Cry, and Tom Clancy's Rainbow Six. This subsidiary, backed by a $1.25 billion investment from Tencent (granting Tencent a minority stake), will consolidate development teams from various studios. This move allows Ubisoft to streamline operations and refocus on other IPs like The Division and Ghost Recon. The investment comes after cost-cutting measures and amidst recent struggles. While the company will continue developing multiplayer and free-to-play titles, the announcement emphasizes a renewed commitment to high-quality single-player experiences.

Read more
(www.engadget.com)
Game Ubisoft

Avoiding Data Copies: Exploring Efficient Buffer Resizing in C++

2025-04-04
Avoiding Data Copies: Exploring Efficient Buffer Resizing in C++

Johnny's Software Lab explores methods to avoid costly data copying in C++. The article delves into how operating system calls like `mmap` (Linux) and `VirtualAlloc` (Windows) can enable dynamic buffer resizing, thus avoiding data copies. It compares the performance differences between various approaches, including using `mremap`, `xallocx` (jemalloc), and custom memory allocation strategies. Experiments demonstrate that avoiding copies significantly improves performance, but caution is advised regarding cross-platform differences and potential memory fragmentation issues.

Read more
(johnnysswlab.com)
Development

Python's JIT Decorators: Three Implementation Strategies

2025-02-03

This article delves into the popular JIT decorator pattern in Python, particularly its use in JAX and Triton libraries. The author implements three JIT decorators from scratch using a simplified example: AST-based, bytecode-based, and tracing-based. The AST-based approach directly manipulates the Abstract Syntax Tree; the bytecode-based approach leverages Python's bytecode interpreter; and the tracing-based approach builds an expression IR by tracing function execution at runtime. The article details the advantages and disadvantages of each approach and uses JAX and Numba as examples to illustrate their strategies in real-world applications.

Read more
(eli.thegreenplace.net)
Development JIT compilation

Jeju Air Crash: Black Boxes Silent Before Impact

2025-01-11
Jeju Air Crash: Black Boxes Silent Before Impact

A Jeju Air Boeing 737-800 crashed in Korea, resulting in 179 fatalities. The investigation revealed that both the flight data recorder (FDR) and cockpit voice recorder (CVR) stopped recording four minutes before the plane crashed. This crucial data loss complicates the investigation, forcing investigators to rely on other evidence to determine the cause of the crash. Possible causes under investigation include bird strike, landing gear malfunction, and the runway barrier. The transport minister resigned, and authorities are investigating the airport and Jeju Air.

Read more
(www.koreatimes.co.kr)
Tech black box Jeju Air

Pushing the Limits of Time Synchronization on Linux: A 500ns Accuracy Challenge

2025-08-26
Pushing the Limits of Time Synchronization on Linux: A 500ns Accuracy Challenge

This post details an author's month-long quest to achieve high-precision time synchronization across multiple Linux systems on a local network. The goal was sub-microsecond accuracy for distributed tracing. Despite using GPS and Chrony, the author found achieving ideal precision challenging. GPS receiver jitter, network latency, and asymmetry introduced hundreds of nanoseconds of error. Ultimately, around 500ns synchronization accuracy was achieved on most systems—not quite the target, but sufficient for distributed tracing.

Read more
(scottstuff.net)
Development

PostgreSQL 18 Beta: Asynchronous I/O Revolutionizes Performance

2025-05-07

PostgreSQL 18 Beta 1 introduces highly anticipated asynchronous I/O (AIO), marking a significant leap in I/O handling. AIO dramatically improves performance, especially in cloud environments with high latency, by allowing the database to issue multiple read requests concurrently. Currently limited to reads (writes may be added later), AIO utilizes a new `io_method` configuration parameter offering synchronous, I/O worker, and `io_uring` modes. `io_uring`, on compatible Linux kernels, delivers the best performance. Benchmarks on AWS show 2-3x read performance improvements for read-heavy workloads. However, AIO changes performance monitoring; `EXPLAIN ANALYZE` I/O timing may be less precise, requiring the new `pg_aios` view for detailed analysis.

Read more
(pganalyze.com)
Development

Turn Your Old iPhone or RTSP Camera into an AI Security Camera

2025-08-24
Turn Your Old iPhone or RTSP Camera into an AI Security Camera

The Clearcam app lets you upgrade your old iPhone or any RTSP-enabled camera into a state-of-the-art AI security camera. With a simple Homebrew install and running a Python script, you can view live feeds and receive event notifications (objects/people detected) on your local browser. Clearcam Premium offers remote viewing, event clips, and end-to-end encryption. Currently only iOS is supported, Android users can use the iOS User ID temporarily.

Read more
(github.com)
Tech

China's Record Solar Power Installation in May, But Slowdown Looms

2025-06-24
China's Record Solar Power Installation in May, But Slowdown Looms

China installed a record-breaking 93 gigawatts (GW) of solar power capacity in May, surpassing the total solar capacity added by any other country in 2024. However, new government policies, including the removal of pricing protections for solar projects and stricter grid connection rules for rooftop panels, are expected to significantly slow growth this summer. This slowdown could further impact Chinese solar manufacturers already struggling with overcapacity and price wars, leading to losses reported by many top producers in Q1 2025.

Read more
(oilprice.com)
Tech China Energy Policy Changes

No-Build Web App: Little Webby Press Reborn

2025-06-05

The author rewrote his ebook generator, Little Webby Press, to eliminate the build process. The new version ditches Svelte, BrowserFS, and other build tools and dependencies, opting instead for Mithril and Pico CSS, cleverly using importMap to load dependencies from JsDelivr. This resulted in cleaner code and a massive performance boost; generating the ebook and website for Moby Dick went from 4.7 seconds to under 0.5 seconds. The author finds this "no-build" approach more enjoyable and plans to focus on such web app development in the future.

Read more
(andregarzia.com)
Development no-build

Skulls, Monsters, and Death: Re-examining the Mexican Printmaker José Guadalupe Posada

2025-03-10
Skulls, Monsters, and Death: Re-examining the Mexican Printmaker José Guadalupe Posada

As cultural critic Ilan Stavans notes, Posada's work transports us to a universe of gothic, grotesque, magical, and bizarre incidents, with death as a primary, not existential or painful, but irrevocable, social, and egalitarian theme. His world is filled with bats, griffins, skeletons, animal hybrids, snakes, explosions, pistols, demons, ghosts, and deformities. Instead of viewing these gruesome elements as a side note, we should consider their inherent significance.

Read more
(publicdomainreview.org)
Design Mexican printmaking death imagery gothic art

Gamify Your Running Habit: Grow a Garden with Every Run

2025-05-25
Gamify Your Running Habit: Grow a Garden with Every Run

This app gamifies running by turning it into a plant-growing game. Users install the app, create a virtual garden, and set weekly goals. Each run rewards users with plants based on distance, with longer runs unlocking rarer species. Consistent running expands the garden, and users can share their progress or keep it private. The simple interface focuses on the run itself, not complex metrics, making it easy to build a running habit.

Read more
(www.runandgrow.com)
Game habit building

Critical Flaw in ASUS MyAsus Exposes Millions of User Accounts

2025-06-24

A security researcher discovered a critical vulnerability in ASUS's MyAsus software, potentially exposing millions of user accounts since August 2022. Hardcoded encrypted credentials with administrator-level permissions allowed access to sensitive data including names, dates of birth, phone numbers, addresses, support ticket contents, and RMA requests. The researcher responsibly disclosed the vulnerability to ASUS, which was patched in May. This highlights the importance of software security and the need for better incentives for security researchers from companies.

Read more
(mrbruh.com)
Tech

MinorMiner: Mining Bitcoin with Children's Math Homework?

2025-05-17
MinorMiner: Mining Bitcoin with Children's Math Homework?

Hobert Reaton pitches a groundbreaking investment opportunity: MinorMiner, a platform that mines Bitcoin using children's math homework. By breaking down the SHA-256 hashing algorithm into simple arithmetic problems, the platform transforms kids' assignments into computational resources. They've also developed the CUDAAAAGH library, distributing computations across a vast pool of 'computation partners' (students). Future plans include applying this technology to AI training and even building a computer system entirely powered by children. A controversial yet imaginative venture.

Read more
(robertheaton.com)
Startup

Large Reasoning Models: Collapse and Counterintuitive Scaling

2025-06-08
Large Reasoning Models: Collapse and Counterintuitive Scaling

Recent Large Language Models (LLMs) have spawned Large Reasoning Models (LRMs), generating detailed reasoning traces before providing answers. While showing improvement on reasoning benchmarks, their fundamental capabilities remain poorly understood. This work investigates LRMs using controllable puzzle environments, revealing a complete accuracy collapse beyond a certain complexity threshold. Surprisingly, reasoning effort increases with complexity, then declines despite sufficient token budget. Compared to standard LLMs, three regimes emerged: (1) low-complexity tasks where standard LLMs outperform LRMs, (2) medium-complexity tasks where LRMs show an advantage, and (3) high-complexity tasks where both fail. LRMs exhibit limitations in exact computation, failing to use explicit algorithms and reasoning inconsistently. This study highlights the strengths, limitations, and crucial questions surrounding the true reasoning capabilities of LRMs.

Read more
(machinelearning.apple.com)
AI

Instant Graphics and Sound on Atari ST BBS: A Retro Tech History

2025-01-06

This multi-part series chronicles the rise and impact of the "Instant Graphics and Sound" (IGS) format on Atari ST bulletin board systems (BBSs). From its beginnings in 1988 within an Atari user group in Florida to the psychedelic animations by artist Steve Turnbull on CrossNet in 1991, the series explores how IGS transformed the Atari BBS scene. It features stories of developers like Larry Mears and Steve Turnbull, and highlights the vibrant community interaction and contributions.

Read more
(breakintochat.com)
Tech BBS culture

High-Performance RL Framework for Humanoid Robots

2025-05-18

A high-performance reinforcement learning framework optimized for training humanoid robot locomotion, manipulation, and real-world deployment is on the horizon. Boasting high versatility, it tackles tasks ranging from walking and dancing to household chores and even cooking. The upcoming K-VLA, leveraging large-scale robot data and a novel network architecture, promises the most capable and dexterous robot yet. It's locally runnable and integrates with other VLAs like Pi0.5 and Gr00t.

Read more
(www.kscale.dev)
AI
1 2 … 347 348 349 351 353 354 355 … 596 597