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

Bluesky's Bigger Picture: Beyond the App

2025-06-21
Bluesky's Bigger Picture: Beyond the App

Bluesky is facing criticism for its perceived political leanings and user engagement. However, the article argues that Bluesky's value lies in its underlying open protocol, AT Proto, not just its namesake app. Numerous third-party apps built on AT Proto offer diverse social experiences, encompassing video, live streaming, blogging, and more, even integrating content from other platforms. Bluesky's future success hinges on emphasizing its open ecosystem, rather than solely positioning itself as an X alternative.

Read more
(techcrunch.com)
Tech

Beyond RAG: LLM Tool Calling Ushers in a New Era for Semantic Search

2025-05-22
Beyond RAG: LLM Tool Calling Ushers in a New Era for Semantic Search

This article explores methods for implementing semantic search, particularly using LLMs for vector embedding search. While directly embedding user search terms and documents sometimes yields suboptimal results, new techniques like Nomic Embed Text v2 improve embedding methods, bringing questions and answers closer together in vector space. Furthermore, LLMs can synthesize potential answers, then use those embeddings to search for relevant documents. The article also introduces LLM-based Retrieval-Augmented Generation (RAG) systems, emphasizing that RAG doesn't rely on vector embeddings and can be combined with keyword search or hybrid search systems. The author argues that despite the emergence of long-context models, RAG won't disappear because the amount of data will always exceed model context capacity. The author favors the LLM tool-calling approach, exemplified by o3 and o4-mini, believing it's more effective than traditional RAG (single retrieval followed by direct answering).

Read more
(simonwillison.net)
AI

PocketFlow: A New Framework for Building Enterprise-Ready AI Systems

2025-03-21
PocketFlow: A New Framework for Building Enterprise-Ready AI Systems

PocketFlow is a TypeScript-based LLM framework utilizing a nested directed graph structure. This breaks down complex AI tasks into reusable LLM steps, enabling branching and recursion for agent-like decision-making. The framework is easily extensible, integrating various LLMs and APIs without specialized wrappers, and features visual workflow debugging and state persistence, accelerating the building of enterprise-grade AI systems.

Read more
(github.com)
AI enterprise AI

VexRiscv: An FPGA-Friendly 32-bit RISC-V CPU Implementation

2025-01-25
VexRiscv: An FPGA-Friendly 32-bit RISC-V CPU Implementation

VexRiscv is an FPGA-friendly 32-bit RISC-V CPU implementation written in SpinalHDL. It features a configurable pipeline depth, various instruction set extensions (including M, A, F, D, C), and a highly extensible plugin system allowing for easy addition of custom instructions and features. The project offers a wide range of configurations, from simple RV32I to complex Linux-capable SoCs, and includes comprehensive documentation, tests, and examples for rapid deployment and debugging on FPGAs.

Read more
(github.com)
Hardware

Linux Turns 34: From Hobby Project to Global Domination

2025-08-26
Linux Turns 34: From Hobby Project to Global Domination

Thirty-four years ago, an unknown Finnish computer science student, Linus Torvalds, announced a free operating system project, initially intended as a hobby. Today, Linux powers a vast array of devices, a testament to its success. This article recounts Linux's humble beginnings: Torvalds sought feedback on a newsgroup before releasing version 0.01. Interestingly, the name 'Linux' wasn't Torvalds' choice; a colleague named it at the last minute. From its initial 'Freax' moniker to its current global prominence, Linux's journey showcases the triumph of open-source software and its remarkable portability and adaptability.

Read more
(www.tomshardware.com)
Tech

PlanetScale Metal: Ditching the Cloud Database IO Bottleneck

2025-03-13
PlanetScale Metal: Ditching the Cloud Database IO Bottleneck

This article explores the history of computer storage technologies, from tape to hard disk drives to solid-state drives (SSDs), and the IO performance challenges brought about by cloud computing. Traditional cloud database services typically use network-attached storage (NAS), resulting in high latency and IOPS limitations. PlanetScale's Metal product uses local NVMe drives, directly connecting compute and storage, to achieve extremely low latency, unlimited IOPS, and high data durability, completely solving the IO bottleneck problem of cloud databases.

Read more
(planetscale.com)
Tech storage technology

SeedBox Lite: Stream Torrents Instantly

2025-08-29
SeedBox Lite: Stream Torrents Instantly

SeedBox Lite is a revolutionary torrent streaming platform that lets you instantly watch movies and TV shows without waiting for full downloads. Built with modern web technologies, it offers a Netflix-like experience with powerful torrent capabilities. SeedBox Lite supports multiple formats, features smart caching, subtitle support, and responsive design, working seamlessly across Windows, macOS, and Linux. Deployment is a breeze, taking minutes with either Docker or PM2.

Read more
(github.com)
Development

Guix's G-Expressions: Embedding Lower-Level Code in Higher-Level Code

2025-08-03

Guix uses Scheme for both high-level actions (like defining packages) and low-level actions (like building derivations). To embed lower-level code within higher-level code, it employs G-expressions. For example, in the `start` field of `wesnoth-shepherd-service`, `#~(...)` passes lower-level code, while `#$(...)` escapes higher-level code, which the compiler lowers to lower-level code. The `make-forkexec-constructor` function creates and executes child processes, offering features like setting user, group, umask, and environment variables.

Read more
(tannerhoelzel.com)
Development G-expressions

The Double-Edged Sword of AI: Efficiency Gains vs. Environmental and Ethical Concerns

2025-05-15

The rise of Large Language Models (LLMs) has brought significant improvements in developer productivity, as exemplified by the impressive performance of code editors like Cursor. However, the rapid advancement of AI also presents significant environmental challenges: massive energy consumption and data center construction negatively impact climate change. Furthermore, ethical concerns surrounding the sourcing of training data and the excessive consumption of web resources are cause for alarm, including the strain on Wikipedia servers and the generation of large amounts of low-quality content, dubbed "AI slop," polluting the web. After experiencing the convenience of AI tools, the author reflects on their negative impacts and calls for attention to the potential harms of AI, urging against its blind adoption.

Read more
(marcjenkins.co.uk)
AI

Ice's Shocking Secret: Bending Generates Electricity, Potentially Explaining Lightning

2025-09-17
Ice's Shocking Secret: Bending Generates Electricity, Potentially Explaining Lightning

A study published in Nature Physics reveals that ordinary ice is a flexoelectric material, generating electricity when bent. This discovery could revolutionize electronics and potentially explain the formation of lightning. Researchers found that ice produces electric charge in response to mechanical stress at all temperatures, with a ferroelectric layer on its surface at low temperatures. This offers two mechanisms for ice's electricity generation. This groundbreaking research puts ice on par with advanced electroceramics like titanium dioxide and paves the way for new electronic devices using ice as an active material.

Read more
(phys.org)
Tech ice flexoelectricity

LM Studio 0.3.17: MCP Support and Multilingual Enhancements

2025-06-26
LM Studio 0.3.17: MCP Support and Multilingual Enhancements

LM Studio 0.3.17 introduces Model Context Protocol (MCP) support, enabling users to connect various MCP servers and utilize them with local models. This release also adds support for 11 new languages, fixes numerous bugs, and improves the UI with a new 'Solarized Dark' theme. MCP allows large language models access to tools and resources; users should exercise caution when installing MCP servers from untrusted sources.

Read more
(lmstudio.ai)
Development

Apple Pulls Controversial 'Convince Your Parents' Mac Ad

2025-06-23
Apple Pulls Controversial 'Convince Your Parents' Mac Ad

Apple quietly removed its YouTube ad, "The Parent Presentation," designed to help college students convince their parents to buy them a Mac. The ad, a customizable slideshow downloadable in PowerPoint, Keynote, and Google Slides, was briefly promoted on Apple's website and YouTube. Its sudden removal, however, follows some negative online feedback describing the ad as cringeworthy or off-putting. The reason for its removal remains unclear.

Read more
(www.macrumors.com)
Tech Apple marketing ad removal

Clojure Web Development: A Philosophical Look at Frameworks vs. Libraries

2025-05-21

This article delves into the framework vs. library choice in Clojure web development. The author argues that popular web frameworks, like industrial automation, solidify architecture and thought processes, while the Clojure community favors flexible library combinations. Using Ring and Jetty as examples, the article explains the fundamental principles of building Clojure web applications, including request handling, middleware, and routing mechanisms. It also recommends various introductory resources and mature web stacks, helping developers find their suitable path within the Clojure ecosystem.

Read more
(www.evalapply.org)
Development

Giving a 10-Year-Old GPS a New Life with Open Source

2025-07-26

A thrift store find – a 2015 Navman Bike 1000 GPS – sparked a reverse engineering adventure. Its map updates had ceased, a prime example of planned obsolescence. However, the author discovered it ran Windows CE 6.0. Using Total Commander and the open-source navigation software NaVeGIS with OpenStreetMap data, they resurrected the device with current maps and even managed to run DOOM! This story highlights the power of open source and reverse engineering, breathing new life into outdated technology and prompting reflection on planned obsolescence and e-waste.

Read more
(raymii.org)
Tech

The Open Access Commons Under Siege: Navigating the AI Data Minefield

2025-03-16
The Open Access Commons Under Siege: Navigating the AI Data Minefield

The ideals of the open access movement clash with the realities of AI model training. Contributors are finding their work exploited for profit, even fueling harmful projects, leading to questions about the sustainability of knowledge sharing. This article explores solutions beyond restrictive licensing, advocating for fair collaborative models like Wikimedia Enterprise and Creative Commons' preference signals. Collective bargaining can ensure AI companies fairly compensate infrastructure costs, provide attribution, and reinvest in the commons, fulfilling the vision of universal knowledge access.

Read more
(www.citationneeded.news)
AI Open Access Commons

Regolith: A Linear-Time Regex Library Preventing ReDoS Attacks

2025-08-27
Regolith: A Linear-Time Regex Library Preventing ReDoS Attacks

Regolith is a server-side TypeScript and JavaScript library built with Rust to prevent Regular Expression Denial of Service (ReDoS) attacks using a linear regex engine. Unlike the default RegExp in TypeScript and JavaScript (which has exponential worst-case time complexity), Regolith boasts linear worst-case complexity, effectively mitigating ReDoS vulnerabilities. Designed as a drop-in replacement for RegExp, it minimizes migration effort, allowing developers to easily build ReDoS-resistant software. Still early in development, Regolith welcomes community contributions.

Read more
(github.com)
Development Regular Expression

Stop Killing Games Movement Gains Momentum with Over a Million Signatures

2025-07-06
Stop Killing Games Movement Gains Momentum with Over a Million Signatures

The Stop Killing Games movement, advocating for the preservation of online games after server shutdowns, has surpassed one million signatures, becoming a European Citizens' Initiative. The Video Games Europe trade association counters that maintaining private servers is costly and legally risky. However, the movement argues players purchase the game itself, not a license, and that server shutdowns constitute planned obsolescence. While the initiative could lead to EU policy changes, its impact will likely be limited to the EU and potentially the UK, leaving games in other regions vulnerable to permanent closure.

Read more
(www.pcgamer.com)
Game EU initiative

macOS 26's Liquid Glass UI: A Dramatic Visual Overhaul

2025-07-06
macOS 26's Liquid Glass UI: A Dramatic Visual Overhaul

Apple's macOS 26 introduces a stunning new UI design: Liquid Glass. Solid material icons are replaced with softer, shinier, glass-like versions. Rounded rectangles are even more rounded, and Apple has removed the ability for icon elements to extend beyond the icon's boundaries (as seen in GarageBand, Photo Booth, Dictionary, etc.). This is one of the most significant visual overhauls in macOS history. To document this evolution, a collection chronicling the changes to system icons over the years is being created and will be updated throughout the summer.

Read more
(basicappleguy.com)
Design

Massive Scam Network Masquerading as Legitimate Businesses Uses Google Ads

2025-05-07

A Texas firm, eWorldTrade, indicted for conspiring to distribute synthetic opioids, is at the heart of a vast network of US and Pakistani companies accused of using online ads to scam Westerners seeking trademark assistance, book writing, app development, and logo design. Linked to infamous firms like Axact and Abtach, known for trademark scams and fake degrees, the network lures victims with low prices before extorting them. Google Ads Transparency data reveals over $10 million spent on ads. Despite Google's claims of investigations and actions, the network persists, leaving a trail of victims worldwide.

Read more
(krebsonsecurity.com)
Tech Online Scam International Crime

Programming Languages: Balancing Safety and Power

2024-12-15

This article explores the trade-off between safety and power in programming languages. The traditional view is that powerful languages, like C with its manual memory management, are inherently unsafe. However, the author argues this is outdated. Modern language research shows that greater expressiveness allows for both safety and power. The evolution of macros in Lisp, Scheme, and Racket exemplifies this, demonstrating how improved design can enhance macro capabilities while maintaining safety. Racket's macro system is presented as a best practice, combining hygienic code with powerful manipulation capabilities. The article concludes that safe and reliable systems build more capable and reliable software, and recommends resources for further learning about Racket macros.

Read more
(lambdaland.org)
Development programming languages safety macros

TikTok Ban Looms, US Users Flock to Xiaohongshu

2025-01-15
TikTok Ban Looms, US Users Flock to Xiaohongshu

With a potential TikTok ban looming in the US, users are migrating en masse to the Chinese social media app Xiaohongshu, propelling it to the top of the US app download charts. Calling themselves "TikTok refugees," some users are joining Xiaohongshu as an act of protest against the impending ban. The US Supreme Court is set to rule on a law mandating TikTok divest from its Chinese parent company, ByteDance, by January 19th or face a US ban over national security concerns. After hints the court may uphold the law, a wave of TikTok users created Xiaohongshu accounts, using hashtags like #tiktokrefugee. Xiaohongshu, meaning "Little Red Book," combines e-commerce, short videos, and social media features. Popular in China and among Chinese diaspora communities, it boasts 300 million monthly active users, mainly young women using it as a search engine for product, travel, and restaurant recommendations, as well as beauty tutorials. Many American users openly stated their move to Xiaohongshu was a protest against the potential TikTok ban. Chinese users have generally welcomed the influx of Americans, offering help and advice. Despite Xiaohongshu's surge in popularity, it remains uncertain if it can fully replace TikTok's established ecosystem of e-commerce and advertising.

Read more
(apnews.com)
Tech Xiaohongshu US-China Tech

Oracle Linux: The Unexpected Best Local VM for MacBooks

2025-01-24

The author needed a local Linux environment for Kubernetes development on their MacBook. After struggling with Docker Desktop's high power consumption and sleep issues, they discovered an unexpected solution: Oracle Linux. Oracle Linux, a downstream of Red Hat Enterprise Linux, offers an easy-to-use UTM template. The author details setting up k3s and cert-manager, highlighting Oracle Linux's surprisingly low power consumption in UTM, solving the problems encountered with Docker Desktop. This makes it a superior choice for local development.

Read more
(xeiaso.net)
Development

Rye Language: A Higher-Level Programming Language Based on Spreadsheets

2024-12-24

Rye is a novel programming language that treats spreadsheets as first-class citizens, aligning more closely with human thinking. This article demonstrates how Rye creates, loads, and manipulates spreadsheets, supporting data import from CSV, SQL, and Excel files. It provides a rich set of functions for data manipulation, including filtering, sorting, and selection. By using spreadsheets as a fundamental data structure, Rye simplifies data operations and provides a more intuitive programming experience, especially when dealing with tabular data, resulting in concise and efficient code that outperforms other languages.

Read more
(ryelang.org)
Development spreadsheet

Geometry: From Land Measurement to Understanding the Universe

2025-05-30
Geometry: From Land Measurement to Understanding the Universe

This episode of the podcast 'The Joy of Why' features theoretical physicist Yang-Hui He discussing the evolution of geometry. From its ancient roots in land measurement and pyramid construction to its pivotal role in Einstein's general relativity, geometry's influence is explored. He argues that geometry serves as a unifying language for modern physics and speculates on AI's potential to revolutionize the field. The hosts also discuss the tension between formal mathematics and intuition-driven insight, and the two types of mathematicians: 'birds' and 'hedgehogs'.

Read more
(www.quantamagazine.org)
Tech

The Ultimate Lens Design Guide: From Singlets to Freeforms

2025-05-23
The Ultimate Lens Design Guide: From Singlets to Freeforms

This is the ultimate guide to lens design forms, covering optical systems from simple singlets to complex freeforms. Dr. Kats Ikeda shares years of experience, distilling textbook knowledge into digestible concepts and illustrating them with numerous examples, diagrams, and ray traces. The guide delves into aberration correction, pattern recognition, and explores modern optical systems like laser applications, mobile phone lenses, and lithographic lenses.

Read more
(www.pencilofrays.com)
Development lens design optical systems

Reverse Engineering a BIOS Update Fix for an Old Dell XPS 15

2025-01-11
Reverse Engineering a BIOS Update Fix for an Old Dell XPS 15

Driven by nostalgia, the author attempted to update the BIOS of their old 2011 Dell XPS 15 L502X. Hardware issues and a dead battery resulted in a failed BIOS update. Using Ghidra, the author reverse-engineered the update program, pinpointing the faulty code. By modifying the code to bypass battery checks, the BIOS update was finally successful. This is a captivating tale of hardware repair and reverse engineering, showcasing the author's persistence and technical skills.

Read more
(www.r9c.net)
Hardware BIOS update hardware repair

40-Year-Old Conjecture Shattered: New Hash Table Outperforms Expectations

2025-02-10
40-Year-Old Conjecture Shattered: New Hash Table Outperforms Expectations

Graduate student Krapivin (University of Cambridge), along with Farach-Colton and Kuszmaul (New York University), have overturned Yao's conjecture, a long-held belief in computer science. Their novel hash table achieves a worst-case time complexity of (log x)² for element lookups, significantly faster than the previously believed optimal x. This groundbreaking research not only solves a classic problem in hash table design but also dramatically improves data storage efficiency, sparking significant interest within the academic community.

Read more
(www.quantamagazine.org)
Development hash table

CVE-2025-21756: Exploiting a Linux Kernel Vulnerability via vsock

2025-04-30

A researcher discovered a simple Linux kernel vulnerability, CVE-2025-21756, in a KernelCTF submission, allowing privilege escalation via vsock. The exploit centers on a Use After Free (UAF) issue, fixed with only a few lines of code. The researcher analyzed the patch, identified the vulnerability, and attempted a cross-cache attack. However, AppArmor prevented direct exploitation. They cleverly used vsock_diag_dump as a side channel to bypass kASLR and leak kernel addresses. Finally, a carefully crafted ROP chain was used to call `commit_creds` and gain root privileges. The journey was challenging, providing valuable kernel security knowledge.

Read more
(hoefler.dev)
Development

NumPy: A Love-Hate Relationship with Python's Array Library

2025-05-15
NumPy: A Love-Hate Relationship with Python's Array Library

This article delves into the pain points of using NumPy, Python's popular array computation library, when dealing with multi-dimensional arrays. While NumPy excels with its simplicity and efficiency for lower-dimensional arrays, its broadcasting mechanism and indexing become incredibly complex and hard to understand when tackling more intricate multi-dimensional operations. The author argues that NumPy's core issue stems from its broadcasting mechanism replacing indices, resulting in limited expressiveness. The article uses multiple examples to highlight NumPy's struggles with complex array computations, comparing the pros and cons of using loops and np.einsum, ultimately expressing frustration with NumPy and a desire for a more user-friendly array language.

Read more
(dynomight.net)
Development multi-dimensional arrays
1 2 … 237 238 239 241 243 244 245 … 596 597