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

ASCII Lookup Utility in Ada: A Comprehensive Walkthrough

2025-04-15

This article details the creation of a command-line ASCII lookup utility written in Ada. The utility prints the full ASCII table or, given a hexadecimal, binary, octal, or decimal input, provides the code and name of the corresponding ASCII character. The author meticulously guides the reader through the development process, covering environment setup, code implementation, and error handling. A GitHub link to the complete source code is provided. This article is suitable for readers with some programming experience and offers valuable insights into Ada programming and command-line tool development.

Read more
(coniferproductions.com)
Development

AMD RDNA 4: Out-of-Order Memory Accesses and the Elimination of False Dependencies

2025-03-23
AMD RDNA 4: Out-of-Order Memory Accesses and the Elimination of False Dependencies

AMD's RDNA 4 architecture introduces significant memory subsystem enhancements, notably addressing false dependencies between wavefronts present in RDNA 3 and earlier architectures. Previously, one wavefront could be stalled by another's memory accesses, impacting performance. RDNA 4 resolves this by implementing new out-of-order queues, allowing requests from different shaders to be serviced out of order. This article details testing that verifies this improvement and compares AMD, Intel, and Nvidia GPU architectures in handling cross-wave memory dependencies. While not entirely novel, RDNA 4's improvements significantly enhance performance, particularly in emerging workloads like ray tracing.

Read more
(chipsandcheese.com)
Hardware GPU architecture memory subsystem

Small but Mighty: Exploring the Beauty of Concise Programming Languages

2025-06-06

This article explores the trade-off between the size and expressiveness of programming languages. The author argues that smaller languages like assembly are limited in expressiveness, while languages like Forth, Lisp, and Tcl achieve powerful expressiveness with concise syntax. Lua is highlighted as a small and easy-to-learn language due to its tiny core (just 27 pages!). The impact of standard libraries on perceived language size is discussed, with Ramda's extensive functionality used as an example of increased learning curve. Ultimately, the author champions the elegance and joy of small languages, suggesting that simplicity can sometimes trump expressiveness.

Read more
(ratfactor.com)
Development conciseness

Bluesky Blocks Mississippi Users Over Age-Verification Law

2025-08-23
Bluesky Blocks Mississippi Users Over Age-Verification Law

Bluesky, a social networking startup, has opted to block access from Mississippi users rather than comply with a new state law mandating age verification for all users. Citing resource constraints and concerns about the law's broad scope and privacy implications, Bluesky argues the required technical changes are too extensive for its small team. The company highlights the law's potential to stifle innovation and disproportionately harm smaller platforms. This decision affects only the Bluesky app built on the AT Protocol; other apps may choose a different course of action.

Read more
(techcrunch.com)
Tech

Saving Bluesky's Protocol: Preventing the Next Tech Oligarchy

2025-01-19
Saving Bluesky's Protocol: Preventing the Next Tech Oligarchy

The experiences of Facebook and Twitter demonstrate the vulnerability of centralized social media platforms to the whims of capricious billionaires. This article calls for protecting Bluesky, built on the open AT Protocol, from a similar fate. Bluesky's decentralized architecture allows for user-defined content moderation and independent platform building, avoiding single points of control. However, the article points out Bluesky's current reliance on venture capital and advocates for creating a non-profit foundation to govern the AT Protocol, building redundant servers to ensure user data portability and platform independence, thus creating a user-driven social media ecosystem akin to Wikipedia.

Read more
(www.technologyreview.com)
Tech decentralized social media

LangGraph: Building a Flexible, Opinionated AI Coding Assistant

2025-03-24
LangGraph: Building a Flexible, Opinionated AI Coding Assistant

Qodo built an AI coding assistant using the LangGraph framework, balancing flexibility with adherence to coding best practices. Initially, they used predefined workflows for coding tasks, but with the advent of more powerful LLMs like Claude Sonnet 3.5, they shifted to LangGraph's graph-based approach. LangGraph allows building agents ranging from completely open-ended to fully structured deterministic flows, enabling Qodo to adjust the structure of their flows based on LLM capabilities. The framework's clean API, reusable components, and built-in state management simplified development and support persistence, checkpoints, and branch points. While documentation and testing present some challenges, LangGraph provided a solid foundation for Qodo to build a robust AI coding assistant.

Read more
(www.qodo.ai)
Development

CES 2025: The Worst Tech of the Year

2025-01-11
CES 2025: The Worst Tech of the Year

At CES 2025, the "Worst in Show" awards highlighted the most troubling trends in tech, focusing on privacy violations, security flaws, poor repairability, and unsustainable practices. Judges evaluated products based on severity of issues, innovative badness, global impact, comparison to previous iterations, and the balance between positives and negatives. The awards served as a wake-up call, showcasing the concerning direction of certain technological advancements.

Read more
(www.worstinshowces.com)
Tech

Trump Admin Seeks to Destroy Vital NASA Climate Satellites

2025-08-06
Trump Admin Seeks to Destroy Vital NASA Climate Satellites

The Trump administration reportedly asked NASA to develop plans to end at least two major satellite missions, one of which involves intentionally deorbiting a satellite to burn up in the atmosphere. These missions, the Orbiting Carbon Observatories (OCO), collect data widely used by scientists, energy companies, and farmers to monitor atmospheric carbon dioxide and plant growth. They are uniquely designed to monitor planet-warming greenhouse gases. Despite internal NASA assessments highlighting the high quality of the data and recommending continued operation, termination plans are reportedly advancing. This move has sparked strong opposition from the scientific community and Congress, who argue it would cause significant scientific loss and threaten national security and food security.

Read more
(www.npr.org)
Tech

China's 'Thousand Sails' Megaconstellation Faces Major Delays

2025-07-27
China's 'Thousand Sails' Megaconstellation Faces Major Delays

China's ambitious 'Thousand Sails' (G60 Starlink) constellation, aiming for over 15,000 satellites by 2030 to provide global internet access, is facing significant delays. Only 90 satellites have been launched, far short of the 648 target for the end of 2025. The shortfall stems from a severe rocket shortage, hindering the project's ability to compete with SpaceX's Starlink. To meet its goals, the project needs to launch over 30 satellites per month, a pace currently unattainable.

Read more
(www.scmp.com)
Tech satellite constellation space launch

Agentic AI: Convenience at the Cost of Privacy?

2025-03-08
Agentic AI: Convenience at the Cost of Privacy?

Signal President Meredith Whittaker warned at SXSW that the burgeoning field of agentic AI, while offering convenience, poses significant privacy risks. AI agents, designed to handle tasks like booking tickets and sending messages, require access to a user's browser, credit card information, calendar, and messaging apps—essentially granting them root-level permissions. This exposes user data to cloud servers, blurring the lines between application and OS layers. Whittaker argued this "putting your brain in a jar" approach undermines security and privacy, even threatening privacy-focused apps like Signal. She urged the industry to address the potential dangers of agentic AI, cautioning against sacrificing privacy for convenience.

Read more
(techcrunch.com)
Tech agentic AI

Microsoft Edge Launches Copilot Mode: AI-Powered Browsing Reimagined

2025-07-29
Microsoft Edge Launches Copilot Mode: AI-Powered Browsing Reimagined

Microsoft has released Copilot Mode for its Edge browser, an experimental feature leveraging AI to redefine web browsing. Copilot Mode integrates search, chat, and navigation into a single input box, understanding user intent for faster browsing. It analyzes context across open tabs, aiding in comparison, decision-making, and task completion. Copilot supports voice navigation and advanced actions (with user permission) accessing browser history and credentials for enhanced efficiency. Future improvements and features are planned, with the option to disable Copilot Mode in settings.

Read more
(blogs.windows.com)
Tech

Unlocking the Cosmos: Mastering Astrophotography Post-Processing

2025-06-06
Unlocking the Cosmos: Mastering Astrophotography Post-Processing

Astrophotography editing is crucial for transforming raw data into stunning images. Raw images are often dark and require techniques like histogram stretching, curves adjustments, color balancing, and noise reduction to reveal hidden details and remove light pollution. The article explores both basic and advanced editing methods, including software recommendations (Siril, Photoshop), and advanced techniques such as HDR compositing and star removal, to guide astrophotographers in creating breathtaking celestial masterpieces.

Read more
(astroimagery.com)
Tech

Sandia National Labs Deploys GPU-less, Storage-less Brain-Inspired Supercomputer

2025-06-06
Sandia National Labs Deploys GPU-less, Storage-less Brain-Inspired Supercomputer

Sandia National Labs has deployed SpiNNaker 2, a brain-inspired supercomputer that forgoes GPUs and internal storage. Supplied by SpiNNcloud, this top-five brain-inspired platform simulates 150-180 million neurons, achieving high speed through high-speed inter-chip communication and massive memory. Its energy-efficient architecture excels at complex event-driven computing and simulations, making it ideal for demanding national security applications like modeling nuclear deterrence missions. The system's architecture, initially developed by Arm pioneer Steve Furber, leverages 48 SpiNNaker 2 chips per server board, each with 152 cores and specialized accelerators.

Read more
(blocksandfiles.com)
Tech Brain-inspired computing Neuromorphic

Kodak on the Brink: A Century-Old Giant Faces Potential Collapse

2025-08-14
Kodak on the Brink: A Century-Old Giant Faces Potential Collapse

Eastman Kodak, the company that revolutionized amateur photography, is teetering on the brink of collapse after more than 130 years. Facing over $470 million in debt and dwindling revenue, the company has expressed substantial doubt about its ability to continue operations. Despite attempts to diversify into specialty chemicals and pharmaceuticals following its 2012 bankruptcy, Kodak is struggling to stay afloat. The company is cutting costs, including its pension plan, in a desperate attempt to meet its debt obligations by August 15th. Kodak's precarious situation serves as a cautionary tale about the challenges of adapting to technological change.

Read more
(www.usatoday.com)
Tech

GhidrAssistMCP: AI-Powered Reverse Engineering for Ghidra

2025-07-13
GhidrAssistMCP: AI-Powered Reverse Engineering for Ghidra

GhidrAssistMCP is a powerful Ghidra extension providing an MCP (Model Context Protocol) server, enabling AI assistants and other tools to interact with Ghidra's reverse engineering capabilities via a standardized API. It boasts 31 built-in tools covering functions, data, cross-references, and more, along with a configurable UI, real-time logging, and dynamic tool management. This extension seamlessly integrates AI-powered analysis tools and custom scripts, boosting reverse engineering efficiency significantly.

Read more
(github.com)
Development

Apple's Password Monitoring Service: A 40% Performance Boost with Swift

2025-06-03
Apple's Password Monitoring Service: A 40% Performance Boost with Swift

Apple's migration of its Password Monitoring service from Java to Swift resulted in a significant performance improvement. The new Swift-based service handles billions of daily requests, boasting a 40% performance increase and improvements in scalability, security, and availability. Driven by Java's limitations in memory management, the switch to Swift leveraged its concise syntax, protocols and generics, robust safety features (like optionals and safe unwrapping), and async/await capabilities for cleaner, safer, and more maintainable code. The result? A dramatic reduction in memory footprint and a freeing up of 50% of Kubernetes cluster capacity.

Read more
(www.swift.org)
Development

Beyond the '10x Engineer' Myth: Building Great Teams, Not Superstars

2025-06-19
Beyond the '10x Engineer' Myth: Building Great Teams, Not Superstars

This article debunks the '10x engineer' myth, arguing that single metrics for measuring engineer productivity are unreliable and that teams, not individuals, are key to software delivery. The author advocates for building systems that empower average engineers to achieve peak performance. This involves shortening release cycles, simplifying rollback processes, emphasizing observability, investing in internal tooling, and fostering an inclusive team culture. The ultimate goal is to boost overall team efficiency rather than relying on individual heroes, thus enabling sustainable business growth.

Read more
(charity.wtf)
Development

Hidden Killers in Your AI Cloud Bill: 5 Reasons Why Costs Spiral

2025-05-30
Hidden Killers in Your AI Cloud Bill: 5 Reasons Why Costs Spiral

AI workloads are different from typical enterprise apps, leading to unexpectedly high cloud storage costs due to massive data processing and frequent operations. This article unveils five culprits: 1. Excessive API calls; 2. A multitude of small files; 3. Cold storage's incompatibility with iterative AI workflows; 4. Data egress fees; and 5. Poorly configured data lifecycle rules. These hidden costs often go unnoticed, resulting in exploding bills. The article urges developers to optimize data storage and transfer, choosing storage strategies better suited for AI workloads to effectively manage costs.

Read more
(www.backblaze.com)
AI AI cost

SpaceX Engineers Join FAA, Raising Safety Concerns

2025-02-21
SpaceX Engineers Join FAA, Raising Safety Concerns

WIRED reports that several SpaceX engineers have been appointed as senior advisors to the acting FAA administrator. This move follows the recent layoff of hundreds of FAA probationary employees and the deadliest month for US aviation accidents in over a decade. While the Department of Transportation Secretary claims it's a routine tour, sources say the SpaceX engineers were hired under a special authority and weren't fully vetted before starting. The four engineers have backgrounds in software and data engineering, but their appointment raises questions about safety and potential conflicts of interest.

Read more
(www.wired.com)
Tech

VW's Budget EV Offensive: ID.Polo Leads the Charge

2025-09-04
VW's Budget EV Offensive: ID.Polo Leads the Charge

Volkswagen is shaking up its EV strategy with a new family of affordable electric vehicles, starting with the ID.Polo. Based on the 2023 ID.2all concept, the €25,000 ($29,000) ID.Polo aims to make electric driving more accessible. Further affordable EVs are planned, including an electric T-Cross (ID.Cross), all part of VW's push for wider EV adoption. A sporty ID.Polo GTI variant is also in the works, launching alongside the standard model next year. The ID.Polo and ID.Polo GTI will debut at the Munich Motor Show on September 8th, with the ID.Cross concept revealed the day before.

Read more
(electrek.co)
Tech

AI Risks and Human Cognitive Biases: A Cross-Disciplinary Study

2025-05-26
AI Risks and Human Cognitive Biases: A Cross-Disciplinary Study

Dr. Uwe Peters and Dr. Benjamin Chin-Yee, with backgrounds in neuroscience, psychology, philosophy, and hematology, are collaborating on research into the societal risks of artificial intelligence and the impact of human cognitive biases on science communication. Their work, which began during postdoctoral research at Cambridge University, focuses on exaggerations and overgeneralizations in human and LLM science communication. Their interdisciplinary approach offers fresh insights into understanding AI risks and improving the accuracy of science communication.

Read more
(www.uu.nl)
AI

OpenEuroLLM: Europe's Push for Open-Source Multilingual LLMs

2025-02-03

A consortium of 20 leading European research institutions and companies has launched OpenEuroLLM, a project to build a family of high-performance, multilingual large language models (LLMs). The initiative aims to boost Europe's AI competitiveness by democratizing access to high-quality AI technology through open-source principles. This will empower European companies and public organizations to develop impactful products and services. OpenEuroLLM operates within Europe's regulatory framework and collaborates with open-source communities to ensure complete openness of models, software, data, and evaluation, catering to diverse industry and public sector needs while preserving linguistic and cultural diversity.

Read more
(openeurollm.eu)
AI

Finding Meaning in a Classic Mac: A Personal Tech History

2025-07-08
Finding Meaning in a Classic Mac: A Personal Tech History

The author's father loves classic cars, seeing them as symbols of a bygone technological era. The author, mirroring this, bought a 1989 Macintosh SE/30, not out of nostalgia for the machine itself, but to explore a period of computing he missed. This Mac serves as both a tribute to a past era and a symbol of the progress that has since been made, much like his father's beloved classic cars. The author plans to restore and occasionally use the computer, much as his father takes occasional drives in his classic automobiles.

Read more
(blog.decryption.net.au)
Tech classic computer

Studio Ghibli at 40: A Legacy Uncertain?

2025-06-15
Studio Ghibli at 40: A Legacy Uncertain?

This month marks the 40th anniversary of Japan's Studio Ghibli, a studio celebrated for its complex plots and fantastical hand-drawn animation, boasting two Oscars and a global fanbase. However, the future is uncertain, with the latest hit "The Boy and the Heron" potentially being the final feature film from celebrated co-founder Hayao Miyazaki (84). The release of OpenAI's latest image generator in March sparked copyright concerns due to its resemblance to Ghibli's distinctive style. Since its founding in 1985 by Miyazaki and the late Isao Takahata, Ghibli has become a cultural phenomenon, further boosted by a second Academy Award in 2024 for "The Boy and the Heron" and Netflix's global streaming of its films.

Read more
(www.japantimes.co.jp)
Game Studio Ghibli Hayao Miyazaki

Why Debian Changes its Packages

2025-05-22

A year and a half ago, I wrote "Why is Debian the way it is?", prompting many questions about why Debian alters its software packages. This article outlines key reasons: adherence to Debian Policy Manual guidelines (e.g., system configuration and documentation locations); ensuring inter-program compatibility (e.g., Unix socket locations, user accounts); removing code that "phones home" or bypasses the Debian packaging system (for privacy and security); fixing or backporting bug fixes to improve user experience; avoiding inclusion of legally problematic code (according to Debian Free Software Guidelines); and adding missing manual pages. Essentially, these changes ensure system stability, security, and adherence to free software principles.

Read more
(blog.liw.fi)
Development

GenAI-Accelerated TLA+ Challenge: A Race to the Future of Formal Verification

2025-05-06

The TLA+ Foundation and NVIDIA have launched a challenge encouraging the use of generative AI to improve the TLA+ specification language. Participants can use AI for code refactoring, creating development tools, generating visualizations, and even synthesizing specifications. The judging panel will evaluate submissions based on functionality, relevance to the TLA+ ecosystem, and innovative use of AI. All submissions must be open-source, reproducible, and a prototype is sufficient. This challenge aims to explore the potential of generative AI within TLA+ and invigorate the community.

Read more
(foundation.tlapl.us)
Development

Novel Programming Language Ideas: Refinement Types and Compile-Time Safety

2025-02-25

A blog post explores future directions for programming languages, proposing several innovative features. These include refinement-type-based function overloading and using union types and refinement types within C-like structs for memory optimization. The post also discusses compile-time memory safety and introduces the concept of an 'assume' function, allowing programmers to bypass safety checks under specific conditions for easier debugging. These ideas aim to enhance type safety and efficiency in programming languages.

Read more
(davidbos.me)
Development compile-time safety

Pixelagent: A Blueprint for Building AI Agents

2025-05-18
Pixelagent: A Blueprint for Building AI Agents

Pixelagent is an AI agent engineering blueprint built on Pixeltable, unifying LLMs, storage, and orchestration into a single declarative framework. Developers can build custom agentic applications with Pixelagent, including build-your-own functionality for memory, tool-calling, and more. It supports multiple models and modalities (text, image, audio, video), and offers observability features. Agentic extensions like reasoning, reflection, memory, knowledge, and team workflows are supported, along with connections to tools like Cursor, Windsurf, and Cline. Simple Python code allows for quick agent building and deployment.

Read more
(github.com)
AI
1 2 … 272 273 274 276 278 279 280 … 596 597