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

Quantum Double-Slit: Did the Particle Go Through Both Slits?

2025-03-16
Quantum Double-Slit: Did the Particle Go Through Both Slits?

This post tackles a central question in the quantum double-slit experiment: how do particles create an interference pattern? Using a simplified 'double-door' analogy, the author argues that neither the particle itself nor its wave function passes through both slits simultaneously. A particle can only occupy one position, while the wave function resides in possibility space, not physical space. The interference pattern doesn't arise from the particle or wave function's movement in physical space but is linked to the wave function's evolution in possibility space. The post ends on a cliffhanger, promising to explain the source of the interference effect in a future installment.

Read more
(profmattstrassler.com)
Physics double slit experiment wave function

Deep Dive into 3FS: DeepSeek's Open-Source Distributed Filesystem

2025-04-17

DeepSeek released 3FS (Fire-Flyer File System), a distributed filesystem. This post explains distributed filesystems and 3FS's architecture. 3FS comprises four node types: Meta (metadata management), Mgmtd (management server), Storage, and Client. It uses the CRAQ (Chain Replication with Apportioned Queries) protocol for strong consistency. The post analyzes 3FS's performance characteristics and outlines future performance testing and improvement directions.

Read more
(maknee.github.io)
Development distributed filesystem

GrapheneOS's Hardened Malloc: A Deep Dive into its Security Enhancements

2025-09-24
GrapheneOS's Hardened Malloc: A Deep Dive into its Security Enhancements

GrapheneOS's hardened memory allocator, Hardened Malloc, employs multiple techniques to combat memory corruption vulnerabilities. It leverages ARM's Memory Tagging Extension (MTE) to detect out-of-bounds reads and writes, and use-after-free vulnerabilities. For devices lacking MTE support, Hardened Malloc utilizes canaries and randomly sized guard pages for enhanced security. Its unique double quarantine mechanism, using random replacement and FIFO queues, significantly increases the difficulty of use-after-free exploits. Hardened Malloc's clean design facilitates auditing and maintenance, providing GrapheneOS with a superior level of security.

Read more
(www.synacktiv.com)
Development Memory Security

When to Disobey: Moral Autonomy in the Military

2025-02-17
When to Disobey: Moral Autonomy in the Military

This article explores the complex question of when a military officer should disobey orders, even legal ones. The author argues that blind obedience is insufficient and that officers possess a moral autonomy stemming from their oath to the Constitution and their responsibility to their subordinates. Using historical examples and personal anecdotes, the author contends that officers have an obligation to challenge illegal or ethically questionable orders, even at the risk of career repercussions. The piece criticizes a lack of Congressional oversight of military actions and the resulting lack of public accountability.

Read more
(warontherocks.com)
Misc military ethics moral autonomy

2025 AI Predictions: Cautious Optimism and Technological Bottlenecks

2025-01-02
2025 AI Predictions: Cautious Optimism and Technological Bottlenecks

AI expert Gary Marcus released 25 predictions for AI in 2025. He reviewed his 2024 predictions, noting most were accurate, such as the diminishing returns of large language models (LLMs), and persistent problems like AI hallucinations and reasoning flaws. Marcus is cautiously optimistic for 2025, predicting no artificial general intelligence, continued limited profits from AI models, lagging regulation, and persistent reliability issues. He suggests that neurosymbolic AI will become more prominent, but also warns of cybersecurity risks stemming from AI.

Read more
(garymarcus.substack.com)
AI AI predictions technological bottlenecks

SpaceX Aims for Starship's Orbital Return and Catch

2025-09-20
SpaceX Aims for Starship's Orbital Return and Catch

SpaceX plans to attempt a groundbreaking feat next year: landing a Starship rocket back at its Texas launchpad after returning from low-Earth orbit. This ambitious goal presents a significant geographical challenge, requiring precise navigation within a narrow corridor to avoid landmasses. Previous 10 test flights ended with ocean splashes. Following successful upcoming tests, SpaceX will aim to send the new Starship V3 (171ft tall) into orbit. Starship's design prioritizes full reusability—Super Heavy boosters are already recovered and reused, but upper stage recovery is slated for next year at the earliest. A successful orbital flight and return-to-launch-site landing, requiring flight over parts of Mexico and South Texas, will mark a major milestone in Starship's development.

Read more
(arstechnica.com)
Tech Reusable Rocket

Verizon CEO on 5G ROI, Network Building, and the Future

2025-04-21
Verizon CEO on 5G ROI, Network Building, and the Future

Verizon Consumer CEO Sowmyanarayan Sampath sits down with The Verge to discuss Verizon’s 5G investments, network operations, and future strategies. He details the actual return on investment from 5G, highlighting the importance of network capacity and 5G’s role in handling the explosion of mobile data. He also touches on Verizon’s attempts and lessons learned in content and application integration, and his views on net neutrality and government regulation. Sampath shares his unique decision-making framework and Verizon’s strategies for addressing market changes and customer needs, such as the three-year price lock plan. The conversation also covers the fiber network Fios’s construction plans, OpenRAN technology, and the outlook for future 5G applications.

Read more
(www.theverge.com)
Tech Network Infrastructure

Wasmer Edge: 6x Faster Python on WebAssembly at the Edge

2025-09-25
Wasmer Edge: 6x Faster Python on WebAssembly at the Edge

Wasmer Edge Beta now boasts full Python support, powered by WebAssembly and WASIX. This release is significantly faster than previous iterations, even surpassing the py2wasm project. Now you can run frameworks like FastAPI, Streamlit, Django, and LangChain directly on Wasmer and Wasmer Edge. This was achieved by adding dynamic linking, libffi support, improving sockets and threading, and releasing a custom Python Package Index with many popular native libraries. Compared to Cloudflare Workers and AWS Lambda, Wasmer Edge offers superior speed, compatibility, and affordability, making it ideal for AI workloads and APIs at the edge.

Read more
(wasmer.io)
Development

The Exploding Cost of Disability in America: A Hidden Welfare System?

2025-06-07
The Exploding Cost of Disability in America: A Hidden Welfare System?

Over the past three decades, the number of Americans receiving disability benefits has skyrocketed, a trend at odds with medical advancements and anti-discrimination laws. This article investigates the reasons behind this surge, starting with a case study in Hale County, Alabama, revealing the ambiguity in disability definitions and the role of doctors. The author argues that in some areas, disability assessments have become a de facto welfare program, particularly for unemployed individuals lacking education and job skills. The piece explores how factory closures have driven workers onto disability, and how a private company facilitates the transfer of welfare recipients into the disability system. Ultimately, the article points to a lack of a comprehensive plan to address the growing disabled population and the exorbitant costs involved, highlighting the disability system as an expensive default solution threatening the sustainability of social security.

Read more
(apps.npr.org)
Misc US social welfare disability benefits economic transition

Simplified Model Context Protocol (MCP) Server Setup: A Containerized Approach

2025-04-20
Simplified Model Context Protocol (MCP) Server Setup: A Containerized Approach

To simplify the often tedious setup of Model Context Protocol (MCP) servers, this project provides containerized versions. Built and managed using Nixpacks, new images are automatically built on changes to the source repositories, ensuring up-to-date containers. Currently supporting a wide range of MCP servers with functionalities including search, summarization, code execution, and database interaction, with more to come. Users can simply pull the Docker image to get started.

Read more
(github.com)
Development containerized

AI Reimagines a Classic: The Wizard of Oz Hits the Sphere

2025-04-12
AI Reimagines a Classic: The Wizard of Oz Hits the Sphere

Google DeepMind, Google Cloud, and other companies have used AI to bring the 1939 classic film, The Wizard of Oz, to the colossal Sphere screen in Las Vegas in an unprecedented way. Utilizing AI models like Imagen, Veo, and Gemini, the team transformed the original black-and-white film into ultra-high-definition imagery, expanding scenes and creating an immersive experience. The project respected the original work, adding no new dialogue or music. This achievement showcases the advancements in AI technology while offering a fresh interpretation of a cinematic classic.

Read more
(blog.google)
Tech

I Briefly Owned [email protected]

2025-05-08
I Briefly Owned steve@next.com

In 1991, a new employee at NeXT, on a whim, forwarded the email address [email protected] to his own inbox. This resulted in a flood of emails intended for Steve Jobs, from reporters, CEOs, and finance professionals. Panicked, he quickly reversed the forwarding and explained to Jobs. Surprisingly, Jobs replied, "Great idea, thank you." This story is full of drama and highlights Jobs' humor and tolerance.

Read more
(blog.hayman.net)
Misc

Old-School Clojure REPL Habits: A Grug's Approach

2025-04-09

A seasoned Clojure programmer shares his unique REPL workflow, eschewing cloud LLMs and external dependencies in favor of traditional tools and techniques. He emphasizes mastery of the Clojure standard library, leveraging the REPL for live code debugging and data inspection using tools like clojure.pprint and clojure.repl. He advocates for using tools like Clerk or org-mode to enhance the workflow and demonstrates how this dynamic approach can be applied to non-Clojure contexts. This article showcases a stark contrast to modern trends, offering a refreshing alternative perspective for developers.

Read more
(www.evalapply.org)
Development

Google Kills Off Android Instant Apps

2025-06-13
Google Kills Off Android Instant Apps

Google is sunsetting its Android Instant Apps feature in December 2025. This feature allowed users to try parts of an app without a full installation from the Play Store. Low developer adoption is the likely culprit, as creating the smaller, instant-enabled app versions required significant effort. While designed to improve user experience by offering faster app access and reduced storage needs, the high development overhead proved unsustainable.

Read more
(www.androidauthority.com)
Development Instant Apps

Over-engineered Tiny Book: AI, Plotter, 3D Printer, and Love

2025-02-14
Over-engineered Tiny Book: AI, Plotter, 3D Printer, and Love

This post details the author's journey creating a tiny handmade book for his wife, packed with memories and inside jokes. He leveraged AI (Midjourney) for illustrations, a pen plotter for printing, and a 3D printer for the binding. The process was fraught with challenges: controlling AI art styles, vectorizing images, choosing the right pen for the plotter, selecting suitable paper, and mastering bookbinding techniques. Despite setbacks and a tight timeline (due to secrecy!), the result was a deeply personal and cherished gift. The project showcases a creative blend of technology and craftsmanship.

Read more
(muffinman.io)
Misc handmade book

Instant SQL: Say Goodbye to Tedious Query Building

2025-04-24
Instant SQL: Say Goodbye to Tedious Query Building

MotherDuck introduces Instant SQL, a revolutionary approach to writing SQL. This new feature provides real-time result set updates as you type, dramatically speeding up query building and debugging. No more waiting for queries to run; Instant SQL offers zero-latency feedback. It tackles the age-old problem of slow and tedious SQL writing by enabling real-time result previews, CTE inspection and editing, and effortless breakdown of complex column expressions. It supports all data sources queryable by DuckDB and integrates seamlessly with AI-powered suggestions. This breakthrough leverages DuckDB's speed, AST parsing, precise cursor mapping, and intelligent caching.

Read more
(motherduck.com)
Development

Airbnb's Transformation: From Occasional Stays to a Super Platform

2025-05-14
Airbnb's Transformation: From Occasional Stays to a Super Platform

Airbnb is evolving from a platform for occasional travel accommodations to a more frequently used comprehensive platform. Its redesigned app features intuitive icons guiding users to three key sections: stays, services, and experiences. To enhance user trust, Airbnb rigorously vets new service providers (chefs, masseuses, etc.), conducting background checks and professional photography. Future plans include developing user profiles into primary internet IDs and enhancing messaging functions to create a community platform for travelers, while avoiding advertising. This transformation is driven by CEO Brian Chesky's admiration for Apple's design philosophy and his collaboration with former Apple designer Jony Ive.

Read more
(www.wired.com)
Startup Platform Transformation

Whoop 5.0 Upgrade U-Turn: Free or Fee?

2025-05-11
Whoop 5.0 Upgrade U-Turn: Free or Fee?

Fitness tracker maker Whoop faced a backlash over its Whoop 5.0 upgrade policy. Initially, Whoop announced users would need to pay extra or extend subscriptions to upgrade, contradicting its previous promise of free upgrades. This sparked outrage. Facing criticism, Whoop quickly revised its policy, offering free upgrades to users with over 12 months remaining on their subscription and allowing shorter-term subscribers to extend for a free upgrade. While Whoop claimed this was a response to user feedback, some users questioned the veracity of its prior free upgrade claims. The incident highlights the importance of product upgrade strategies and user communication.

Read more
(techcrunch.com)
Tech Upgrade Policy

Copyright Showdown: Big Tech's AI Training Data Faces Legal Scrutiny

2025-05-12
Copyright Showdown: Big Tech's AI Training Data Faces Legal Scrutiny

Big Tech companies are facing a copyright battle over their use of others' content to train AI models. A new report from the US Copyright Office suggests that using copyrighted material for AI training may constitute infringement. The report distinguishes between AI models used for research and commercial purposes, stating that commercial AI models using vast amounts of copyrighted works for training, especially without authorization, may exceed fair use boundaries. The firing of the Copyright Office director shortly after the report's release has fueled speculation of a connection, highlighting the intensifying conflict between tech giants and the government.

Read more
(www.yahoo.com)
Tech

Mathesar: Open-Source Spreadsheet-like Interface for Postgres

2025-01-30
Mathesar: Open-Source Spreadsheet-like Interface for Postgres

Mathesar is an open-source application providing an intuitive, spreadsheet-like interface for viewing, editing, and querying Postgres data. Users of all technical skill levels can collaborate directly on their data. It's 100% open source, self-hosted, and leverages native Postgres access control for security. Mathesar boasts easy installation (via Docker), scalability to handle any data size, and seamless integration with existing infrastructure. Its user-friendly interface simplifies database interactions, while robust security features ensure data protection.

Read more
(github.com)
Development Database Management

Interactive Math Proof Assistant Built with Python and SymPy

2025-05-13
Interactive Math Proof Assistant Built with Python and SymPy

A developer has built an interactive mathematical proof assistant using Python and the SymPy library. It semi-automatically proves asymptotic estimates involving scalar functions. Mimicking the Lean proof assistant, the tool supports linear and log-linear arithmetic, allowing users to guide the proof process by supplying high-level tactics. Currently running in Python's interactive mode, a graphical user interface is planned for the future. The developer intends to extend the tool to handle a broader range of mathematical tasks, such as estimating function space norms.

Read more
(terrytao.wordpress.com)
Development math proof SymPy

Emulating iOS on QEMU: A Challenging Journey

2025-04-05
Emulating iOS on QEMU: A Challenging Journey

This article details a team's journey in emulating iOS on QEMU. Starting with existing open-source projects, they leveraged checkra1n and PongoOS to bypass iOS security mechanisms. They overcame numerous challenges including software rendering, IOMFB display issues, address randomization, and Pointer Authentication (PAC). The team developed tools to generate and apply Mach-O patches and injected shellcode to simulate USB pairing. Ultimately, they successfully displayed the iOS boot screen and unlock interface on QEMU, showcasing a remarkable achievement.

Read more
(eshard.com)
Development iOS emulator

Spotlight on Europe: A Curated List of Privacy-Focused and Sustainable Tech Projects

2025-02-08
Spotlight on Europe: A Curated List of Privacy-Focused and Sustainable Tech Projects

This community-curated list showcases European tech projects prioritizing privacy and sustainability, aiming to bolster the European tech ecosystem. These projects adhere to stringent data privacy regulations like GDPR and emphasize eco-friendly practices, including renewable energy and carbon emission reduction. The list spans AI, cloud computing, data storage, and software development, categorized by country, offering a glimpse into European tech innovation and practices.

Read more
(github.com)
Tech European Tech

A 1991 GPLv2 License Request: A Nostalgic Tale of Mail and Paper Copies

2025-04-24
A 1991 GPLv2 License Request: A Nostalgic Tale of Mail and Paper Copies

While working with open-source software, the author noticed a physical address instead of a URL in the GPLv2 license notice, sparking curiosity. This led to reflections on software distribution in the pre-internet era of 1991 and how people obtained the full GPL license text via mail. The author decided to try it themselves, writing to the address to request the GPLv2 license. They received a reply, but it contained the GPLv3 version instead. This experience is filled with nostalgia and highlights the differences in information access across different eras.

Read more
(code.mendhak.com)
Development

Shallow Understanding of Tech: Good Enough is Good Enough

2025-05-27

The author argues that a shallow understanding of the technologies engineers use is sufficient. Deep dives into database indexes, large language models, etc., enable better decision-making; for example, choosing appropriate models for JSON output and avoiding errors caused by limitations in smaller models. Instead of going deep in one area, the author advocates for broad knowledge across many areas to better adapt to new trends. Learning new technologies should focus on understanding fundamental principles and explaining them simply to others, while using LLMs for fact-checking to ensure accuracy.

Read more
(www.seangoedecke.com)
Development

Google Layoffs: A Chrome Engineer's Bitter Farewell

2025-04-14
Google Layoffs: A Chrome Engineer's Bitter Farewell

A Google Chrome engineer was unexpectedly laid off after a team-building event, leaving him shocked, angry, and heartbroken. He believes the layoff was unrelated to his performance and expresses outrage at the company's unfair treatment. He lost projects, collaborations, speaking engagements, and expresses concern for his future career.

Read more
(nerdy.dev)
Tech Google layoffs

Mitsubishi Launches Innovative Battery Swap Network for EVs and Trucks in Japan

2025-06-16
Mitsubishi Launches Innovative Battery Swap Network for EVs and Trucks in Japan

Mitsubishi, partnering with Ample and Yamato Transport, is deploying a revolutionary battery swap network in Japan for electric cars and Fuso commercial trucks. This multi-year pilot program will feature over 150 swappable electric vehicles and 14 battery swapping stations in Tokyo, showcasing a "five-minute charging" solution. The initiative aims to overcome the downtime associated with traditional EV charging, boosting vehicle uptime and providing a potential emergency energy source for the grid. Backed by the Tokyo Metropolitan Government, the project utilizes Yamato Transport for real-world delivery operations, demonstrating the practicality of this technology for commercial fleets.

Read more
(electrek.co)
Tech Battery Swapping Commercial Trucks

Sequor: SQL-centric Workflow Platform for Reliable API Integrations

2025-05-30
Sequor: SQL-centric Workflow Platform for Reliable API Integrations

Sequor is an open-source, SQL-centric workflow platform designed to build reliable API integrations within modern data stacks. It offers a powerful alternative to black-box SaaS connectors, giving data teams complete control over their integration pipelines. By fusing API execution with your database, Sequor enables bidirectional data flow, leveraging SQL for transformations, analytics, and business logic. This unified approach eliminates the traditional boundaries between iPaaS and ETL processes. A code-first approach (YAML for flows, Jinja/Python for parameters, SQL for logic) allows for version control, collaboration, CI/CD, and local development. Sequor empowers you to own, control, and scale your integrations transparently, using familiar open technologies and avoiding SaaS lock-in.

Read more
(github.com)
Development Data Stack
1 2 … 41 42 43 45 47 48 49 … 596 597