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

Software is About Promises: A Case Study in Personal Library Science

2025-06-09
Software is About Promises: A Case Study in Personal Library Science

This article explores the crucial role of 'promises' in software development. The author argues that a developer's promises to users, much like a product specification, should be clear and testable. Using 'Your Commonbase', a personal library software, as a case study, the article demonstrates how to break down software functionality (store, search, synthesize, share) into specific, achievable promises and prioritize development based on resources. The author highlights how clear promises protect developers, users, and the software's integrity.

Read more
(www.bramadams.dev)
Development Promises Case Study

Apple Issues Warnings for Apps Using External Payment Systems in the EU

2025-05-15

Apple has begun issuing warnings for apps in the EU that use external payment systems instead of in-app purchases (IAP). The warning appears prominently at the top of the App Store listing, even after an app has been installed and updated. This has raised concerns among developers, despite the EU's Digital Markets Act (DMA) prohibiting scare screens at the point of purchase. Apple defines three warning levels in macOS, and the external payments warning uses the highest 'critical' level. However, developers question how many users will notice these warnings, as apps can auto-update, adding external payment functionality without requiring users to revisit the App Store.

Read more
(mjtsai.com)
Development In-App Purchases EU Digital Markets Act

The Rise of Agentic Business Objects: Data That Works for You

2025-03-02
The Rise of Agentic Business Objects: Data That Works for You

For decades, business data has been passive, waiting for humans to process it. Now, AI is giving data agency. This article explores the concept of Agentic Business Objects (ABOs), intelligent entities that can autonomously handle workflows, coordinate resources, and even communicate with other systems. Using the example of an invoice, the author demonstrates how ABOs can independently manage approval, payment, and reconciliation processes. The article envisions applications across sales, support, and HR, transforming enterprise software architecture and freeing humans to focus on higher-value work. This shift moves us from data operators to process orchestrators, unleashing human potential for creativity and innovation.

Read more
(10xbetterai.beehiiv.com)
Development Enterprise Software

GPU-Accelerated Computational Lithography: From Days to Hours

2025-03-07
GPU-Accelerated Computational Lithography: From Days to Hours

Modern semiconductor manufacturing faces immense computational challenges, particularly in lithography for deep submicron chips. Traditional OPC techniques are limited by computational power, while ILT, though more flexible, demands massive resources, potentially utilizing thousands of CPU cores for days. To address this, NVIDIA, TSMC, and Synopsys collaborated to migrate lithography code from CPUs to GPUs, achieving significant speedups. By optimizing algorithms and leveraging GPU parallelism, they reduced ILT computation time from multiple days to under a day, achieving over a 15x speed increase. This breakthrough promises to greatly advance the semiconductor industry.

Read more
(semiengineering.com)
Tech lithography semiconductor manufacturing

North American Rail System Restructuring: A 1977-2021 Chronicle

2025-06-27

This article chronicles major changes to the North American Class I railroad system from 1977 to 2021, a period marked by numerous mergers, acquisitions, and corporate restructurings. From the bankruptcies of railroads like the Chicago, Milwaukee, St. Paul and Pacific to the rise of CSX and Norfolk Southern, and the eventual merger of Burlington Northern and Santa Fe, the article details the dramatic reshaping of the North American rail landscape and the rise and fall of numerous railroad companies. These events fundamentally reshaped the North American rail transportation network, laying the groundwork for the system we see today.

Read more
(en.wikipedia.org)
Tech mergers

40-Year-Old Text Adventure Resurrected: The Plot of the Phantom

2025-06-30
40-Year-Old Text Adventure Resurrected: The Plot of the Phantom

The author started a text adventure game, The Plot of the Phantom, back in 1984 but abandoned it due to memory limitations. Fast forward to 2025, amidst a pandemic and life's pressures, the author revisited the project, recreating it using Inform 7. The new version retains the original maps and puzzles, adding personal experiences and reflections. Now playable in a web browser, this nostalgic game offers a 1-2 hour gameplay experience for fans of text adventures.

Read more
(scottandrew.com)
Game text adventure

Igniting Kids' Math Passion Through Storytelling

2025-04-20

This essay recounts how storytelling can effectively engage children with mathematics. The author shares personal anecdotes, including using fictional spy stories to subtly integrate math concepts into exciting adventures, and inventing heroic tales to boost young scouts' confidence and overcome challenges. The core argument is that storytelling is far more effective than rote exercises for children, fostering a natural curiosity and deeper understanding of mathematical principles. The author advocates for more story-focused math content to bridge the gap between basic number sense and more advanced concepts.

Read more
(www.jeremykun.com)
Misc childhood education

Steam UK Implements Credit Card Age Verification, Bypassing VPN Workarounds?

2025-08-29
Steam UK Implements Credit Card Age Verification, Bypassing VPN Workarounds?

To comply with the UK's Online Safety Act, Steam now requires all UK users to verify their age with a credit card to access mature content and games. This has sparked controversy, as users without credit cards are locked out. Valve claims this maximizes user privacy and prevents age verification circumvention. Weeks after the UK's new age-gating rules were found easily bypassed via VPNs, and following brief exploits of Discord and Reddit's age verification, this move is significant. Microsoft is also rolling out Xbox age verification in the UK, currently optional but mandatory in early 2026.

Read more
(www.theverge.com)
Game

Private Equity's Predatory Grip on Disability Services: A National Crisis

2025-08-29
Private Equity's Predatory Grip on Disability Services: A National Crisis

Private equity firms are aggressively acquiring group homes and other disability services, leading to widespread reports of abuse, neglect, and even death. Driven by profit maximization, these firms often cut costs, compromising the quality of care. While states like Florida have attempted to sanction companies like Sevita, a major player in the field, enforcement is hampered by the firms' multi-state operations and vast resources. Federal and state regulators struggle to keep pace, highlighting a systemic failure to protect vulnerable populations. Some states are enacting stricter regulations on healthcare mergers and acquisitions, but a comprehensive solution remains elusive.

Read more
(www.governing.com)
Misc disability services

Cross-Compiling Raylib Lisp Bindings and Games for Windows from Linux

2025-06-30

This article details the process of cross-compiling C code and an SBCL Lisp program for Windows from Linux, using Wine to run a Windows SBCL within a Linux-based Emacs, and loading .dll files into the Lisp image to produce a .exe executable. The author outlines cross-compiling C code using mingw-w64-toolchain, configuring the Raylib library for cross-compilation to generate .dll files, installing and using SBCL within Wine, leveraging vend for dependency management, and finally using sb-ext:save-lisp-and-die to create the Windows executable.

Read more
(www.fosskers.ca)
Development

Universe's Demise Prediction Debunked: A Scientific Mishap Based on Crude Approximation

2025-05-17
Universe's Demise Prediction Debunked: A Scientific Mishap Based on Crude Approximation

A recent paper claimed that any massive object emits Hawking radiation, leading to the universe ending sooner than expected. This conclusion sparked widespread attention but was quickly challenged. Critics pointed out that the paper used a crude approximation, whose results are proven false even in simpler models. In fact, the physics community rigorously proved 50 years ago that the gravitational field of a static object does not create particle-antiparticle pairs. This incident highlights the importance of information verification in science communication and the need for critical thinking when interpreting scientific findings.

Read more
(johncarlosbaez.wordpress.com)
Tech universe's end

Apple Faces Criminal Investigation After Judge Rules Exec Lied Under Oath

2025-05-01
Apple Faces Criminal Investigation After Judge Rules Exec Lied Under Oath

Apple is facing a criminal investigation after a judge ruled that its VP of Finance, Alex Roman, lied under oath in the ongoing legal battle with Epic Games. The judge found Apple deliberately ignored her ruling allowing developers to use alternative payment systems, and that Roman's testimony contained multiple lies. This refusal to comply, following Apple's initial victory in court, has escalated the dispute to a criminal level, with potential jail time for Roman and significant sanctions against Apple. The case highlights Apple's attempts to circumvent the court's decision and maintain its App Store commission structure, even in the face of clear legal defeat. The judge's decision marks a serious blow to Apple's reputation and could have significant legal repercussions.

Read more
(9to5mac.com)
Tech Perjury

Shining Light Through the Head: A Breakthrough in Brain Imaging

2025-08-04
Shining Light Through the Head: A Breakthrough in Brain Imaging

Researchers at the University of Glasgow have achieved a breakthrough in brain imaging, successfully transmitting near-infrared light through an entire adult human head. This opens the door to cheaper, more portable brain imaging technology that overcomes the limitations of current methods like EEG and fMRI. The technology could enable deeper brain imaging, potentially revolutionizing diagnosis and treatment of neurodegenerative diseases like Alzheimer's. While still in its early stages, the potential impact on brain health diagnostics and treatment is immense.

Read more
(spectrum.ieee.org)
Tech brain imaging optical imaging

Demystifying Markov Chain Monte Carlo: A Simple Explanation

2025-04-16

This post provides a clear and accessible explanation of Markov Chain Monte Carlo (MCMC), a powerful technique for sampling from complex probability distributions. Using an analogy of estimating probabilities of baby names, the author illustrates the core problem MCMC solves. The explanation cleverly relates MCMC to a random walk on a graph, leveraging the stationary distribution theorem to show how to construct a Markov chain whose stationary distribution matches the target distribution. The Metropolis-Hastings algorithm, a common MCMC method, is introduced and its effectiveness is demonstrated.

Read more
(www.jeremykun.com)
AI Markov Chain Monte Carlo Probability Distribution Sampling Metropolis-Hastings Algorithm

The Original INTERCAL-72 Compiler Source Code Rediscovered

2025-06-02
The Original INTERCAL-72 Compiler Source Code Rediscovered

The original source code for the INTERCAL-72 compiler, created by Don Woods and Jim Lyon at Princeton in 1972, has been rediscovered and made public. INTERCAL, a notorious esolang (esoteric programming language), intentionally subverts conventional programming practices with its bizarre syntax and counter-intuitive design. This rediscovery allows programmers to experience firsthand this legendary language and understand its significant influence on the evolution of esoteric programming languages.

Read more
(esoteric.codes)
Development programming language history

Mystery Solved: Apple II MouseCard's VBL-Synced Interrupts

2025-05-08
Mystery Solved: Apple II MouseCard's VBL-Synced Interrupts

This post delves into the synchronization mechanism between the Apple II MouseCard's IRQ interrupts and vertical blanking (VBL). The author initially observed flickering in MAME emulation but smooth rendering on real hardware. Through community interaction and analysis of the MouseCard firmware, the mystery was solved: the MouseCard doesn't directly receive the VBL signal but uses software on a 68705 microprocessor to precisely calculate and trigger interrupts, achieving VBL synchronization. This involves manipulating 6821 PIA registers and configuring the 68705's internal timer, ultimately achieving highly accurate VBL synchronization, consistent with Apple's official documentation.

Read more
(www.colino.net)
Development VBL synchronization

Birds' Brains: Convergent Evolution of Cognitive Power

2025-04-08
Birds' Brains: Convergent Evolution of Cognitive Power

New research using single-cell RNA sequencing reveals surprising similarities in the brain structures of birds and mammals, despite their distinct evolutionary paths. Scientists have long puzzled over how birds, lacking a neocortex, possess complex cognitive abilities. The study found that the avian dorsal ventricular ridge (DVR) functionally mirrors the mammalian neocortex, but its development, cell types, and generation timing differ significantly, suggesting independent evolution rather than inheritance from a common ancestor. This challenges long-held beliefs about brain evolution and suggests our understanding of 'optimal intelligence' may be too narrow.

Read more
(www.quantamagazine.org)
Tech Evolutionary Biology Avian Brain

Jane Street Summer Internship Projects: Faster JSQL, Improved Torch Bindings, and Cross-Process Memory Management

2025-08-29
Jane Street Summer Internship Projects: Faster JSQL, Improved Torch Bindings, and Cross-Process Memory Management

Jane Street highlights three standout projects from this year's summer internship program: Leo Gagnon's JSQL evaluator, achieving hundreds of times speedup through indexing; Aryan Khatri's improved OCaml Torch bindings, leveraging OxCaml for safe and efficient GPU memory management; and Anthony Li's cross-process memory management library, eliminating serialization overhead with reference counting. These projects not only boost internal tools' efficiency but also contribute valuable code to the open-source community.

Read more
(blog.janestreet.com)
Development

Deno's Future: Not Fading, but Ascending

2025-05-20
Deno's Future: Not Fading, but Ascending

Addressing recent criticism surrounding Deno, Deno Deploy, KV, and Fresh, the Deno team asserts that Deno's momentum is strong, with user numbers doubling. Regarding the reduction in Deno Deploy regions, the team explains this is an optimization for cost and performance, evolving the platform into a full-stack application hosting platform. While Deno KV won't be the central solution for all state management, stronger tools are in development. Fresh 2 is also imminent, bringing significant improvements. The Deno team emphasizes their commitment to building a complete JavaScript platform, focusing on a cohesive system rather than feature parity, and actively participating in improving and growing the JavaScript ecosystem.

Read more
(deno.com)
Development

A Leap Year Check in Three Instructions

2025-05-15

This article presents a surprisingly efficient algorithm to determine if a year (0 ≤ y ≤ 102499) is a leap year using only about three CPU instructions. It leverages bit manipulation and carefully chosen magic numbers to transform the complex leap year rules into a simple arithmetic operation and comparison. The author meticulously explains the algorithm's derivation, comparing it to traditional methods and highlighting its significant speed advantage. While slightly slower in edge cases, its efficiency in practical applications is impressive.

Read more
(hueffner.de)
Development leap year

A Beginner's Guide to Forth in JavaScript

2025-09-22

This short ebook teaches the Forth programming language, a unique language lacking type-checking and with minimal syntax. It includes a simple JavaScript implementation of Forth and guides you through core concepts like stack manipulation, word definition, conditionals, loops, and culminates in a simple Snake game implementation.

Read more
(skilldrick.github.io)
Development

OBS Studio and Fedora Flatpak Settle Dispute

2025-02-24
OBS Studio and Fedora Flatpak Settle Dispute

A conflict between the OBS Studio team and Fedora Linux developers regarding the Fedora Flatpak version of OBS Studio has been resolved. An initial legal threat escalated the situation, but both parties engaged in discussions. The OBS Studio team has dropped its request to remove IP or rebrand the Fedora Flatpak application. Going forward, they will collaborate to address remaining technical issues, including Qt runtime regressions, bug reporting mechanisms, and problems related to hardware acceleration, X11 fallback, and plugins.

Read more
(www.gamingonlinux.com)
Development

Recreating Delicious Library in 2025?

2025-01-29

The author, a long-time admirer of Delicious Library's design since the early 2000s, recounts multiple attempts to recreate its functionality as a web app. From internal tools like Code Helper to independent projects like catalog.im and various design concepts, the author's journey reflects a persistent pursuit. The article concludes with a proposal for a new web-based Delicious Library, soliciting reader feedback and sparking discussion about merging nostalgic software design with modern web applications.

Read more
(dingyu.me)
Design

Jane Jacobs: Rebellious Prophet of Urban Planning

2025-04-17

This article delves into the life and work of Jane Jacobs, a legendary figure whose book, *The Death and Life of Great American Cities*, revolutionized urban planning. Known for her insightful observations of traditional urban fabric and sharp critiques of modern urban renewal, Jacobs championed mixed-use zoning, short blocks, and other principles, successfully thwarting destructive projects in New York. However, the article also highlights limitations in Jacobs's thinking, such as an overemphasis on street layouts while neglecting socioeconomic factors. Ultimately, the piece argues that understanding the complexities of urban development requires considering diverse perspectives, including the contributions of Jacobs, Mumford, and even Moses.

Read more
(salmagundi.skidmore.edu)
Design

Dagger Cloud v3: Rewriting the Frontend in Go and WebAssembly for Superior Performance

2025-02-11
Dagger Cloud v3: Rewriting the Frontend in Go and WebAssembly for Superior Performance

The Dagger team rewrote their Dagger Cloud web interface from React to a v3 version using Go and WebAssembly. This was done to unify two UI codebases (terminal and web UI), boosting development speed and performance. Despite the non-mainstream nature of the Go and WebAssembly combination, by utilizing the Go-app framework and significant memory optimizations, they successfully built a faster, smoother, and consistent user interface mirroring their terminal UI. The project highlights challenges and opportunities of using Go and WebAssembly, such as memory limits and the lack of readily available component libraries. Ultimately, Dagger Cloud v3 delivered performance improvements and increased developer efficiency for the team.

Read more
(dagger.io)
Development

Energy Infrastructure Projects: A Shocking Truth About Massive Cost Overruns

2025-05-31

A new study from Boston University's Institute for Global Sustainability reveals that over 60% of energy infrastructure projects worldwide experience construction cost overruns. Analyzing $1.358 trillion invested in 662 projects across 83 countries between 1936 and 2024, the research encompassed diverse energy types, from wind and solar to nuclear and hydrogen. The study found that projects, on average, exceeded budgets by 40% and ran nearly two years behind schedule. Nuclear power plants were the worst offenders, with an average cost overrun of 102.5%, exceeding expectations by $1.56 billion. In contrast, solar and transmission projects performed best, often finishing ahead of schedule or under budget. Researchers suggest that smaller, modular renewable energy projects may offer lower financial risks and better budget predictability.

Read more
(www.bu.edu)
Tech

Daily Driving a Linux Phone: A Journey of Privacy and Minimalism

2025-04-24

The author documents their experiment in daily driving a Linux phone instead of Android or iOS. This isn't about convenience, but a quest for enhanced security, privacy, and a different lifestyle. While acknowledging the slower hardware of the PinePhone Pro, the author prioritizes the open-source nature and privacy benefits of Linux. The ultimate goal is to install PostmarketOS on a more powerful LGv40 Thinq for a superior experience.

Read more
(thefoggiest.dev)
Tech

400x Faster Static Embedding Models with Sentence Transformers

2025-01-15
400x Faster Static Embedding Models with Sentence Transformers

This blog post introduces a method to train static embedding models that are 100x to 400x faster on CPU than state-of-the-art embedding models, while maintaining most of the quality. This unlocks exciting use cases like on-device and in-browser execution. Two highly efficient models are presented: sentence-transformers/static-retrieval-mrl-en-v1 for English retrieval and sentence-transformers/static-similarity-mrl-multilingual-v1 for multilingual similarity. These models achieve at least 85% of the performance of counterparts like all-mpnet-base-v2 and multilingual-e5-small, while being significantly faster on CPU.

Read more
(huggingface.co)
AI static embeddings sentence transformers

SteamOS 3.7.8: Official Support for Legion Go and ROG Ally

2025-05-24
SteamOS 3.7.8: Official Support for Legion Go and ROG Ally

Valve's massive SteamOS 3.7.8 update is here, bringing official support for AMD-powered handhelds like the Lenovo Legion Go and Asus ROG Ally. This update fixes installation bugs on the Legion Go S, adds a "SteamOS Compatible" library tab, and improves the SteamOS recovery image. The Steam Deck also receives significant improvements, including a new battery charge limit feature, updated Linux kernel, Mesa graphics driver, and Plasma desktop.

Read more
(www.polygon.com)
Game
1 2 … 74 75 76 78 80 81 82 … 596 597