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

Firaxis's Genesis: From MicroProse's Demise to the Legacy of Civilization

2025-06-20

In 1996, disillusioned with the failing MicroProse, Civilization II's lead designer Brian Reynolds and co-designer Jeff Briggs decided to strike out on their own. They recruited Sid Meier, and the trio, armed with code and experience from MicroProse, founded Firaxis Games. Initially operating from cramped quarters, they persevered under difficult conditions. Meier's reputation secured EA investment, leading to the development of Sid Meier's Gettysburg! and the highly anticipated Alpha Centauri. While mechanically indebted to the Civilization series, Alpha Centauri featured a stronger narrative and deeper philosophical themes, exploring the future and challenges of human civilization. Though some gameplay mechanics fell short, its compelling story and insightful reflections on the future cemented its place as a classic.

Read more
(www.filfre.net)
Game Strategy Games

Proving Memoization Correctness in Lean: A Case Study

2025-06-20
Proving Memoization Correctness in Lean: A Case Study

This blog post demonstrates how to solve a dynamic programming problem using memoization in the Lean theorem prover and formally verify its correctness. The author tackles the Bytelandian Gold Coins problem, initially presenting a memoized solution using a HashMap. The difficulty of directly proving its correctness is highlighted due to challenges in reasoning about data structure invariants. The solution leverages subtypes and dependent pairs to create a `PropMap`, a memoization table that stores not only computed values but also proofs of their correctness. The algorithm's correctness is then proven incrementally within the recursive implementation itself, culminating in a trivial top-level proof. This approach elegantly intertwines code and proof, showcasing a powerful technique for formally verifying dynamic programming algorithms.

Read more
(tannerduve.github.io)
Development dynamic programming

Amazon Warns AI Will Shrink Its Workforce

2025-06-20
Amazon Warns AI Will Shrink Its Workforce

Amazon CEO Andy Jassy warned employees that artificial intelligence will lead to a smaller workforce in the future. Efficiency gains from AI will ultimately reduce the need for human employees, though the exact impact remains unclear. Over the next few years, widespread AI adoption is expected to decrease Amazon's overall employee count. Jassy also noted that AI's impact extends beyond Amazon, transforming how people work and live, and spawning countless AI agents. However, this prediction is controversial; critics argue these warnings lack research and come from those set to profit from AI adoption. Economists acknowledge AI's significant potential impact on the economy and employment but say the current effect is difficult to isolate due to broader economic slowdown and reduced hiring activity.

Read more
(www.cnn.com)
Tech

Avoid Negativity: Crucial Career Advice

2025-06-20

This article emphasizes the importance of avoiding negativity echo chambers in one's career. While acknowledging that some complaining is normal, it warns against prolonged immersion in groups filled with negativity, impacting both career progression and mental/physical well-being. The author suggests focusing on positive aspects and striving for improvement if career advancement is desired, or dedicating energy to personal enjoyment if not. The article advocates finding positive communities and role models for genuine progress, rather than dwelling on endless complaints. Actively participating in and protecting cherished communities, while setting a positive example, is key to building a constructive environment.

Read more
(brooker.co.za)
Misc negativity bias

23,000-Year-Old Footprints Push Back Human Presence in North America

2025-06-20
23,000-Year-Old Footprints Push Back Human Presence in North America

Ancient human footprints discovered at White Sands National Park in New Mexico have had their age reaffirmed. Initial radiocarbon dating placed them between 23,000 and 21,000 years ago, but this was challenged due to concerns about groundwater contamination of aquatic plant samples. The team retested using radiocarbon dating on pollen from the same layers (pine, spruce, and fir), and optically stimulated luminescence dating on quartz grains above the lowest footprint layer. The new results corroborate the original age estimate, confirming the footprints' antiquity and suggesting human presence in the region before ice sheets isolated southern North America.

Read more
(arstechnica.com)
Tech ancient footprints radiocarbon dating White Sands National Park

EU Eyes Shift from Microsoft Cloud to Boost Digital Sovereignty

2025-06-20
EU Eyes Shift from Microsoft Cloud to Boost Digital Sovereignty

The European Commission is in advanced talks with OVHcloud, a major European cloud provider, to transition its cloud services away from Microsoft. This move, driven by concerns over US executive orders and a desire for greater digital sovereignty, aims to give European institutions more control over their data and infrastructure. While OVHcloud is a leading contender, other European providers are also being considered. The Commission's streamlined internal structure, combining digital policy and IT under one commissioner, has facilitated this strategic shift.

Read more
(www.euractiv.com)
Tech

16 Billion Login Credentials Leaked: A Cybersecurity Nightmare

2025-06-20
16 Billion Login Credentials Leaked: A Cybersecurity Nightmare

Cybersecurity firm Cybernews has uncovered a massive data breach exposing 16 billion login credentials across 30 datasets. The leaked information, affecting platforms like Google, Facebook, and Apple, likely stems from multiple breaches over time, possibly perpetrated by infostealers. Experts urge users to change passwords, avoid reusing credentials, and enable multi-factor authentication to mitigate the risk.

Read more
(apnews.com)
Tech

Arma 3 Update 2.20: A Decade of Refinement, Smoother Gameplay via Multithreading Overhaul

2025-06-20
Arma 3 Update 2.20: A Decade of Refinement, Smoother Gameplay via Multithreading Overhaul

Twelve years after its initial release, Arma 3 continues to receive updates! Update 2.20 features a complete overhaul of its multithreading code, focusing on fixing lag spikes and raising minimum FPS for a smoother gaming experience. While maximum FPS gains might be negligible or even slightly lower in some cases (above 100 FPS), the gameplay feels significantly smoother. This isn't simply adding multithreading; it leverages the new task system from the Enfusion engine used in Arma Reforger and Arma 4. This allows for more granular task allocation and parallel processing, resulting in noticeable improvements in AI calculations and explosion effects. However, due to scripting limitations and engine constraints, not everything could be multithreaded, and performance impact varies depending on system configuration and mods. Further optimizations are planned, but with limited resources, the team must balance optimization efforts with the development of new features.

Read more
(dev.arma3.com)
Game

Tux Racer in Your Browser: A Classic Returns

2025-06-20
Tux Racer in Your Browser: A Classic Returns

TuxRacer.js is an open-source browser-based port/rewrite of the classic penguin-racing game, Tux Racer, and its successor, Extreme Tux Racer. Playable on desktop and mobile browsers, players control Tux using keyboard/mouse (desktop) or touch input (mobile), navigating varied terrains and environments. Multiple courses and environments are selectable, with URL parameters allowing customization. While in early development, the game is already enjoyable.

Read more
(github.com)
Game Browser Game

Silicon Valley Execs Become US Army Lieutenant Colonels: The Rise of the Tech-Military Complex

2025-06-20
Silicon Valley Execs Become US Army Lieutenant Colonels: The Rise of the Tech-Military Complex

Four senior executives from Palantir, Meta, and OpenAI have been appointed lieutenant colonels in a newly formed US Army unit, the "Executive Innovation Corps." This initiative aims to integrate cutting-edge tech expertise into military operations. The move highlights the increasingly close relationship between Big Tech and the military, raising questions about the implications for warfare and society. Palantir's significant government contracts and dominance in data analytics are particularly noteworthy in this context.

Read more
(thegrayzone.com)
Tech

arXivLabs: Experimenting with Community Collaboration

2025-06-20
arXivLabs: Experimenting with Community Collaboration

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on our website. Individuals and organizations working with arXivLabs embrace our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners who share them. Have an idea for a project that will benefit the arXiv community? Learn more about arXivLabs.

Read more
(arxiv.org)
Development

YouTube's New Anti-Adblock Technique: Fake Buffering and How to Bypass It

2025-06-20

YouTube has rolled out another round of anti-adblock measures, one of which is "fake buffering." Videos experience artificially long buffering at the start, proportional to the ad duration. This is because YouTube's InnerTube API, when adblocking is detected, returns video streams from GVS (Google Video Services) with delays. The author found a solution by modifying a uBlock Origin filter to add `isInlinePlaybackNoAd: true` to the JSON request. However, YouTube implemented a locker script, necessitating a workaround by hooking Object.assign.

Read more
(iter.ca)
Development adblocking

The Double-Edged Sword of AI: Efficiency vs. Extinction of Crafts?

2025-06-20
The Double-Edged Sword of AI: Efficiency vs. Extinction of Crafts?

This article explores the impact of generative AI tools on various industries, particularly software development and art creation. Using the historical narrative of weavers and power looms, the author argues that while AI increases efficiency, it risks the extinction of traditional crafts and the pursuit of high quality. Concerns are raised about AI being used to cut costs rather than improve quality, along with its security vulnerabilities and detrimental effects on social equity. The author ultimately calls for a focus on the ethical implications of AI, preventing its misuse, and emphasizing the importance of high quality and human creativity.

Read more
(xeiaso.net)
AI

HashiCorp Deprecates HCP Vault Secrets

2025-06-20
HashiCorp Deprecates HCP Vault Secrets

HashiCorp announced the decommissioning of its HCP Vault Secrets service, effective August 27, 2025, for pay-as-you-go customers. The company will integrate the usability improvements from HCP Vault Secrets into HCP Vault Dedicated. Existing users are encouraged to migrate to HCP Vault Dedicated or Vault Community. Sales end June 30, 2025; existing customers can add new applications until end-of-life. Flex contract customers are unaffected.

Read more
(support.hashicorp.com)
Development

Cracovian Algebra: An Obscure Approach to Linear Algebra

2025-06-20
Cracovian Algebra: An Obscure Approach to Linear Algebra

This article introduces Cracovian algebra, an alternative to matrix-based linear algebra. Invented by Polish astronomer Tadeusz Banachiewicz, Cracovians use a unique multiplication rule, resulting in different outcomes compared to matrix multiplication and violating commutativity and associativity. While Cracovians offered advantages in the era of manual calculations, modern computers show no significant difference in computational efficiency between Cracovian and matrix multiplication. The author uses Python code to compare computation times, confirming this conclusion.

Read more
(marcinciura.wordpress.com)
Misc Cracovian algebra

Nxtscape: The Open-Source Agentic Browser – Your AI-Powered Productivity Sidekick

2025-06-20
Nxtscape: The Open-Source Agentic Browser – Your AI-Powered Productivity Sidekick

Nxtscape, an open-source browser built on Chromium, offers a privacy-first alternative to closed-source options. It allows users to run agents like Manus locally, boosting productivity with an AI assistant. Unlike Chrome, Nxtscape keeps AI functionality local, prioritizing user privacy. Its vision is to reinvent the browser experience, tackling issues like tab overload and cumbersome form filling. Future features include an MCP store and a built-in AI ad blocker. The project is open-source and community-driven, encouraging user participation.

Read more
(github.com)
Development Open-Source Browser

Escape the Data Science Production Nightmare: A Pythonic Solution with Marimo and Bauplan

2025-06-20
Escape the Data Science Production Nightmare: A Pythonic Solution with Marimo and Bauplan

Getting machine learning models from prototype to production remains a significant hurdle for data scientists. Traditional approaches rely on fragile Jupyter Notebooks or expensive, time-consuming DevOps handoffs. This article introduces Marimo and Bauplan, a Pythonic tool combination that provides a seamless transition from prototype to production by keeping the entire workflow within the Python ecosystem. Marimo is a modern open-source notebook that combines the flexibility of Jupyter with the maintainability of scripts, while Bauplan is a cloud data platform supporting Pythonic workflows with built-in data versioning and declarative environments. With these tools, data scientists can directly deploy code from their notebooks to production without complex refactoring or cross-team collaboration, dramatically simplifying the production process and increasing efficiency.

Read more
(www.bauplanlabs.com)
Development

Microsoft's Silent Driver Purge: Breaking Your Old Hardware?

2025-06-20
Microsoft's Silent Driver Purge: Breaking Your Old Hardware?

Microsoft is quietly removing outdated drivers from Windows Update, citing security and reliability. However, this could break hardware for users relying on legacy devices. Without individual warnings, drivers simply disappear from Windows Update. Only the original hardware partner can restore them, but Microsoft might require business justification, and drivers are permanently deleted after six months of inactivity. This is a nightmare for users of older hardware, potentially impacting even enterprise environments. Microsoft plans to continue this purge regularly.

Read more
(nerds.xyz)
Hardware Drivers

Nausicaä's Visual Storytelling: A Powerful Anti-War and Environmental Message

2025-06-20
Nausicaä's Visual Storytelling: A Powerful Anti-War and Environmental Message

This paper analyzes how Hayao Miyazaki's *Nausicaä of the Valley of the Wind* uses visual storytelling, specifically mise-en-scène elements like color, lighting, and body language, to amplify its anti-war and environmental themes. The author argues that the film's visuals aren't merely aesthetic choices but crucial narrative devices conveying the impact of war on both people and nature. By drawing parallels between the Giant Warriors and nuclear weapons, and examining the use of color and character expressions in war scenes, the paper demonstrates how the film bridges fantasy and reality, prompting reflection on the environmental and human consequences of warfare and advocating for peace and environmental consciousness.

Read more
(jgeekstudies.org)
Game Nausicaä Visual Storytelling

NYC Congestion Pricing: From Hate to Love

2025-06-20
NYC Congestion Pricing: From Hate to Love

New York City speech therapist Maura Ryan initially dreaded the new congestion pricing policy, as she drives across the East River multiple times a day to see patients in Queens and Manhattan. However, since its implementation, her opinion has changed. A journey that once took an hour or more now takes only 15 minutes. Many New Yorkers have echoed her sentiment, shifting from strong opposition to support.

Read more
(www.economist.com)
Misc NYC traffic policy shift

Minimal Automatic Differentiation Engine in Rust

2025-06-20
Minimal Automatic Differentiation Engine in Rust

This is a minimal automatic differentiation engine written in Rust. It can train a tiny Multi-Layer Perceptron to learn the XOR function and render a computation graph of a single Perceptron to graph.html. The core is the Scalar struct, storing value, optional gradient, and an Edge describing the operation that produced it. Operator overloads and helper functions build a directed acyclic graph, caching the local derivative for every edge. `backward()` recursively propagates gradients from the output node, accumulating them into leaf nodes created with `Scalar::new_grad`. The graph can be visualized with `plot::dump_graph`.

Read more
(github.com)
Development Automatic Differentiation

Klong: A Concise Array Language

2025-06-20

Klong is a concise array language similar to K, but without the ambiguity. It uses mathematical notation for programming, which might seem simplistic to those familiar with K or APL, while posing a challenge to newcomers. Comprehensive documentation is available, including a reference manual, introductory guide, quick reference, and a comparison of Klong and K. Written in pure ANSI C, it's easy to compile and install, and a vectorized version called KlongPy is also available.

Read more
(t3x.org)
Development

Massive Malware Network Discovered on GitHub

2025-06-20

Klarrio uncovered a large-scale malware network operating on GitHub. The network uses 2,400 repositories containing malware and 15,000 fake accounts to promote cloned projects with deceptively high ratings. Attackers leverage AI to constantly update the malware, evading detection. Klarrio has reported the issue to GitHub and golang.org, urging users to blacklist specific URLs.

Read more
(klarrio.com)
Tech GitHub Security AI-powered Attacks

Phoenix.new: An Elixir-based Online Coding Agent Revolutionizing Real-time App Development

2025-06-20
Phoenix.new: An Elixir-based Online Coding Agent Revolutionizing Real-time App Development

Chris McCord, creator of the Phoenix framework, unveils Phoenix.new, an Elixir-based online coding agent. Running in an isolated VM with root shell access, the agent can install packages, run programs, and interact with applications. Integrated with a browser for front-end testing and interaction, Phoenix.new automates deployment, integrates with Github, and drastically simplifies the development workflow. It can even generate applications based on database schemas. McCord suggests this represents a massive shift in development, with future development likely relying more on agents working in CI environments.

Read more
(fly.io)
Development

Broadcom's VMware Bundling: Value Proposition or Cost Trap?

2025-06-20
Broadcom's VMware Bundling: Value Proposition or Cost Trap?

Broadcom's shift to subscription bundles for VMware software, following its acquisition, has angered smaller customers who report cost increases of 8 to 15 times. Broadcom counters that 87% of its top 10,000 customers have adopted VMware Cloud Foundation (VCF), arguing many weren't fully utilizing the bundled components. Customers are discovering VCF's capabilities in configuration, security, and cost management, previously unavailable with their piecemeal solutions. However, industry analysts remain skeptical, suggesting aggressive sales tactics may have forced purchases of unnecessary software. The situation highlights ongoing enterprise exploration of private and hybrid cloud strategies, driven by concerns over public cloud costs and data sovereignty.

Read more
(www.theregister.com)
Tech

Funding the Future: Solving the Financial Hurdles for Breakthrough Business Networks (BBNs)

2025-06-20
Funding the Future: Solving the Financial Hurdles for Breakthrough Business Networks (BBNs)

The UK's Advanced Research and Invention Agency (ARIA) is exploring a new type of R&D organization: Breakthrough Business Networks (BBNs). This article dives into the financial challenges faced by BBNs, including cash flow issues, startup capital needs, and risk capital requirements. A potential solution, an "R&D lending facility," is proposed, along with various financing models such as revenue-based finance, low-interest loans, and revolving loan funds. These aim to foster the growth of BBNs and boost UK technological innovation.

Read more
(www.freaktakes.com)
Tech Tech Innovation Funding Models R&D Organizations

Telegram Founder Durov to Leave $13.9B Fortune to Over 100 Children

2025-06-20
Telegram Founder Durov to Leave $13.9B Fortune to Over 100 Children

Pavel Durov, founder of the messaging app Telegram, plans to bequeath his estimated $13.9 billion fortune to over 100 children—six biological children and numerous others conceived via sperm donation. Durov stated all children will inherit equally, but with a 30-year delay to encourage independence. This decision stems from the risks associated with his work and concerns for Telegram's future. Durov currently faces accusations including money laundering and child pornography distribution, which he denies.

Read more
(www.cnn.com)
Startup

UK Parliament Narrowly Approves Assisted Dying Bill

2025-06-20
UK Parliament Narrowly Approves Assisted Dying Bill

The UK Parliament narrowly passed a bill legalizing assisted dying for terminally ill individuals after a heated debate. The bill, which allows those with less than six months to live and a terminal illness to end their lives under strict conditions, places the UK among a small number of countries permitting assisted dying. The decision sparks complex discussions about autonomy, ethics, and resource allocation. Supporters argue it offers a compassionate choice for the terminally ill, while opponents express concerns about ethical implications and call for improvements in palliative care. The bill now moves to the House of Lords for further scrutiny.

Read more
(edition.cnn.com)
Misc assisted dying euthanasia UK Parliament
1 2 … 152 153 154 156 158 159 160 … 596 597