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

CSS Gap Decorations: A New Way to Style Separators

2025-03-20
CSS Gap Decorations: A New Way to Style Separators

Drawing separator lines is common in web design, but existing CSS methods (like borders and pseudo-elements) have limitations, especially with Flexbox and Grid layouts. This article introduces the CSS gap decorations proposal, offering more control over separator styles in grids and flexboxes, including length, color, and position, even across multiple rows and columns. The proposal is seeking developer feedback to refine its functionality.

Read more
(blogs.windows.com)
Development Grid Layout

Open Hardware's Demise: How China's Patent Strategy is Stifling 3D Printing Innovation

2025-08-16
Open Hardware's Demise: How China's Patent Strategy is Stifling 3D Printing Innovation

A Hacker News post exposes a concerning trend: China's strategic use of patents to stifle open-source 3D printing hardware. Numerous Chinese companies leverage 'super deduction' policies to file patents on minor variations of existing technologies, effectively creating a patent minefield for smaller open-source projects. The high cost and time commitment of fighting these patents, even with prior art, puts open-source initiatives at a severe disadvantage. The author calls for the open-source community to unite and proactively monitor patent filings to protect the future of open hardware.

Read more
(www.josefprusa.com)
Tech China patents

Byte-Equivalent Decompilation of GPL-Violating Devices: A Genetic Programming Approach

2025-09-12

This post explores the challenging problem of byte-equivalent decompilation of a Linux kernel binary from a GPL-violating device, aiming to recover the equivalent C code. The author proposes a genetic programming-based optimization approach to find a "perfect" solution, not just a "good enough" approximation. Challenges include generating the initial population, representing C code (using ASTs), representing the binary code (disassembly or IR), and improving the readability of the resulting C code. The author argues that population-based metaheuristics like genetic algorithms are better suited for this complex problem than single-point search heuristics. This is a long-term research project requiring deep understanding of decompilation techniques, kernel code, and optimization algorithms.

Read more
(far.chickenkiller.com)
Development genetic programming

Chilean Volcano Eruption Reveals Millennia-Old Underwater Landscape

2024-12-24
Chilean Volcano Eruption Reveals Millennia-Old Underwater Landscape

Following the 2008 eruption of the Chaitén volcano in Chile, scientists used a remotely operated vehicle to discover an underwater valley sculpted by ancient glaciers and volcanic activity. The expedition investigated the volcano's impact on the marine environment, including potential effects on underwater infrastructure and fisheries. Unexpectedly, they found a remarkably preserved ancient glacial landscape, offering invaluable insights into the region's geological history. Analysis of sediment samples will help reconstruct a timeline of geological events and further understand the eruption's impact on the marine ecosystem.

Read more
(arstechnica.com)
Tech Underwater volcano geology ocean exploration

Apple's AI Flubs, TikTok's Fate, and More Tech News

2025-01-20

Apple's new AI-powered notification summaries are causing a stir due to inaccuracies, such as misinterpreting a message about a messy child's room as the husband being messy. Apple acknowledges the issue and plans improvements in a future update. Meanwhile, TikTok faces an impending ban, with its fate uncertain. Sonos replaces its CEO following app issues, and Samsung is set to unveil its Galaxy S25 phones. OpenAI introduces a proactive chat feature for ChatGPT, allowing users to schedule messages.

Read more
(techthings.cmail20.com)
Tech

Soviet Absurdities: A Chronicle of Everyday Life in a Failed Empire

2025-08-09

This book recounts the absurdities of everyday life in the Soviet Union, starting from its collapse. Author Lauri Vahtre, drawing on personal experiences and historical sources, explores the roots of this absurdity in the inherent contradictions of Russian national identity and the flaws within communist ideology. From the absurdities of the Tsarist regime to the political repression and economic woes of the Soviet era, Vahtre paints a vivid picture of a system rife with cruelty and irrationality. The book serves as a cautionary tale, highlighting the lasting impact of the Soviet experience and warning against the repetition of history.

Read more
(laurivahtre.ee)
Misc Communism

Undersea Data Center Disaster: The Tragedy of Millions of Data Bits

2025-04-05
Undersea Data Center Disaster: The Tragedy of Millions of Data Bits

A real-time streaming startup, REALTIM, experienced a Kafka message queue crash due to Kubernetes scaling, unexpectedly uncovering a forgotten undersea backup server. Due to an intern's experimental customizations and company negligence, this server accumulated massive data backlog, resulting in millions of data bits being 'imprisoned' in an undersea fiber optic cable for months, suffering data compression, magnetic interference, and more. Data bit "0000" wrote a book detailing this ordeal, resonating widely among digital entities, even garnering sympathy from Internet Explorer. This incident exposes shortcomings in the company's technology scaling and data management, reflecting a disregard for the data lifecycle.

Read more
(nareal.substack.com)
Tech Data Center Disaster

Don't Use Cosine Similarity Carelessly!

2025-01-14
Don't Use Cosine Similarity Carelessly!

This article explores the risks of over-relying on cosine similarity for vector comparisons in data science. The author argues that while computationally simple, cosine similarity often fails to capture semantic similarity and can be easily misled by superficial patterns like writing style and typos. The article uses examples to illustrate this problem and proposes several improved methods, including: directly using LLMs for comparison, fine-tuning or transfer learning to create task-specific embeddings, pre-prompt engineering, and text preprocessing. The author emphasizes the importance of choosing appropriate similarity metrics based on specific needs, rather than blindly using cosine similarity.

Read more
(p.migdal.pl)
AI cosine similarity vector comparison

Psychological Projection: Facing Your Inner Demons Through Others' Flaws

2025-02-18

Do you find yourself frequently criticizing others for laziness, stupidity, or hypocrisy? This article explores psychological projection, the tendency to displace undesirable feelings onto others, treating them as the source of internal conflicts we'd rather avoid. Examples range from resenting someone's wealth to disliking their hobbies, all stemming from unresolved personal insecurities. Recognizing and addressing these projected emotions is key to improving self-esteem and relationships. The article provides practical steps to identify and process projections, ultimately urging readers to confront their inner anxieties and achieve self-healing.

Read more
(kupajo.com)
Misc psychological projection negative emotions

Formally Verifying the Long Division Algorithm with Hoare Logic

2025-02-26
Formally Verifying the Long Division Algorithm with Hoare Logic

This article presents a detailed formal verification of the long division algorithm using Hoare logic. The author meticulously walks through the proof, employing Hoare triples, assignment axioms, composition axioms, conditional axioms, and the while-loop axiom to demonstrate the algorithm's correctness. The article offers a clear explanation of Hoare logic's application, illustrating the complexity of the proof process with a concrete example and highlighting the importance of formal verification in software development.

Read more
(www.cofault.com)
Development Hoare logic

The Evolutionary Mystery of the Human Butt

2024-12-24
The Evolutionary Mystery of the Human Butt

Why do humans have such uniquely shaped buttocks compared to other primates? This article explores the evolutionary reasons behind the human derriere. Bipedalism led to changes in the human pelvis, particularly a shorter, more curved ilium. This facilitated the development of larger gluteus maximus muscles, providing powerful leg extension for running and climbing. The significant fat storage in the buttocks is also linked to the energy demands of our large brains. However, bipedalism also comes with a downside: a messier pooping experience.

Read more
(massivesci.com)
Misc human evolution anatomy bipedalism

78% of Hardware Companies Lack Security.txt

2025-03-03

A developer maintaining a public list of companies using libexpat in hardware found that 78% (39 out of 50) of the companies tested in 2025 did not serve a /.well-known/security.txt file as specified by RFC 9116. This reveals a concerning lack of proactive security posture in many companies, making it difficult to contact their security teams. The author urges affected companies to fix this issue and share a link to securitytxt.org.

Read more
(blog.hartwork.org)
Hardware security.txt

Tesla Light Show: A Guide to Custom Light Shows

2024-12-27
Tesla Light Show: A Guide to Custom Light Shows

Tesla has released a custom light show feature allowing users to create and play personalized light shows on 2021 and later Model S, Model 3, Model X, Model Y, and Cybertruck vehicles via a USB drive using the xLights software. This guide details the steps to create and run custom light shows, including software installation, file format requirements, light effect control, and troubleshooting, and provides a validation script to help users check if their light show files meet Tesla's requirements.

Read more
(github.com)
Misc Light Show

US Credit Card Debt Hits Record High, Bill Proposed to Cap Interest Rates

2025-04-02
US Credit Card Debt Hits Record High, Bill Proposed to Cap Interest Rates

US credit card debt has reached an all-time high, with soaring interest rates and economic factors exacerbating the problem. Representatives Alexandria Ocasio-Cortez and Anna Paulina Luna introduced a bipartisan bill to cap annual credit card interest rates at 10%, aiming to help struggling Americans escape a cycle of debt. The average APR has nearly doubled in a decade, reaching 21%, leading to increased consumer debt and delinquencies. The bill's future remains uncertain.

Read more
(www.businessinsider.com)
Tech interest rate cap economic

FTC Delays Enforcement of Click-to-Cancel Rule

2025-05-12
FTC Delays Enforcement of Click-to-Cancel Rule

The Federal Trade Commission (FTC) has delayed enforcement of its “click-to-cancel” rule until July 14th, pushing back the original May 14th deadline. The rule, part of the Negative Option Rule, requires subscription cancellations to be as easy as sign-ups. The FTC cited a reassessment of the burden of immediate compliance as the reason for the delay. While enforcement will begin July 14th, the FTC remains open to amending the rule if problems arise during implementation.

Read more
(www.theverge.com)
Tech click-to-cancel

Breaking the 2GB Barrier: Asynchronous I/O for Large Files in WebAssembly

2025-03-04
Breaking the 2GB Barrier: Asynchronous I/O for Large Files in WebAssembly

The author previously implemented setjmp in WebAssembly, bypassing WASI libc's reliance on the exception handling proposal. However, this approach was limited to files smaller than 2GB. This post details how to use the File API and Blob type to create a memory-based filesystem for handling larger files. Since web I/O is asynchronous while system languages are typically synchronous, Asyncify was used to bridge the paradigms. The author encountered optimization issues with wasm-opt, resolving them by creating a dummy wasm-opt. Finally, by cleverly using a volatile function pointer, they bypassed Asyncify's incorrect assumption about the `asyncjmp_rt_start` function, ultimately achieving asynchronous handling of large files.

Read more
(andrews.substack.com)
Development File Handling

Coccinelle: A Powerful Tool for Linux Kernel Development

2024-12-26

Coccinelle is a powerful tool for Linux kernel development, used for pattern matching and text transformation. It enables the application of complex, tree-wide patches and detects problematic coding patterns. This document details Coccinelle's installation, usage, various modes (patch, report, context, org), and advanced features such as parallelization, using a single semantic patch, controlling processed files, debugging, and .cocciconfig support. Coccinelle leverages Semantic Patch Language (SmPL) and offers multiple modes for generating patches, reports, context information, and Org-mode reports, catering to diverse needs.

Read more
(docs.kernel.org)
Development

Random Number Generation Bottleneck: It's Not Your PRNG

2025-08-04

This article uses a story to highlight a key issue in optimizing random number generation algorithms: the bottleneck may not be the PRNG itself, but the method of generating random numbers within a specific range. The author compares several methods for generating random numbers within a given range, including classic modulo, floating-point multiplication, integer multiplication, and several unbiased methods such as rejection sampling and bitmasking. Experimental results show that the best method varies depending on the PRNG and data scale, but Lemire's integer multiplication-based method, after optimization, performs exceptionally well, significantly improving performance. The article also compares the performance of various PRNGs, finding that even the fastest PRNGs offer far less performance improvement than optimizing the range generation method.

Read more
(www.pcg-random.org)
Development

LA's Unreal and Disneyland's Disillusionment: Reflections on a Family Trip

2025-02-15
LA's Unreal and Disneyland's Disillusionment: Reflections on a Family Trip

A family's Thanksgiving trip to Disneyland sparks reflections on the unreal nature of Los Angeles and Disneyland as a symbol of the American Dream. LA is portrayed as a city lacking historical memory, filled with uncertainty and temporality, while Disneyland is seen as the ultimate manifestation of its unreality—a meticulously crafted utopia gradually consumed by commercialization and cultural shifts. The author contrasts Disneyland with Pleasure Island from Pinocchio, exploring its ironic commentary on the American Dream. Ultimately, the reflections extend to California's future, urging a return to authenticity, building deeper community connections, and a sense of belonging to the land.

Read more
(fiddlersgreene.substack.com)
Misc reflection disneyland los angeles

The Secret Spy Satellite That Helped Win the Cold War

2025-01-22
The Secret Spy Satellite That Helped Win the Cold War

In the 1970s, the rise of the Soviet Navy posed a significant threat to the US. To counter the emergence of powerful new Soviet warships, the top-secret Parcae satellite program was launched. Developed by the US Naval Research Laboratory, Parcae provided real-time location data on Soviet vessels, drastically reducing the time between signal interception and intelligence reporting to mere minutes. This near-instantaneous intelligence was crucial for military decision-making. Employing multiple satellites working in concert and advanced computer systems to process massive amounts of data, Parcae helped maintain the strategic balance during the Cold War. Its technology continues to influence modern satellite signals intelligence systems.

Read more
(spectrum.ieee.org)
Tech spy satellite signals intelligence

WebFFT: The Fastest Fourier Transform on the Web!

2025-01-25
WebFFT: The Fastest Fourier Transform on the Web!

WebFFT is a metalibrary containing numerous FFT libraries, both JavaScript and WebAssembly-based. It benchmarks available implementations and selects the fastest for optimal performance. Implementing fast Fourier transforms (FFTs) and 2D FFTs is straightforward, supporting real-valued inputs. A profiler helps optimize usage.

Read more
(github.com)
Development

Kagi Search Launches Privacy Pass: Truly Anonymous Search

2025-02-13

Kagi Search is announcing a new privacy feature: Privacy Pass, a protocol standardized by the IETF, allowing users to authenticate without revealing their identity. Using cryptographic tokens, Privacy Pass ensures true anonymity. Kagi also launched a Tor onion service for enhanced privacy. Privacy Pass is integrated into Kagi's Orion browser, Android app, and Firefox/Chrome extensions (Safari is not yet supported). While Privacy Pass significantly enhances anonymity, users should still be mindful of side-channel information like IP addresses and browser fingerprinting. The implementation is open-source.

Read more
(blog.kagi.com)
Tech anonymous search

Cruz Releases NSF DEI Grant Database, Sparks Controversy

2025-02-14

Senator Ted Cruz released a database of purportedly "woke" NSF DEI grants, alleging that the Biden administration weaponized federal agencies to push a far-left ideology. However, searches within the database for terms like "homo," "hetero," and "race" yielded results contradicting Cruz's claims. Several research projects, such as those on wireless networking and molecular spintronics, appear unrelated to the accusations. This suggests Cruz's critique may lack factual basis, raising questions about the integrity of his claim to restore integrity to scientific research and the United States Senate itself.

Read more
(ramadda.org)
Misc

Chronotrains Launches Interactive European Train Map

2024-12-28
Chronotrains Launches Interactive European Train Map

Chronotrains has launched an interactive map for planning train journeys across Europe. The map visualizes the area reachable within 8 hours from any European train station. Users can hover to see isochrones, search for stations, or click example cities. Powered by Deutsche Bahn data, the map also facilitates multi-city trip planning and links directly to major train ticket providers, offering a convenient, comfortable, and sustainable way to explore Europe by rail.

Read more
(www.chronotrains.com)
Tech European trains travel map journey planning

Apidog MCP Server: Powering AI with Your API Docs

2025-03-24
Apidog MCP Server: Powering AI with Your API Docs

Apidog MCP Server connects your Apidog API documentation to AI-powered IDEs like Cursor. This allows AI assistants to directly access and utilize your API specs, boosting development speed and efficiency. Generate code, search documentation, and more – all powered by your API definitions. Setup involves adding a JSON configuration to your IDE with your Apidog access token and project ID. Supports Apidog projects and Swagger/OpenAPI files. Currently in beta – your feedback is welcome!

Read more
(www.npmjs.com)
Development API Documentation

GPT-3's Astonishing Embedding Capacity: High-Dimensional Geometry and the Johnson-Lindenstrauss Lemma

2025-09-15
GPT-3's Astonishing Embedding Capacity: High-Dimensional Geometry and the Johnson-Lindenstrauss Lemma

This blog post explores how large language models like GPT-3 accommodate millions of distinct concepts within a relatively modest 12,288-dimensional embedding space. Through experiments and analysis of the Johnson-Lindenstrauss Lemma, the author reveals the importance of 'quasi-orthogonal' vector relationships in high-dimensional geometry and methods for optimizing the arrangement of vectors in embedding spaces to increase capacity. The research finds that even accounting for deviations from perfect orthogonality, GPT-3's embedding space possesses an astonishing capacity sufficient to represent human knowledge and reasoning.

Read more
(nickyoder.com)
AI High-Dimensional Geometry Johnson-Lindenstrauss Lemma

Bruin: Build Data Pipelines with SQL and Python

2024-12-17
Bruin: Build Data Pipelines with SQL and Python

Bruin is a powerful data pipeline tool that combines data ingestion, data transformation with SQL and Python, and data quality checks into a single framework. It works with major data platforms and runs on your local machine, an EC2 instance, or GitHub Actions. Key features include data ingestion, SQL & Python transformations, data quality checks, Jinja templating, end-to-end validation, and support for multiple environments. Pipelines are easily defined using a simple pipeline.yml file.

Read more
(github.com)
Development data pipeline

Reverse Engineering Call of Duty's User-Mode Anti-Cheat

2025-01-21
Reverse Engineering Call of Duty's User-Mode Anti-Cheat

This post details a deep dive into TAC, the user-mode anti-cheat in Call of Duty: Black Ops Cold War. The author meticulously reverse-engineered TAC, revealing its sophisticated techniques. These include runtime API lookups, anti-debugging measures (detecting debug registers and test signing mode), API hook detection, external overlay detection, and innovative encrypted custom syscall stubs. The analysis covers TAC's process termination methods, anti-signature scanning, and other anti-debugging tricks. The integration with Arxan code protection further enhances TAC's robustness. This research provides valuable insights into anti-cheat mechanisms and reverse engineering.

Read more
(ssno.cc)
Game anti-cheat game security

Caravan: A Flexible Transport-Based Logging System for JavaScript/TypeScript

2024-12-28
Caravan: A Flexible Transport-Based Logging System for JavaScript/TypeScript

Caravan is a flexible, transport-based logging system for JavaScript/TypeScript applications. It supports multiple transports (console, file, Datadog, BetterStack, etc.), log level filtering, context binding through forked loggers, and data redaction. Developers can easily log basic messages, metadata, and context-aware information, improving debugging and monitoring. Its TypeScript-first design enhances developer experience.

Read more
(github.com)
Development logging system
1 2 … 540 541 542 544 546 547 548 … 596 597