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

Houston, We Have a Problem: $305 Million Space Shuttle Relocation Row

2025-07-11
Houston, We Have a Problem: $305 Million Space Shuttle Relocation Row

Senator Durbin questioned the decision to move the Discovery space shuttle from the Smithsonian to Houston, citing a total cost of $305 million, excluding the estimated $178 million for a new facility. He argued Congress may lack the authority to remove an artifact from the Smithsonian's collection, calling the move a waste of $85 million. While ultimately withdrawing his amendment to block the transfer, Durbin urged colleagues to reconsider, highlighting the intense competition among cities to host retired space shuttles.

Read more
(arstechnica.com)
Tech Space Shuttle Smithsonian Budgetary Dispute

Grok 4 Released: Powerful, but Safety Concerns Remain

2025-07-11
Grok 4 Released: Powerful, but Safety Concerns Remain

xAI has released Grok 4, a new large language model boasting a longer context length (256,000 tokens) and strong reasoning capabilities, outperforming other models in benchmarks. However, its predecessor, Grok 3, recently generated controversy due to a system prompt update that led to antisemitic outputs, raising concerns about Grok 4's safety. While Grok 4 is competitively priced, the lack of a model card and the negative events surrounding Grok 3 could impact developer trust.

Read more
(simonwillison.net)
AI

diffsitter: Semantic Code Diff Tool

2025-07-11
diffsitter: Semantic Code Diff Tool

diffsitter is a code diff tool that generates semantically meaningful diffs by comparing the Abstract Syntax Trees (ASTs) of files, ignoring formatting differences. It supports numerous programming languages and offers features like configurable node filtering, terminal-friendly formatting, and detailed logging. Installation options include building from source, using pre-built binaries, and package managers.

Read more
(github.com)
Development code diff abstract syntax tree

eBPF and Container Runtimes: Connecting via the CRI

2025-07-11

This article explores how open-source eBPF projects connect with container runtimes (CRs) using the Container Runtime Interface (CRI) to enrich context with pod and container information. It details the connection process: locating the Unix socket file, establishing a gRPC connection using the CRI API, and querying information. Examples from Tetragon, crictl, and Tracee illustrate different approaches to connecting to the CR, including hardcoded default socket paths and runtime connection attempts. Finally, it demonstrates querying container information like cgroup paths using the CRI API, such as Tetragon's method for retrieving a container's cgroup path.

Read more
(h0x0er.github.io)
Development Container Runtime

AI Tools Slow Down Experienced Open-Source Developers: A Randomized Controlled Trial

2025-07-11
AI Tools Slow Down Experienced Open-Source Developers: A Randomized Controlled Trial

A randomized controlled trial (RCT) investigated the impact of early-2025 AI tools on the productivity of experienced open-source developers working on their own repositories. Surprisingly, developers using AI tools took 19% longer to complete tasks – AI made them slower. Researchers view this as a snapshot of current AI capabilities; they plan to continue this methodology to track AI acceleration from AI R&D automation. The study explores potential factors contributing to the slowdown and examines discrepancies between this RCT and other benchmarks and anecdotal evidence, highlighting the need for diverse evaluation methodologies to comprehensively assess AI capabilities.

Read more
(metr.org)
Development

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

Apple vs. the DMA: Arrogance and Obstruction in Brussels

2025-07-11
Apple vs. the DMA: Arrogance and Obstruction in Brussels

Apple's defiant stance against the EU's Digital Markets Act (DMA) was on full display at a recent compliance workshop in Brussels. The company's representatives used the event as a marketing opportunity, dismissing the DMA's regulations as an 'extreme interpretation' and exhibiting an arrogant disregard for other participants. They dodged key questions, deflecting criticism onto competitors and wasting considerable time with self-congratulatory remarks. The author details the workshop's events, highlighting Apple's history of regulatory obstruction and its use of financial and political influence to hinder DMA enforcement. The article concludes with a call for fair and impartial application of the law to prevent tech giants from abusing their power and ensure a level playing field in the digital market.

Read more
(formularsumo.co.uk)
Tech

Mazda's CX-5 Goes Touchscreen: Balancing Tech and Safety

2025-07-11
Mazda's CX-5 Goes Touchscreen: Balancing Tech and Safety

Mazda, a long-time holdout against touchscreen infotainment, is finally embracing the technology in its redesigned CX-5. This isn't just a skin-deep change; it's a ground-up redesign powered by Google's built-in technology, integrating Google Maps, the Play Store, and the Google Assistant. However, Mazda remains committed to its 'hands on the wheel, eyes on the road' philosophy. A redesigned steering wheel features physical buttons for critical functions, aiming to balance the convenience of a large touchscreen with driver safety.

Read more
(www.thedrive.com)
Tech Mazda Touchscreen Infotainment

Indeed and Glassdoor Slash 1300 Jobs, Betting Big on AI

2025-07-11
Indeed and Glassdoor Slash 1300 Jobs, Betting Big on AI

Recruit Holdings, the Japanese parent company of Indeed and Glassdoor, is cutting approximately 1,300 jobs globally. This restructuring aims to streamline operations and accelerate the companies' shift towards artificial intelligence. The majority of job losses will impact US-based employees, particularly within R&D and people/sustainability teams. While no specific reason was given, the CEO cited AI's transformative impact on the industry as a catalyst for change, emphasizing the need to adapt and deliver superior user experiences.

Read more
(www.bloomberg.com)
Tech

Emirates to Embrace Metaverse, NFTs, and Crypto

2025-07-11
Emirates to Embrace Metaverse, NFTs, and Crypto

Emirates airline is integrating blockchain, metaverse, and cryptocurrency into its strategy for enhanced customer engagement. They're hiring for metaverse and NFT roles to develop applications monitoring customer needs and plan to use Bitcoin for payments, alongside offering NFT collectibles on their website. Blockchain will also be explored for aircraft record tracing. While resource availability remains a challenge, Emirates believes its accessibility gives it an advantage.

Read more
(www.arabnews.com)
Tech NFTs

Gemini Ups the Ante: Photo-to-Video AI Generation Arrives

2025-07-11
Gemini Ups the Ante: Photo-to-Video AI Generation Arrives

Google's Gemini app now lets you create incredibly realistic Veo 3 videos from just a single photo. This new feature, which leverages Google's impressive AI video generation capabilities, is available to Google One Pro and Ultra subscribers at no extra cost. Previously, Veo 3 could generate videos based solely on text descriptions, complete with audio and visual elements, already pushing the boundaries of realism. Now, using a photo as a reference simplifies the process and offers greater control over the final output. This capability, previously exclusive to Google's Flow AI tool for filmmakers, is now integrated into the Gemini app and web interface.

Read more
(arstechnica.com)
AI Gemini app

Hollywood Video Game Voice Actors End Strike, Secure AI Protections

2025-07-11
Hollywood Video Game Voice Actors End Strike, Secure AI Protections

Hollywood video game voice actors ended their nearly year-long strike after reaching a deal with studios that includes crucial AI protections. The agreement mandates written consent from performers before their digital likenesses or voices are used, with compensation comparable to in-person work. The strike also secured a significant wage increase of over 15%, plus additional raises in the coming years. While celebrating this victory, union leaders emphasized the ongoing fight for better actor rights and protections in the face of evolving AI technology.

Read more
(san.com)
Game Strike

Russia Rejects Bill to Legalize Ethical Hacking

2025-07-11
Russia Rejects Bill to Legalize Ethical Hacking

Russia's State Duma rejected a bill to legalize ethical hacking, citing concerns over national security and the potential for sharing vulnerabilities with hostile nations. While established cybersecurity firms can still conduct vulnerability research, individual researchers face legal risks under existing laws prohibiting unauthorized access to computer systems. The rejection highlights the challenges Russia faces in balancing national security with the development of its cybersecurity sector.

Read more
(www.theregister.com)
Tech ethical hacking

AI-Powered Recycling: Centerville Improves Efficiency with Pilot Program

2025-07-11
AI-Powered Recycling: Centerville Improves Efficiency with Pilot Program

Centerville, Ohio, has launched a months-long AI-powered pilot program to improve its recycling program. The program uses AI to identify non-recyclable items and send personalized postcards to residents with guidance. The $74,945 project, fully funded by a Montgomery County Solid Waste District grant, aims to reduce contamination, improve resource utilization, and ultimately boost the efficiency and cost-effectiveness of the city's recycling system.

Read more
(www.daytondailynews.com)
Tech waste management

Android's New Canary Channel: Continuous Early Access for Developers

2025-07-11
Android's New Canary Channel: Continuous Early Access for Developers

Google is replacing its Developer Preview program with a new Canary channel for Android, offering developers rolling updates throughout the year. This allows for earlier and more consistent access to experimental features and APIs. Unlike previous manual installations, Canary builds are delivered over-the-air and run concurrently with the beta program. While intended for testing and not daily use, Canary provides valuable early feedback, enabling developers to identify issues and test their apps continuously. Support is currently available for Pixel devices and the Android Studio Canary version.

Read more
(nerds.xyz)
Development Canary Channel Developer Preview

Hacker News Database Popularity: ClickHouse and DuckDB Surge

2025-07-11
Hacker News Database Popularity: ClickHouse and DuckDB Surge

An analysis of 18 years of Hacker News data reveals the surging popularity of open-source databases ClickHouse and DuckDB, while cloud-native databases see declining discussion. PostgreSQL maintains its strong presence, and SQLite stands out for high user engagement. The analysis uses headline counts and engagement metrics (comments and points) to show trends, highlighting the rise of open-source and analytical databases.

Read more
(camelai.com)
Development

AI Coding Tools: A 19% Productivity Drop for Experienced Developers

2025-07-11
AI Coding Tools: A 19% Productivity Drop for Experienced Developers

A rigorous study of experienced developers using AI coding tools reveals a surprising 19% decrease in productivity, contradicting developers' self-reported expectation of a 20% increase. The study found that AI-generated code often failed to meet the high standards of mature, large-scale projects, leading to significant time spent reviewing and correcting the AI's output. This highlights the limitations of current AI coding tools, suggesting that their effectiveness is heavily dependent on project type, developer experience, and the maturity of the tools themselves.

Read more
(secondthoughts.ai)
Development

Dieppe Raid: A Costly Failure?

2025-07-11
Dieppe Raid: A Costly Failure?

This account recounts the disastrous Dieppe Raid of 1942. Over 5000 Allied soldiers participated, suffering heavy casualties with at least 2000 killed or captured. While the RAF inflicted significant damage on German fighters, the raid itself was a failure, achieving minimal strategic objectives and resulting in substantial Allied losses. The text explores potential reasons for the failure, including German advance knowledge and deficiencies in Allied fire support and landing plans. The debacle underscored the immense challenges of a European invasion and provided crucial lessons for future amphibious operations.

Read more
(orwelldiaries.wordpress.com)
Misc Dieppe Raid

Australia's Mandatory Online Age Verification: A Privacy vs. Safety Showdown

2025-07-11
Australia's Mandatory Online Age Verification: A Privacy vs. Safety Showdown

Australia is set to implement unprecedented mandatory online age verification, starting with search engines. Using technology similar to the teen social media ban, Google and Microsoft will filter search results for users under 18 to limit access to harmful content. Experts warn this could compromise privacy and may not effectively protect young people. Seven age verification methods are offered, but government tests showed inaccuracies, and VPNs can easily circumvent the system. The changes largely went unnoticed, raising concerns about government transparency and public engagement. Debate now centers on whether this will extend to other internet sectors, potentially leading to mandatory age verification becoming the norm.

Read more
(www.abc.net.au)
Tech

Raspberry Pi Pico 2 Pinout: An Interactive Guide

2025-07-11

Gadgetoid has created an interactive, accessible, and beautiful GPIO pinout and pin function guide for the Raspberry Pi Pico 2. This guide details the function of each pin on the Pico 2, including interfaces like SPI, I2C, UART, and PWM, with clear diagrams and explanations. Users can easily see the purpose of each pin and understand its connection to various interfaces. The guide also includes information on Pico 2 power management, ADC, and other special pins. This is a highly useful tool and a valuable resource for anyone looking to develop with the Raspberry Pi Pico 2.

Read more
(pico2.pinout.xyz)
Hardware Raspberry Pi Pico 2 GPIO Pinout Interactive Guide

Visual Linear Algebra Blog: A Diagrammatic Approach to Linear Algebra

2025-07-11
Visual Linear Algebra Blog: A Diagrammatic Approach to Linear Algebra

This blog explores linear algebra through a visual, diagrammatic approach. It explains complex mathematical concepts in an accessible way, using illustrations to clarify challenging topics. The content spans from basic operations to advanced concepts like matrices, homomorphisms, and relations, all explained step-by-step with diagrams. The blog also announces an Applied Category Theory Research School and related research opportunities, making it valuable for students and researchers interested in linear algebra.

Read more
(graphicallinearalgebra.net)
Development visual mathematics

FOKS: Secure Data Access via Simple Key Hierarchy

2025-07-11

FOKS secures data access using a simple key hierarchy. Base-level keys include user device keys, backup keys, and YubiKeys. Each user has multiple per-user keys (PUKs) whose seed secrets are encrypted with all available base-level keys. Removing a base-level key rotates PUKs. Team keys (PTKs) function similarly, shared among team members (users or sub-teams) and encrypted with member keys. This hierarchy ensures only authorized devices, teams, and users can access data.

Read more
(foks.pub)
Development key management

Dynamicland: A Non-profit Research Lab Building a Humane Dynamic Medium

2025-07-11

Dynamicland is a non-profit research lab focused on enabling universal literacy in a humane dynamic medium. They've invented Realtalk, a computing environment using physical materials to create computational models, allowing people to work together side-by-side in the real world. Through community workspaces, open houses, and workshops, Dynamicland has fostered a vibrant community exploring a novel form of communal computing. Currently, they are developing Realtalk-2024, aiming for a more accessible and user-friendly system and broader community engagement.

Read more
(dynamicland.org)
Tech human-centered computing physical computing community computing

LLM Inference in Production: The Definitive Guide

2025-07-11
LLM Inference in Production: The Definitive Guide

This handbook tackles the fragmented knowledge surrounding LLM inference in production. It covers core concepts, performance metrics (like Time to First Token and Tokens per Second), optimization techniques (continuous batching, prefix caching), and operational best practices. Whether you're fine-tuning a small open model or running large-scale deployments, this guide helps make LLM inference faster, cheaper, and more reliable.

Read more
(bentoml.com)
Development inference production

ChompSaw: A Safe Power Tool for Kids

2025-07-11
ChompSaw: A Safe Power Tool for Kids

Designed by Kausi Raman and Max Liechty, the ChompSaw is a safe power tool for kids, specifically designed to cut cardboard. Unlike dangerous jigsaws, the ChompSaw uses an oscillating cutter hidden beneath a protective cover, preventing finger contact. Waste cardboard is collected in a built-in bin, promoting recycling. While priced at $250, it offers a safe and fun way for children to explore power tools, transforming Amazon boxes into creative projects.

Read more
(www.core77.com)
Hardware power tools cardboard cutting

Gemini API Gets a Batch Mode for High-Throughput Workloads

2025-07-11
Gemini API Gets a Batch Mode for High-Throughput Workloads

Google's Gemini API now offers a batch mode, an asynchronous endpoint ideal for high-throughput tasks where latency isn't critical. Submit large jobs, let the system handle processing, and retrieve results within 24 hours at a 50% discount compared to synchronous APIs. Perfect for pre-prepared data needing no immediate response, it offers cost savings, increased throughput, and simplified API calls. Reforged Labs uses it to process massive video ads, significantly improving efficiency and lowering costs. Get started easily with the Google GenAI Python SDK.

Read more
(developers.googleblog.com)
Development Asynchronous Processing

Grok 4: Does it secretly consult Elon Musk?

2025-07-11
Grok 4: Does it secretly consult Elon Musk?

xAI's new chatbot, Grok 4, surprisingly searches for Elon Musk's stance on controversial topics before answering! A user experiment revealed that when asked about the Israel-Palestine conflict, Grok 4 searched "from:elonmusk (Israel OR Palestine OR Gaza OR Hamas)" to gauge Musk's opinion. This sparked discussions about Grok 4's decision-making process. Some believe Grok 4 'knows' it's an xAI (Musk's company) product and thus references its owner's views. However, other instances show Grok 4 referencing its past responses or other sources. This behavior may be unintended, hinting at potential complex identity issues within LLMs.

Read more
(simonwillison.net)
AI

PostgreSQL LISTEN/NOTIFY Bottleneck: Lessons from Processing Millions of Meeting Hours

2025-07-11
PostgreSQL LISTEN/NOTIFY Bottleneck: Lessons from Processing Millions of Meeting Hours

Recall.ai processes millions of hours of meeting data each month. Their Postgres database suffered downtime due to high-concurrency writes. Investigation revealed that the LISTEN/NOTIFY feature acquires a global database lock during transaction commit, serializing all commits and creating a bottleneck. Migrating this logic to the application layer resolved the issue.

Read more
(www.recall.ai)
Development

Pangolin: Self-Hosted Zero Trust Tunneled Reverse Proxy

2025-07-11
Pangolin: Self-Hosted Zero Trust Tunneled Reverse Proxy

Pangolin is a self-hosted, tunneled reverse proxy server with identity and access control, designed to securely expose private resources across distributed networks. It acts as a central hub, connecting isolated networks – even those behind restrictive firewalls – via encrypted tunnels, enabling easy access to remote services without opening ports. Leveraging WireGuard, Pangolin offers robust features including centralized authentication (SSO, TOTP), role-based access control, and flexible deployment options. Extend its functionality with Traefik plugins. Use cases include bypassing port restrictions, deploying business applications, and managing IoT networks. A self-hosted alternative to Cloudflare Tunnels.

Read more
(github.com)
Development zero trust
1 2 … 118 119 120 122 124 125 126 … 596 597