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

St. Peter's Basilica: Immersive Digital Experience

2025-01-18
St. Peter's Basilica: Immersive Digital Experience

St. Peter's Basilica has launched a new digital experience, allowing people worldwide to explore the magnificence of this architectural marvel from the comfort of their homes. The experience includes a virtual 3D tour and a story detailing the Basilica's history, all available in multiple languages. Users can immerse themselves in the grandeur of St. Peter's, experiencing its art and architecture regardless of their location.

Read more
(virtual.basilicasanpietro.va)
Misc digital experience St. Peter's Basilica

Slow Deployments Breed Meetings: A Reverse Causality Argument

2024-12-22
Slow Deployments Breed Meetings: A Reverse Causality Argument

Programmers often complain about too many meetings hindering productivity. Kent Beck challenges this notion, suggesting that meetings are a consequence, not the cause, of slow deployments. Facebook's experience shows that increasing deployment frequency is key. When deployment speed lags behind code changes, organizations add meetings and reviews to mitigate risk, ultimately reducing efficiency. Instead of reducing meetings, focus on improving deployment capacity by shortening cycles or enhancing code quality. This essay offers a fresh perspective, exploring the counter-intuitive relationship between slow deployments and increased organizational overhead.

Read more
(tidyfirst.substack.com)
Development deployment efficiency reverse causality

testtrim: The Testing Tool That Couldn't Test Itself (Until Now)

2025-01-25

Mathieu Fenniak details his journey adding syscall tracing to testtrim, an experimental project optimizing software test execution. Initially, testtrim used strace to identify test dependencies but couldn't test itself because strace can't trace an already-traced process. Two nested tracing attempts failed: the first due to abysmal performance, the second due to shared state and non-atomicity in strace's output. The solution involved using FIFO pipes and shared memory for real-time data streaming between parent and child processes, enabling self-testing and validating testtrim's value in reducing test targets.

Read more
(mathieu.fenniak.net)
Development syscall tracing

Jujutsu: A Game-Changing Version Control System

2024-12-12

The author daily drives Jujutsu, a Git-based version control system, and highly recommends it. Unlike other simplified Git alternatives, Jujutsu focuses on enhancing the workflow of power users, particularly in simplifying history editing. The author recounts a personal experience showcasing Jujutsu's ease in modifying past commits, eliminating complex Git commands. While Jujutsu has some shortcomings, like lacking support for git send-email and the Google CLA requirement, the author still uses it daily for personal projects.

Read more
(drewdevault.com)
Development Version Control

GitHub Project ted: A Turing Machine-based File Editor

2024-12-18
GitHub Project ted: A Turing Machine-based File Editor

ted is a command-line tool written in Go that allows users to edit files according to the rules of a provided Turing machine. Inspired by the author's need to process log files, ted uses state machines to precisely extract the desired information. It supports various operations, including regular expression matching, sed command execution, variable assignment, capture and output control, and offers features such as multi-line capture, regex capture groups, and file head/tail movement.

Read more
(github.com)
Development Turing Machine File Editing State Machine

Tokyo Offers Free Daycare to Combat Plummeting Birth Rate

2025-01-21
Tokyo Offers Free Daycare to Combat Plummeting Birth Rate

Facing a persistent decline in birth rates, Tokyo is launching a bold initiative: free daycare for all preschool children starting September next year. This move aims to improve work-life balance and incentivize childbirth. While Tokyo previously implemented a four-day workweek, this free daycare plan is broader, encompassing all children unlike previous programs which only covered second children. Although the exact cost remains undisclosed, the Tokyo governor emphasizes the urgency of addressing the demographic crisis.

Read more
(www.xatakaon.com)
Misc demographic crisis free daycare birth rate

Demystifying Debuggers: Anatomy of a Running Program

2024-12-24
Demystifying Debuggers: Anatomy of a Running Program

This article delves into the low-level mechanics of a running program. Using the analogy of a video game cartridge on an NES, it explains how modern operating systems virtualize program execution. Key concepts like virtual address spaces, threads of execution, executable images, loaders, modules, and processes are detailed. The article explains how virtual address spaces, via page tables, map virtual addresses to physical addresses, allowing multiple programs to share physical memory without interference. It also covers thread scheduling, executable image formats (PE and ELF), the loader's role, and dynamic module loading/unloading. Finally, it summarizes the concept of a process, which integrates threads, modules, and virtual address spaces.

Read more
(www.rfleury.com)
Development debugger program execution

TSMC Employees' Surprisingly High Fertility Rate: One in Fifty Taiwanese Babies is a 'TSMC Baby'

2024-12-17
TSMC Employees' Surprisingly High Fertility Rate: One in Fifty Taiwanese Babies is a 'TSMC Baby'

The surprisingly high fertility rate among employees of Taiwan Semiconductor Manufacturing Company (TSMC), the world's leading semiconductor manufacturer, has drawn significant attention. While TSMC employees constitute only 0.3% of Taiwan's population, they account for 1.8% of all babies born in Taiwan—meaning one in every fifty Taiwanese babies is a 'TSMC baby'. This phenomenon is attributed to TSMC's family-friendly policies, including childcare services from 7 am to 8 pm, flexible work arrangements, and generous maternity leave. The company's culture, fostering positive peer interactions and encouraging parenthood, also plays a vital role, creating a positive feedback loop that boosts birth rates.

Read more
(www.boomcampaign.org)
Misc fertility rate family-friendly policies

Middle Schooler Discovers New Compound in Goose Poop

2024-12-12
Middle Schooler Discovers New Compound in Goose Poop

A middle school student, participating in a research program with a local university, discovered a novel compound, orfamide N, in a goose poop sample collected from a park. While not responsible for the initial observed antibiotic activity of the bacteria, orfamide N inhibited the growth of human melanoma and ovarian cancer cells in lab tests. This research demonstrates the success of combining educational outreach with natural product discovery, highlighting the importance of university-community partnerships. The project provided invaluable hands-on experience for the student, showcasing the potential of young scientists.

Read more
(phys.org)
Tech scientific discovery middle school research new compound

Whittaker's Keynote at NDSS 2024: AI, Encryption, and a New Era of Threats

2024-12-18
Whittaker's Keynote at NDSS 2024: AI, Encryption, and a New Era of Threats

At the 2024 NDSS Symposium, Meredith Whittaker, president of the Signal Foundation, delivered a keynote address reflecting on the 'Crypto Wars' of the 90s. She highlighted how political, technical, and commercial pressures have shaped today's encryption landscape. Whittaker warned against viewing the current situation as simply 'Crypto Wars 2.0,' arguing that an economic engine driven by personal data, surveillance technology, and AI/ML poses a fundamentally different threat than the government-dominated encryption landscape of the 90s. She stressed the need for a new approach, with NDSS research at the forefront of this response.

Read more
(www.ndss-symposium.org)
AI Encryption

Thread Safety Nightmare: A Mysterious Crash on ARM64, Even with Safe Rust

2025-01-22
Thread Safety Nightmare: A Mysterious Crash on ARM64, Even with Safe Rust

While porting network I/O code from Python to Rust in EdgeDB, a mysterious crash on ARM64 platforms emerged. Initially suspected to be a deadlock, the root cause turned out to be thread-unsafe behavior in the `setenv` and `getenv` functions. On ARM64, the `openssl-probe` library uses `setenv` to set environment variables, while another thread concurrently calls `getenv`. This reallocates the `environ` array, leading to a crash. The solution involved switching reqwest's TLS backend from rust-native-tls to rustls. This highlights how even in memory-safe Rust, interactions with the C standard library can still introduce thread safety issues.

Read more
(www.edgedb.com)
Development C standard library thread safety

Design Tokens: The Key to Scalable and Consistent UI Architectures

2024-12-18
Design Tokens: The Key to Scalable and Consistent UI Architectures

This article explores the role of design tokens in modern UI architecture. By representing design decisions as data, design tokens serve as a single source of truth, enabling automated code generation across platforms for faster updates and improved design consistency. It details the layered organization of design tokens (option, decision, and component tokens), automated distribution processes, and how to choose the appropriate number of layers and token scope. Finally, it discusses when design tokens are appropriate and their limitations, helping readers determine their suitability for their projects.

Read more
(martinfowler.com)
Design design tokens UI architecture automated design

Conquering Doomscrolling: A Digital Detox Experiment

2025-01-22

The author details their struggle with endless scrolling and their experiment to break free. They deleted numerous apps, installed restrictive ones, and faced unexpected challenges like some apps malfunctioning after removing the browser and Google apps. Ultimately, by deleting entertainment apps, limiting browser access, employing a minimalist launcher, and other strategies, they successfully reduced distractions, improved focus, and gained more time for reading. While procrastination remains, their devices no longer lure them into the rabbit hole, resulting in a calmer and more mindful experience.

Read more
(allthatjazz.me)
Misc digital detox

Google Maps Labels US as 'Sensitive Country' Amidst Gulf of Mexico Name Change

2025-02-01
Google Maps Labels US as 'Sensitive Country' Amidst Gulf of Mexico Name Change

Google Maps has reclassified the United States as a 'sensitive country,' a designation shared with nations like China and Russia, following its confirmation of renaming the Gulf of Mexico to the Gulf of America. This move, prompted by Trump's executive order, has sparked debate, highlighting the impact of political shifts on tech companies' operations and perceptions of the US globally. The reclassification raises concerns about the changing global perception of the United States under Trump's presidency.

Read more
(www.themarysue.com)
Tech Political Impact

Playing Catch-Up: Val Town's Journey Building an AI Code Assistant

2025-01-03
Playing Catch-Up: Val Town's Journey Building an AI Code Assistant

Val Town's AI code assistant, Townie, has been a journey of chasing the leaders – GitHub Copilot, ChatGPT, Claude, and others. Starting with simple code completion, it evolved to generating full-stack apps using tool calling. This article recounts Townie's development, highlighting efforts in speed improvements, automatic error detection, and differentiated competition. It also looks ahead to integrating more advanced features.

Read more
(blog.val.town)
Development fast iteration

llama.cpp Integrates Qwen2VL Multimodal Model

2024-12-15
llama.cpp Integrates Qwen2VL Multimodal Model

The llama.cpp project on GitHub recently merged a pull request adding support for the Qwen2VL multimodal large language model. This model combines a large language model with a vision encoder, enabling processing of both images and text. Integration involves converting the model's LLM part and vision encoder into GGUF format and using a new command-line tool for inference. Future work includes adding support for more backends like MPS and Vulkan.

Read more
(github.com)
AI multimodal

Nokia Design Archive Now Online: A Journey Through Time

2025-01-16
Nokia Design Archive Now Online: A Journey Through Time

The Nokia Design Archive is now live, showcasing its design history through an interactive network timeline. Users can explore a vast collection of design materials using keyword search, topic filters (products, aesthetics, design process, design strategy), and date filters. The archive is licensed under CC BY-NC-ND 4.0, with clear attribution instructions provided.

Read more
(nokiadesignarchive.aalto.fi)
Design Nokia Design Archive UI Design

Samsung to Mass Produce World's First Rollable OLED Laptop Screen

2025-01-10
Samsung to Mass Produce World's First Rollable OLED Laptop Screen

Samsung Display will begin mass production of the world's first rollable OLED screen for laptops in April 2025. This screen will be featured in Lenovo's ThinkBook Plus G6 Rollable laptop, launching globally in June. The screen expands from a 14-inch 5:4 aspect ratio to a 16.7-inch 8:9 aspect ratio, offering a unique mobile computing experience. Samsung also incorporates its unpolarized Eco² OLED™ technology for the first time in a laptop, reducing panel thickness and power consumption by 30%.

Read more
(global.samsungdisplay.com)
Hardware rollable OLED Samsung Display

Go Protobuf's New Opaque API Improves Performance and Safety

2024-12-16

The Go team released a new Opaque API for Go Protobuf, coexisting with the existing Open Struct API. This new API decouples generated code from its underlying memory representation, leading to performance improvements, reduced memory allocations, and enabling optimizations like lazy decoding. By hiding struct fields and accessing them only through accessor methods, it prevents pointer-related bugs and accidental sharing. Migration involves enabling the Hybrid API, using the `open2opaque` tool, and then switching to the Opaque API. The existing Open Struct API remains supported.

Read more
(go.dev)
Development

Lucy: A Concise DSL for Finite State Machines

2025-01-01

Lucy is a concise language for describing Finite State Machines (FSMs). It allows complex events, guards, actions, and destination states to be expressed in a single line. Nesting machines enables hierarchical FSMs. Lucy compiles to XState, a leading JavaScript FSM library, supporting all its core features. Written in C and compiled to WebAssembly, Lucy boasts a significant speed advantage (15x faster than its previous JavaScript-based compiler), making it ideal for JavaScript projects.

Read more
(pkg.spooky.click)
Development Finite State Machine

Laser Fault Injection on a Budget: RP2350 Edition

2025-01-18
Laser Fault Injection on a Budget: RP2350 Edition

This article details how a custom-built, low-cost laser fault injection platform was used to successfully bypass the secure boot mechanism of Raspberry Pi's RP2350 microcontroller. Using an infrared laser, the platform cleverly circumvented the RP2350's glitch detectors. A single laser pulse injected a fault, altering the boot ROM's instruction flow, ultimately revealing hidden data. The author provides detailed explanations of the platform's hardware design, software architecture, and the attack process, including manufacturing files and source code.

Read more
(courk.cc)
Hardware Laser Fault Injection

Stanford Report Warns of Mirror Bacteria Feasibility and Risks

2024-12-17
Stanford Report Warns of Mirror Bacteria Feasibility and Risks

A Stanford University technical report details the feasibility of creating 'mirror bacteria' and their potential risks. Mirror bacteria, with all chiral molecules (proteins, nucleic acids, and metabolites) replaced by their mirror images, cannot evolve naturally but are becoming increasingly synthesizable. Immune systems and predation rely on chiral molecule interactions, meaning mirror bacteria could evade detection and control, potentially spreading unchecked and posing serious threats to humans, animals, plants, and the environment. The report comprehensively assesses synthesis, biosecurity, human health impacts, medical countermeasures, and ecological consequences, urging attention to this potential biosecurity risk.

Read more
(purl.stanford.edu)
AI biosecurity

Complete Decompilation of LEGO Island (1997)

2024-12-23
Complete Decompilation of LEGO Island (1997)

The isle project has achieved a functionally complete decompilation of the classic game LEGO Island (Version 1.1, English) released in 1997. The goal is to create an accurate representation of the original game's code, matching recompiled instructions to the original machine code. Both ISLE.EXE and LEGO1.DLL are fully decompiled and functionally identical to the originals. Further work focuses on improving code accuracy, naming, documentation, and structure. While some bugs may remain, the game is playable. The project uses CMake and recommends Microsoft Visual C++ 4.2 for compiling for optimal accuracy.

Read more
(github.com)
Game game decompilation LEGO Island reverse engineering

Starting a Business at 62: A Father's Inspiring Journey

2024-12-15
Starting a Business at 62: A Father's Inspiring Journey

At 62, after retirement, the author's father bravely started his own business, breaking free from a lifetime of self-imposed limitations stemming from a challenging childhood. He overcame his ingrained fear of risk, growing his business from humble beginnings to a thriving small shop. This isn't just a story of entrepreneurship; it's a testament to the power of pursuing dreams at any age, a beacon of inspiration showing that it's never too late to achieve your goals.

Read more
(thoughts.jatintiwari.com)
Startup entrepreneurship late-in-life career inspiration

Failed Startups Leave Employees Vulnerable to Data Breaches via Google Logins

2025-01-20
Failed Startups Leave Employees Vulnerable to Data Breaches via Google Logins

A security researcher discovered a critical vulnerability exposing employees of defunct startups to significant data breaches. By acquiring expired domains, attackers can exploit "Sign in with Google" to access company cloud software, potentially stealing Slack messages, Social Security numbers, and bank account details. While Google's OAuth configuration includes safeguards, improper implementation by some SaaS providers leaves the vulnerability exploitable. Tens of thousands of former employees and millions of SaaS accounts are at risk. Google has updated its documentation, advising companies to properly shut down cloud services, but the issue remains unresolved.

Read more
(techcrunch.com)
Tech startups

Why HNSW Isn't the Universal Solution for Vector Databases: The Rise of IVF

2024-12-23
Why HNSW Isn't the Universal Solution for Vector Databases: The Rise of IVF

HNSW, while popular for its speed and accuracy in vector similarity search, faces limitations in large-scale applications due to its memory-intensive nature. This article argues that disk-based alternatives like IVF (Inverted File Index), especially when combined with quantization techniques (RaBitQ, PQ, SQ, ScaNN), offer superior speed and scalability for massive datasets. IVF, by quantizing and compressing vectors, reduces memory footprint and leverages efficient prefetching and sequential scans for significantly faster search. Insertion and deletion costs are also lower. While HNSW excels in smaller-scale applications, IVF with quantization emerges as the more advantageous choice for massive datasets.

Read more
(blog.pgvecto.rs)
Development vector database

Visualizing Ruby's Lazy Enumerator: A Simple Trick

2025-01-10
Visualizing Ruby's Lazy Enumerator: A Simple Trick

This article uses an interactive demo to explain Ruby's lazy enumerator, `Enumerator::Lazy`. Unlike default eager enumeration, lazy enumeration only computes elements when needed, avoiding unnecessary work, especially beneficial with large datasets or complex data transformation pipelines. The article visually demonstrates the difference using 'vertical' and 'horizontal' analogies and suggests resources for a deeper dive into Ruby's lazy implementation.

Read more
(joyofrails.com)
Development Lazy Enumerator

SignWith: Pay-per-use E-signature Solution for Small Businesses

2024-12-21
SignWith: Pay-per-use E-signature Solution for Small Businesses

SignWith is a pay-per-use e-signature service designed for small businesses and freelancers, offering a compelling alternative to expensive monthly subscription models like DocuSign. It eliminates hidden fees and complex processes, allowing users to pay only for documents that are actually signed. With mobile-friendly functionality and reliable customer support, SignWith simplifies document signing for businesses of all sizes, from occasional use to frequent workflows.

Read more
(signwith.co)
Startup e-signature pay-per-use small business

LLMs: Exploring Arithmetic Capabilities in the Pursuit of AGI

2024-12-24
LLMs: Exploring Arithmetic Capabilities in the Pursuit of AGI

This article explores why large language models (LLMs) are being used for calculation. While LLMs excel at natural language processing, researchers are attempting to make them perform mathematical operations, from simple addition to complex theorem proving. This isn't to replace calculators, but to explore the reasoning capabilities of LLMs and ultimately achieve artificial general intelligence (AGI). The article points out that humans have always tried to use new technology for computation, and testing the mathematical abilities of LLMs is a way to test their reasoning abilities. However, the process of LLMs performing calculations is drastically different from that of calculators; the former relies on vast knowledge bases and probabilistic models, while the latter is based on deterministic algorithms. Therefore, LLM calculation results are not always accurate and reliable, highlighting the trade-off between practicality and research.

Read more
(vickiboykis.com)
AI Artificial General Intelligence Computational Ability
1 2 … 540 541 542 544 546 547 548 … 557 558