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

Uber and Waymo Team Up for Self-Driving Rides in Austin

2025-03-04
Uber and Waymo Team Up for Self-Driving Rides in Austin

Uber and Waymo are partnering to bring self-driving ride-hailing to Austin, Texas. Users requesting a ride through the Uber app now have the chance to be matched with a Waymo fully autonomous electric vehicle at no extra cost. The service initially covers 37 square miles of Austin, with plans for expansion. This collaboration combines Waymo's autonomous driving technology with Uber's platform to offer a greener, more convenient transportation option, prioritizing safety with all vehicles meeting Uber's safety guidelines.

Read more
(www.uber.com)
Tech

Thread Safety Nightmare: A Mysterious Crash on ARM64, Even with Safe Rust

2025-01-22
Thread Safety Nightmare: A Mysterious Crash on ARM64, Even with Safe Rust

While porting network I/O code from Python to Rust in EdgeDB, a mysterious crash on ARM64 platforms emerged. Initially suspected to be a deadlock, the root cause turned out to be thread-unsafe behavior in the `setenv` and `getenv` functions. On ARM64, the `openssl-probe` library uses `setenv` to set environment variables, while another thread concurrently calls `getenv`. This reallocates the `environ` array, leading to a crash. The solution involved switching reqwest's TLS backend from rust-native-tls to rustls. This highlights how even in memory-safe Rust, interactions with the C standard library can still introduce thread safety issues.

Read more
(www.edgedb.com)
Development C standard library thread safety

Herbie: Boosting Floating-Point Accuracy

2025-08-07

The Herbie project aims to improve the accuracy of floating-point computations. Over several years, Herbie has released numerous versions, continuously improving algorithms, increasing speed, and adding features like a browser interface and plugins for languages such as Rust and Haskell. Recently, Herbie achieved significant accuracy improvements on the Hamming benchmark suite and added a new platform API for pluggable compilation targets. The Herbie team actively participates in academic research, publishing papers and giving numerous talks, sharing their research findings and future plans.

Read more
(herbie.uwplse.org)
Development Herbie project

Massive Great Firewall Leak: 500GB of Source Code and Internal Documents Exposed

2025-09-14
Massive Great Firewall Leak: 500GB of Source Code and Internal Documents Exposed

On Thursday, September 11, 2025, the Great Firewall of China (GFW) experienced its largest-ever leak of internal documents, exposing over 500GB of source code, work logs, and internal communications. The leak originated from Geedge Networks (led by Fang Binxing) and the MESA Lab at the Chinese Academy of Sciences, revealing details of the GFW's development and operation. Documents show the technology's export to countries like Myanmar and Pakistan, alongside domestic use. This significant leak warrants further analysis, with ongoing updates promised by GFW Report.

Read more
(gfw.report)
Tech

Steve Reich's Clapping Music, Reimagined with Flip-Disc Displays

2025-01-24
Steve Reich's Clapping Music, Reimagined with Flip-Disc Displays

An artist ingeniously recreates Steve Reich's iconic 'Clapping Music' using two flip-disc displays. By controlling the flipping of individual segments, they produce a rhythmic sound reminiscent of clapping. The project showcases a blend of hardware and software, demonstrating a unique artistic approach to sound and visuals. The code is open-source, inviting others to experiment and build upon the work.

Read more
(hannahilea.com)
Hardware Creative

Firefox's Downward Spiral: The Decline of a Once-Great Browser

2025-06-17
Firefox's Downward Spiral: The Decline of a Once-Great Browser

The once-dominant browser Firefox is facing a serious crisis. From altering user agreements and abandoning promises of user data privacy, to prioritizing AI in 2025 despite lacking resources; from shutting down useful utilities Pocket and Fakespot, to Firefox itself experiencing increasing technical problems like failing to load mainstream websites, slow speed, excessive memory usage, etc., Firefox is gradually losing users. Mozilla's poor handling of Snap and Flatpak packaging, and the disastrous handling of an expiring root certificate, further exacerbated user loss. Reliant on Google for 90% of its revenue and holding only a 1.9% market share, Firefox's future looks bleak; it may truly be at its end.

Read more
(www.theregister.com)
Tech

Stolen Van Dyck Portrait Recovered After 73 Years

2025-03-29

In July 1951, Anthony van Dyck's Portrait of Wolfgang Wilhelm of Pfalz-Neuburg was stolen from Boughton House, Northamptonshire. This grisaille, one of thirty-seven oil sketches from van Dyck's Iconography series, embarked on a 73-year journey through the hands of experts, auctioneers, and collectors, spanning continents. A meticulous investigation, involving archival research and international collaboration, ultimately led to its return to Boughton House in 2024, revealing a captivating tale of theft, intrigue, and the persistent pursuit of justice.

Read more
(britishartjournal.co.uk)
Misc art theft Anthony van Dyck Boughton House

Save 120+ Hours: AI-Powered Steam Data Analysis

2025-02-24
Save 120+ Hours: AI-Powered Steam Data Analysis

Save over 120 hours per month on Steam data scraping! This service uses AI to automatically scrape and clean Steam data, providing insightful analytics to help you understand the Steam market and make informed game development decisions. Whether crafting a pitch deck or assessing market competition, data-driven insights eliminate guesswork, empowering strategic game development.

Read more
(www.gginsights.io)
Game Steam data analysis AI-powered

Understanding Functors, Applicatives, and Monads in Haskell

2025-03-30
Understanding Functors, Applicatives, and Monads in Haskell

This article provides a clear and accessible explanation of functors, applicatives, and monads in Haskell functional programming, using analogies to make complex concepts easier to grasp. The author uses the metaphor of boxes to illustrate how these types handle function application in different scenarios, providing code examples to demonstrate their usage and differences. The article concludes with a reflection on the importance of learning and sharing knowledge, stemming from an interaction with the Haskell community.

Read more
(www.thecoder.cafe)
Development Monads

Apple's Image Playground: A Case Study in AI Bias

2025-02-17
Apple's Image Playground: A Case Study in AI Bias

Apple's new image generation app, Image Playground, despite incorporating safety features to prevent realistic deepfake generation, reveals inherent biases within AI models. Experiments show that using the same image with different prompts results in significant variations in skin tone and hair style, suggesting a bias towards certain skin colors. Further research highlights this bias is prevalent in other image generation models, reflecting societal biases embedded within training data. While Apple is addressing and attempting to measure model bias, completely resolving AI bias remains a significant challenge.

Read more
(www.giete.ma)
AI

The Tyranny of Structurelessness: Power Dynamics in the Women's Liberation Movement

2025-01-22

This article examines the pitfalls of 'structureless' organizational forms in the women's liberation movement. Jo Freeman argues that seemingly structureless groups inevitably develop informal power structures, leading to elitism and exclusion. The lack of formal structures results in opaque decision-making processes, with power concentrated in the hands of a few, leaving the majority confused. The author advocates for formal, democratic organizational structures to ensure equitable power distribution and accountability, proposing principles for democratic structuring such as delegation of authority, responsibility, distributed power, and information sharing to foster the healthy development of the women's liberation movement.

Read more
(www.jofreeman.com)
Startup women's liberation organizational structure power dynamics

Framework Fatigue: Why Developers Are Angry About New Tech

2025-01-21
Framework Fatigue: Why Developers Are Angry About New Tech

The constant stream of new JavaScript frameworks—from Svelte to Solid to Qwik—has left developers exhausted. Each promises blazing speed and improved performance, yet developers find themselves in a perpetual cycle of learning, consuming precious time and energy. This has sparked heated debates, with some arguing that new frameworks reinvent the wheel, while others express fears about job security and the obsolescence of existing skills. The article suggests that developer anger towards new frameworks is a self-defense mechanism stemming from anxieties about future career prospects. Understanding this perspective can foster healthier industry evolution.

Read more
(blog.raed.dev)
Development Framework Fatigue Employability

PianoReader: Browser-Based Piano Tutorial Parser

2025-09-06
PianoReader: Browser-Based Piano Tutorial Parser

Tired of flashy piano tutorial videos? Meet PianoReader, a browser-based tool that parses piano tutorial videos and outputs sheet music and chords – all without server-side processing. Leveraging HTML canvas for video frame processing, it uses user-defined key positions and image analysis to detect pressed keys. The result? Readable sheet music. While currently limited to white keys and processing speed is dependent on frame rate, it's already useful for learning simpler songs.

Read more
(www.heyraviteja.com)
Development

AppStat: Real-time Application Performance Monitoring

2025-03-04

AppStat is a free application performance monitoring tool that provides real-time monitoring of CPU, memory, disk, and thread metrics. Its clean graphical interface helps developers quickly identify resource bottlenecks, memory leaks, and performance spikes without interrupting their workflow. Features include dark/light modes, an always-on-top option, and exportable logs for team analysis.

Read more
(pragmar.com)
Development performance monitoring application monitoring

PlayAI's Dialog: A New Text-to-Speech Model Outperforming ElevenLabs

2025-02-07
PlayAI's Dialog: A New Text-to-Speech Model Outperforming ElevenLabs

PlayAI has released its Dialog text-to-speech model, boasting multilingual capabilities and exceptional performance. In third-party benchmark tests, Dialog significantly outperformed ElevenLabs v2.5 Turbo and ElevenLabs Multilingual v2.0 in terms of emotional expressiveness and naturalness. Dialog's low latency makes it ideal for applications such as voice agents, contact centers, and gaming. Beyond English, Dialog supports numerous languages including Chinese, French, and German. Its superior voice quality and low latency represent a breakthrough in voice AI.

Read more
(play.ht)
AI voice AI

Italy Revives Nuclear Power Plans: A Post-Chernobyl Shift?

2025-03-04
Italy Revives Nuclear Power Plans: A Post-Chernobyl Shift?

Italy's government has approved a draft law to reintroduce nuclear power, aiming to address energy security and climate change goals, with a target of carbon neutrality by 2050. After phasing out nuclear energy following a 1987 referendum, a shift in public opinion and government policy has led to the inclusion of nuclear power in national energy plans. The new law emphasizes advanced modular reactor technologies and establishes an independent regulatory authority to ensure safety and transparency.

Read more
(www.world-nuclear-news.org)
Tech nuclear power energy security

KV Cache Tricks for Faster Language Models

2025-01-28
KV Cache Tricks for Faster Language Models

The slow speed of large language models (LLMs) in text generation stems from the computational complexity of self-attention. This article explores KV caching and its optimization techniques. KV caching stores key-value pairs for each token to avoid redundant computation, reducing complexity from O(n³) to O(n²); however, memory consumption remains substantial. The article delves into 11 papers proposing optimizations: token selection and pruning based on attention scores, post-hoc compression techniques, and architectural redesigns such as Multi-head Latent Attention (MLA). These aim to balance memory usage and computational efficiency, ultimately making models like ChatGPT generate text faster and more efficiently.

Read more
(www.pyspur.dev)
AI KV Cache Self-Attention

Linux Auto-Shutdown on Power Disconnect: A BusKill Alternative

2025-07-31
Linux Auto-Shutdown on Power Disconnect: A BusKill Alternative

This article details a simple alternative to BusKill for automatically shutting down a Linux system when the power is disconnected. By creating a udev rule that monitors the power supply status, a custom script (e.g., poweroff) is executed upon disconnection. This is a straightforward method for protecting laptops used in public areas from theft. The article also provides alternative script ideas, such as locking sessions, hibernating, or even destroying LUKS master keys, catering to various security needs.

Read more
(dataswamp.org)
Development

Celery Compound Shows Promise in Preventing Gray Hair

2025-03-03
Celery Compound Shows Promise in Preventing Gray Hair

Researchers at Nagoya University have discovered that luteolin, a flavonoid found in celery, broccoli, and other plants, may effectively inhibit hair graying. Experiments on mice showed that both topical and oral administration of luteolin reduced the appearance of gray hair by improving the levels of endothelin and its receptors in hair follicles, thus enhancing melanocyte stem cell function. While human trials are needed to confirm safety and efficacy, this research offers a promising new avenue for preventing graying and may lead to topical agents or oral supplements.

Read more
(www.asahi.com)
Tech gray hair luteolin

Test-Driven Blogging: Using AI to Improve Your Writing Workflow

2025-03-09
Test-Driven Blogging: Using AI to Improve Your Writing Workflow

This post introduces unit-text, a tool leveraging GPT models to assist in blog post creation. The author emphasizes iterative writing, goal-oriented approaches, and draws parallels to Test-Driven Development (TDD) in software, proposing "Test-Driven Blogging." unit-text uses prompts and GPT feedback to help writers check for consistency, logical fallacies, and goal achievement, improving writing efficiency and quality. Currently a prototype CLI tool, future plans include interactive ideation, autonomous research, and API integration.

Read more
(www.sealambda.com)
Development AI writing blog writing tool

On-Chip Integration of Quantum Light Sources and Control Electronics: A Breakthrough

2025-07-20

Scientists from Boston University, UC Berkeley, and Northwestern University have achieved a major breakthrough in scalable quantum technologies. Their research, published in Nature Electronics, details the world's first electronic-photonic-quantum system on a chip. This system integrates quantum light sources and stabilizing electronics using a standard 45-nanometer semiconductor manufacturing process, producing reliable streams of correlated photon pairs—a crucial resource for quantum computing, communication, and sensing. This advance paves the way for mass-producible 'quantum light factory' chips and large-scale quantum systems built from many such chips.

Read more
(www.bu.edu)
Tech quantum optics silicon photonics

13 Plays to Build Great Government Digital Services

2025-02-23

This article outlines 13 key steps for building excellent government digital services. It covers user needs research, end-to-end experience design, simple and intuitive interfaces, agile iterative development, budget and contract management, team leadership and member selection, technology stack selection, flexible hosting environments, automated testing and deployment, security and privacy management, data-driven decision-making, and open principles. Each step provides a detailed checklist and key questions to help government agencies build user-centered, efficient, reliable, and secure digital services, ultimately improving the public service experience.

Read more
(playbook.usds.gov)
Development digital services

In Search of Lost Time: A Summary of Proust's Masterpiece

2025-01-21
In Search of Lost Time: A Summary of Proust's Masterpiece

Marcel Proust's *In Search of Lost Time* is not merely a narrative, but a profound exploration of memory, time, and self-awareness. Through meticulous descriptions of everyday details, particularly the evocative power of smells and tastes, Proust unlocks the narrator's dormant memories, revealing that time isn't linear but exists in fragmented pieces within our recollections. The novel's unique stream-of-consciousness style and masterful portrayal of psychological states immerse the reader in the narrator's rich and complex inner world, prompting reflection on life's meaning and value.

Read more
(storymaps.arcgis.com)
Misc stream of consciousness

Bio-Inspired Adaptive Shading: Energy-Autonomous & Sustainable

2025-01-21

Researchers at the Universities of Stuttgart and Freiburg have developed a novel energy-autonomous building facade shading system, "Solar Gate," inspired by pine cones. Using bio-based cellulose materials and 4D printing, the system passively adjusts shading based on humidity and temperature changes, requiring no electricity. It closes in summer to minimize solar radiation and opens in winter to maximize sunlight for natural heating, offering a sustainable and efficient solution for climate control in buildings.

Read more
(www.uni-stuttgart.de)
Tech biomimicry 4D printing sustainable building

Penn Cuts Grad Admissions Amidst Federal Research Funding Cuts

2025-02-23
Penn Cuts Grad Admissions Amidst Federal Research Funding Cuts

The University of Pennsylvania has slashed graduate admissions across its School of Arts and Sciences due to federal research funding cuts, prompting outrage from faculty. Departments were instructed to drastically reduce admissions, even rescinding offers to students already accepted. Professors criticized the lack of transparency and warned of severe impacts on research and education. The cuts are linked to a proposed $240 million reduction from the National Institutes of Health (NIH), but speculation also includes possible connections to graduate student unionization efforts or decreased support for humanities. The situation highlights the precarious financial situation facing higher education institutions.

Read more
(www.thedp.com)
Tech graduate admissions university funding

Trump Admin Ends Paper Checks, Goes All-Digital

2025-03-31
Trump Admin Ends Paper Checks, Goes All-Digital

President Trump's executive order, effective September 30th, eliminates paper checks for all US Treasury disbursements. This includes tax refunds, vendor payments, benefits, and intergovernmental transfers. The move aims to combat waste, fraud, and abuse, citing that paper checks are 16 times more likely to be lost, stolen, or altered than electronic transfers. Maintaining the paper check system cost $657 million in 2024. While check usage declines, fraud is rising, prompting the American Bankers Association to applaud the change and encourage digital banking. Exceptions will be made for those lacking banking access, emergencies, law enforcement, and other specified cases.

Read more
(bankingjournal.aba.com)
Tech fraud prevention

The Ultimate Guide to File Watchers: A Comprehensive Overview

2025-02-12

This article provides a comprehensive list of file watching tools, covering various programming languages, licenses, and functionalities. From older inotify wrappers to modern tools written in Rust and Python like watchexec, the article meticulously compares each tool's pros and cons, dependencies, and Debian package support. The author also shares personal experiences and challenges encountered, such as using systemd .path units and the limitations of watchman. Developers and system administrators alike will find this resource invaluable in selecting the right file watching tool for their needs.

Read more
(anarc.at)
Development file watching

Implementing LLaMA3 in 100 Lines of Pure Jax

2025-02-19

This post demonstrates implementing LLaMA3 from scratch using only 100 lines of pure Jax code. The author chose Jax for its clean aesthetics and powerful features like XLA acceleration, JIT compilation, and vmap vectorization. The article details each component of the model, including weight initialization, BPE tokenization, dynamic embeddings, rotary positional encoding, grouped query attention, and the forward pass. Unique Jax features like PRNG key management and JIT compilation are also explained. Finally, the author shows how to train the model on a Shakespeare dataset, providing the training loop code.

Read more
(saurabhalone.com)
Development

SRCL: A Terminal-Aesthetic React Component Library

2025-01-20
SRCL: A Terminal-Aesthetic React Component Library

SRCL is an open-source React component and style repository that helps you build web applications, desktop applications, and static websites with terminal aesthetics. It boasts a comprehensive collection of components, including action bars, accordions, buttons, alert banners, avatars, badges, loaders, blog posts, breadcrumbs, cards, checkboxes, chessboards, code blocks, combo boxes, data tables, date pickers, dashboards, database examples, dropdown menus, empty states, input fields, forms, links, lists, messages, modals, navigation bars, popovers, progress bars, radio buttons, selects, sidebars, sliders, tables, text areas, tooltips, and tree views, all styled with a retro terminal look and feel.

Read more
(www.sacred.computer)
Development Component Library Terminal UI
1 2 … 589 590 591 593 595 596 597